IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE ON DISCRETE EVENT SYSTEMS Newsletter........................................................June, 1999 Editor: Edwin K. P. Chong Chair, IEEE CSS Technical on DES School of Electrical and Computer Engineering Purdue University 1285 Electrical Engineering Bldg. West Lafayette, IN 47907-1285 Phone: (765) 494-9143 Fax: (765) 494-3371 e-mail: echong@ecn.purdue.edu WWW: http://www.ece.purdue.edu/~echong/ DESTC Web Page: http://www.ece.purdue.edu/~echong/des_tc/ _._________________________________________________________________________._ Contents: 1. Editorial 2. Announcements 2.1 ***** Special Announcement: DES TC established ***** 2.2 Call for Nominations for the INFORMS College on Simulation DISTINGUISHED SERVICE AWARD 2.3 RESEARCH POSITIONS in CONTROL SOFTWARE VERIFICATION University of Dortmund, Germany 3. Conferences 3.1 Call for Papers - ADPM'2000; 4th International Conference Automation of Mixed Processes: Hybrid Dynamic Systems 18-19 September 2000, Dortmund, Germany 3.2 CALL FOR PAPERS - HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC'00) Third International Workshop, Pittsburgh, PA USA _._________________________________________________________________________._ Editorial _._________________________________________________________________________._ Welcome to the newsletter of the IEEE Control Systems Technical Committee Group on Discrete Event Systems! See http://www.ece.purdue.edu/~echong/des_tc/ for information on the DESTC. Notice the delimiter between articles/contributions in this newsletter. If you are using an editor to read this article, you can go directly to the delimiter by searching for the string "_.__" (underscore,period,underscore,underscore). This feature is useful for quickly skipping to the next item. _._________________________________________________________________________._ Announcements _._________________________________________________________________________._ Contributed by: Edwin Chong (echong@ecn.purdue.edu) ***** Special Announcement ***** As of June 1, 1999, the Working Group on Discrete Event Systems (DESWG) has been dissolved as a result of the abolishment of the Technical Committee on Control Theory. The activities of the DESWG has been subsumed by the newly established Technical Committee on Discrete Event Systems (DESTC). Your membership in the DESWG has been automatically transferred to the DESTC. In particular, if you used to receive the DESWG Newsletter, you will now be receiving the DESTC Newsletter. Other than the name change, the format of the DESTC newsletter will be identical to previous DESWG newsletters. _._________________________________________________________________________._ Contributed by: Judi Chester Call for Nominations for the INFORMS College on Simulation DISTINGUISHED SERVICE AWARD To recognize individuals who have provided long-standing, exceptional service to the simulation community, the Institute for Operations Research and the Management Sciences (INFORMS) College on Simulation has established its Distinguished Service Award, which may be given to at most one person annually. Sustained service to the simulation community should extend over a period of 15 to 20 years or longer and be acquitted with distinction. The concept of service for this award does NOT include teaching or research contributions. Areas of volunteer service include, but are not limited to, 1. elected offices in simulation societies; 2. editorial responsibilities for simulation such as department editor, area editor, and editor-in-chief; 3. conference responsibilities involving simulation such as program chair, proceedings editor, general chair, and being a member of the organizing or program committee; 4. appointed positions for simulation-related activities such as serving on committees and being a newsletter editor; and 5. undertakings and actions that promote simulation in the "larger community". Nominations for the Distinguished Service Award can be made by anyone and are made by sending a letter of nomination to the chair of the award selection committee by October 1, 1999. Letters of nomination should identify the nominee's areas of exceptional service, detailing the activities for which the nominee is believed to deserve this award. The nominee's current vita must be included with the nomination letter. The individual or individuals making the nomination have the primary responsibility for justifying why the nominee should receive this award. If given, the award will be presented in December at the 1999 Winter Simulation Conference in Phoenix, Arizona. The citation made when the Distinguished Service Award was presented to Professor W. David Kelton in 1998 can be found on the World Wide Web at http://www.informs-cs.org/wdkdsa2.html This citation provides an insightful example of the kind and scope of qualifications that have characterized past recipients of the Distinguished Service Award. Nominations should be sent to the Chair of the Selection Committee: Professor Bruce Schmeiser School of Industrial Engineering 1287 Grissom Hall Purdue University West Lafayette, IN 47907-1287 USA Internet: bruce@purdue.edu Fax: +1-765-494-1299 Voice: +1-765-494-5422 This address is sufficient for next-day delivery services. _._________________________________________________________________________._ Contributed by: Stefan Kowalewski s.kowalewski@ct.uni-dortmund.de RESEARCH POSITIONS in CONTROL SOFTWARE VERIFICATION University of Dortmund, Germany The Process Control Laboratory in the Chemical Engineering Department, University of Dortmund, invites applications for two open positions in the field of control software verification. Candidates should have a background in computer science, control engineering or related disciplines, preferably with knowledge in formal methods. The positions are suitable for PhD students as well as for post-doctoral researchers. The main duty is to carry out research in two new projects funded by the German Research Council with an expected length of 3 years. Both positions are available from now on. One position is supposed to be filled by a candidate with pertinent experience who is willing and able to take over the responsibility for the laboratory's working group on verification of logic controllers (currently 5 researchers) by the end of this year. Knowledge of German is not a pre-requirement, but it is expected that the successful candidates will quickly develop a working knowledge of German. Participation in the teaching acitivities of the laboratory belong to the duties of both positions. Further information can be obtained from the laboratory's web site http://astwww.chemietechnik.uni-dortmund.de/e-index.html or from Dr. Stefan Kowalewski Email: s.kowalewski@ct.uni-dortmund.de Phone: +49 231 755 5128 Applications, including a curriculum vitae and a statement of professional objectives, should be sent to Prof. Dr. Sebastian Engell Chemietechnik/AST Universitaet Dortmund D-44221 Dortmund Germany Fax: +49 231 755 5129 _._________________________________________________________________________._ Conferences _._________________________________________________________________________._ Contributed by: "Stefan Kramer" Call for Papers -------------------------------- ADPM'2000 4th International Conference +-------+ Automation of Mixed Processes: |A D P\M| Hybrid Dynamic Systems | \| Automation des Processus Mixtes: |D O R T| Les Systˆmes Dynamiques Hybrides |\ | |M\U N D| 18-19 September 2000 +-------+ Dortmund, Germany Scope: ------ ADPM'2000 will be the 4th event in a series of biennial international conferences on hybrid dynamic systems, i.e., systems with both continuous and discrete dynamics. The conference will provide a survey of the advances in this field, including topics such as modeling, analysis, verification, synthesis, simulation, and the application of these methods in the design of automation systems. The aim of the ADPM'2000 is to bring together researchers and practitioners with backgrounds in control, electronics or computer science and to initiate discussions on how concepts from these different domains can be integrated to improve the existing engineering methods for hybrid systems. Language: --------- English will be the only official language throughout the conference. This means that all abstracts, papers, posters and talks have to be in English. Address for all Submissions: ---------------------------- Hardcopies: Sebastian Engell Co-Chair ADPM'2000 Chemietechnik-AST Universitaet Dortmund D-44221 Dortmund, Germany PS or PDF files: adpm@ct.uni-dortmund.de Organization Committee: ----------------------- S. Engell, Dortmund, D H. Gueguen, Supelec, Rennes, F S. Kowalewski, Dortmund, D (Chair) S. Kr„mer, Dortmund, D (Secretary) H. Krumm, Dortmund, D N. Rakoto Ravalontsalama, Nantes, F H.-P. Otto, Siemens, N’rnberg, D E. Schnieder, Braunschweig, D Conference Secretariat (for all organizational inquiries): ---------------------------------------------------------- +-------+ Stefan Kraemer, MEng |A D P\M| CT-AST, University of Dortmund | \| D-44221 Dortmund, Germany |D O R T| phone: +49 231 755-5125 |\ | fax: +49 231 755-5129 |M\U N D| email: adpm@ct.uni-dortmund.de +-------+ For any further details, do not hesitate to contact the secretariat or visit our homepage: http://astwww.chemietechnik.uni-dortmund.de/adpm2000 Technical Program: ------------------ The technical program will consist of invited lectures by distinguished experts in hybrid systems and reviewed papers and posters, either as individual contributions or in special sessions. Additionally, a tool exhibition is planned to demonstrate the current state of computer-aided engineering of hybrid systems. Submissions: ------------ Contributions are invited in all areas pertaining to the engineering of hybrid dynamic systems, e.g. modeling, specification, analysis, verification, synthesis, simulation, and implementation. Reports on industrial applications of design or analysis methods for hybrid systems are particularly encouraged. The submitted material must be original, unpublished and not being considered for publication elsewhere. (I) Individual Papers and Posters: ---------------------------------- Authors are invited to submit an extended abstract of 6 to 8 pages (font size 12 points, 1.5 line spacing), either a PS or PDF file or 4 hard copies. The organizers strongly encourage electronic submission. The extended abstract must contain each author's affiliation and complete address (postal, e-mail, phone, fax) and a short summary. Please identify the corresponding author. Submissions should also indicate the preferred form of presentation, oral or poster. Poster presentations are encouraged in particular for reports on tool development. The conference program will include poster sessions during which no oral sessions will take place. (II) Special Sessions: ---------------------- Proposals for special sessions on particular aspects of hybrid systems are invited. A special session should consist of 4 to 6 papers in the format described for individual contributions and a one page abstract summarizing the aim and content of the session, starting with a session title, name and full address of the session organizer, a list of the included papers, and the preferred form of presentation (oral or poster). Survey papers at the beginning of special sessions are encouraged. They can replace two regular contributions. (III) Tool Exhibition: ---------------------- Tool developers, academic or commercial, are invited to present their programs in an exhibition parallel to the conference. For this purpose, a one page description of the tool has to be submitted. Tool presentations are not formally reviewed. Acceptance is subject to the available space and relevance to the conference topic. Tool demos can also accompany the presentation of an accepted scientific paper (preferably as a poster). In this case, the authors should state their intention to present software when submitting the paper. Review Process, Proceedings: ---------------------------- The Program Committee will review all extended abstracts and special session proposals, and decide on the acceptance and the form of presentation. Full versions of the accepted contributions will be published in the proceedings available at the conference. Oral presentations and posters will be allotted equal space for the paper in the proceedings. After the conference, a selection of the presented papers will be published in a special issue of the "European Journal on Automation" (JESA), Hermes, Paris. Important Dates: ---------------- 1 March 2000 - Submission of extended abstracts and special session proposals 20 April 2000 - Notification of acceptance 15 June 2000 - Final papers due, Submission of tool demo descriptions _._________________________________________________________________________._ Contributed by: Bruce H. Krogh (krogh@ece.cmu.edu) CALL FOR PAPERS HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC'00) Third International Workshop Pittsburgh, PA USA http://www.ece.cmu.edu/~hs00 Important Dates --------------- Submission deadline: October 15, 1999 Notification of acceptance: December 15, 1999 Final versions due: January 15, 2000 Workshop: March 23-25 (Thur-Sat), 2000 Aims and Scope -------------- The Workshop on Hybrid Systems attracts researchers from industry and academe interested in modeling, analysis, and implementation of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the latest developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Third International Workshop continues the series of workshops held in Grenoble, France (HART'97), University of California at Berkeley, USA (HSCC'98), and Nijmegen, The Netherlands (HSCC'99). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. Scientific Program and Topics ----------------------------- Sessions will include presentations of contributed and invited papers. In keeping with the tradition of previous workshops, there will be ample time and space for informal discussions. Submissions are invited in all areas pertaining to the design, analysis and implementation of hybrid control systems. Topics include but are not limited to: - modeling and representations of hybrid systems - reasoning about hybrid systems at multiple levels of abstraction - specification and implementation languages - computer-aided design and simulation - algorithms and heuristics for verification - control (synthesis, controllability, stability) - optimization of hybrid systems - engineering applications Reports on case studies and tool development are particularly encouraged. Tool demonstrations will form an integral part of the workshop. Venue --------- The workshop will be held at the University Club, a private club near the campuses of Carnegie Mellon University and the University of Pittsburgh. Submissions ----------- Researchers are invited to submit the postscript file of an extended abstract via e-mail to: hs99@ece.cmu.edu. The abstract should not exceed 10 pages. The first page should contain the title of the paper, each author's name and affiliation, complete contact information for the corresponding author (postal and e-mail addresses, telephone and fax numbers), and a one-paragraph summary of the contribution. Full versions of the accepted submissions will be published in the Springer LNCS series. The proceedings will be available at the workshop. Workshop Co-chairs --------------------------- Bruce H. Krogh (krogh@ece.cmu.edu) and Nancy Lynch (lynch@theory.lcs.mit.edu) Program Committee --------------------------- Rajeev Alur, Eugene Asarin, Marica Di Benedetto, Gautam Biswas, Rene Boel, Michael Branicky, Peter Caines, Datta Godbole, Mark Greenstreet, Stefan Kowalewski, Bruce H. Krogh (co-chair), Yassine Lakhnech, Michael Lemmon, Bengt Lennartson, Nancy Leveson, Daniel Liberzon, John Lygeros, Nancy Lynch (co-chair),Oded Maler, Manfred Morari, Joerge Raisch, Anders Rantzer, Anders Ravn, Alberto Sangiovanni-Vincentelli, Roberto Segala, Henny Sipma, Eduardo Sontag, Claire Tomlin, F.W. Vaandrager, Howard Wong-Toi, Sergio Yovine, Feng Zhao Steering Committee -------------------------- Panos Antsaklis, Tom Henzinger, Bruce Krogh, Nancy Lynch, Oded Maler, Amir Pnueli, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Jan van Schuppen, Frits Vaandrager. Additional Information ----------------------------- To stay informed about HSCC'00, register for e-mail announcements by sending e-mail to hs99@ece.cmu.edu. Also refer to the Workshop webpage at http://www.ece.cmu.edu/~hs00. _._________________________________________________________________________._ The End _._________________________________________________________________________._ Sat Jun 26 17:42:00 EST 1999