IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE ON DISCRETE EVENT SYSTEMS Newsletter......................................................November, 2000 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 POSTDOC POSITION ON QUALITATIVE METHODS OF FAULT DIAGNOSIS, TECHNICAL UNIVERSITY HAMBURG-HARBURG (Hamburg, Germany) 2.2 Industrially-Linked Doctoral Research Position, ROBERT BOSCH GmbH STUTTGART Forschung und Vorausentwicklung, and TECHNICAL UNIVERSITY HAMBURG-HARBURG, Institute of Control Engineering 2.3 University of Maryland at College Park, The Robert H. Smith School of Business, Faculty Positions, Fall 2001 2.4 Technical Report by J.J.M.M. Rutten, CWI, Amsterdam, 2000. Behavioural differential equations: a coinductive calculus of streams, automata, and power series 2.5 Job opportunities at INRIA, France - MACSI Project 3. Journals 3.1 Table of Contents, Volume 10 of Discrete Event Dynamic Systems 3.2 PROCEEDINGS OF THE IEEE, SPECIAL ISSUE ON HYBRID SYSTEMS: THEORY AND APPLICATIONS 4. Conferences 4.1 HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC 2001) Rome, ITALY _._________________________________________________________________________._ 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. Personal note from the editor: It's Thanksgiving Day (in the United States, at least). I'm writing this note as I'm carrying my new baby daughter, Madeleine, who was born on October 22, 2000. Thanksgiving takes on a whole new meaning in moments like these. On a related note, I wish to thank all members of our technical committee who have contributed to the activities of this committee this past year. _._________________________________________________________________________._ Announcements _._________________________________________________________________________._ Contributed by: Jan Lunze The TECHNICAL UNIVERSITY HAMBURG-HARBURG (Hamburg, Germany), Institute of Control Engineering (Prof. Dr. Jan Lunze) announces a POSTDOC POSITION ON QUALITATIVE METHODS OF FAULT DIAGNOSIS for two years within the EC research training network DAMADICS. "Development and Application of Methods for Actuator Diagnosis in Industrial Control Systems" (DAMADICS) is a Research Training Network funded by the European Commission under Framework V during 1/7/2000 to 30/6/2003. The participating institutes will organise a series of workshops and summer schools throughout Europe during 2000-2003 which will provide training and mobility in the synthesis and development of methods and on-line diagnostic tools for applications in the power, food processing and chemical industries. For more information about DAMADICS cf. http://www.eng.hull.ac.uk/research/control/damadics1.htm. The postdoc position aims at research in fault diagnosis by means of qualitative models (such as automata or Petri nets) and the connection of these methods to fault diagnosis by quantitative models (such as differential equations). The combination of these methods is necessary to satisfy the needs of practical applications, where faults have to be found by using both numerical and symbolic information. The postdoc position is located at the Institute of Control Engineering at the Technical University Hamburg-Harburg, which has experience in qualitative modelling of dynamical systems and fault diagnosis with applications to chemical processes and to automotive systems. For further information about the institute cf. http://www.tu-harburg.de/rts. Candidates should bring along the following qualifications: * PhD in Control Engineering or a similar field * Know-how in model-based fault detection (either by control engineering methods or by methods elaborated in Computer Science/Artificial Intelligence) * Interest in theoretical research and practical applications of new theoretical results * Fluent English * Ability for teamwork The salary will be fixed according to the German salary system for university research associates and is approximately 27 000 Euro per year. According to the rules of the DAMADICS project, candidates have to be less than 35 years old at the time of appointment. He or she must be a national of a Member state of the European Community or of an Associated State or have resided in the European Community for at least five years prior to the appointment but he or she must not be national of Germany and must not have worked in Germany for more than 12 of the 24 months prior to the appointment. The university is committed to increase its female staff and therefore explicitly invites qualified female candidates. Required documents: * Letter of application * Cirriculum vitae * Certificates of the final university examination * Certificate of the PhD * Abstract of the PhD Thesis Please address your application to Prof. Dr.-Ing. Jan Lunze Technical University Hamburg-Harburg Institute of Control Engineering Eissendorfer Strasse 40 D-21071 Hamburg For further information please contact Prof. Dr. Jan Lunze by email: Lunze@tu-harburg.de or telephone: +49 40 42 878 30 15. _._________________________________________________________________________._ Contributed by: Jan Lunze Industrially-Linked Doctoral Research Position ROBERT BOSCH GmbH STUTTGART Forschung und Vorausentwicklung (Contact: Dr. Reinhard Weber) and TECHNICAL UNIVERSITY HAMBURG-HARBURG, Institute of Control Engineering (Prof. Dr. Jan Lunze) announce an open position for a PhD STUDENT in the field of model-based diagnosis with application to automotive systems. The work focusses on FAULT DIAGNOSIS OF DISCRETE-EVENT SYSTEMS. In contrast to the diagnosis of continuous systems, fault detection in discrete systems has not yet been the subject of intensive research. The PhD student should elaborate diagnostic methods that are applicable under the practical circumstances found in automotive applications. The project will be carried out at the Robert Bosch GmbH in Stuttgart (cf. http://www.bosch.com/ or http://www.bosch.de/ ) in close cooperation and under scientific guidance of the Technical University Hamburg-Harburg, where the Institute of Control Engineering has major experience in the diagnosis of continuous as well as discrete systems (for further information about the institute cf. http://www.tu-harburg.de/rts).The work is a challenge for engineers, particularly for control engineers with background in systems theory, electrical or mechanical engineering or technical cybernetics. Required documents: * Letter of application * Cirriculum vitae * Certificates of the final university examination Please address your application to Robert Bosch GmbH Abteilung FV/FLI Dr. Reinhard Weber Postfach 10 60 50 D-70049 Stuttgart For further information (e.g. to payment) please contact Dr. Reinhard Weber email: weber@fli.sh.de.bosch.com Prof. Dr. Jan Lunze email: Lunze@tu-harburg.de _._________________________________________________________________________._ Contributed by: "M. Fu" The University of Maryland at College Park The Robert H. Smith School of Business Faculty Positions, Fall 2001 The Decision & Information Technologies faculty of the Smith School of Business invites applications for the following two tenure-track faculty positions to begin in Fall 2001: Assistant or Associate Professor in Supply Chain Management, or Management of Technology. Special consideration will be given to candidates combining interests in the two areas. Assistant Professor in Operations Research, with research focus in one or more of the following application areas: supply chain and operations management, telecommunications, financial engineering (computational finance), information technology electronic markets. Teaching for both positions will include MBA, doctoral and undergraduate courses. The candidates should have a doctorate in Operations Research, Management Science, Operations Management, or a closely related field and are expected to develop a high-caliber research program . Evidence or promise of excellence in teaching will be closely examined. Please send your application and full vita, and also arrange for three (3) letters of recommendation to be forwarded, by January 3, 2001 to Search Committee, Decision & Information Technologies Attention: Ellie Ramsay The Robert H. Smith School of Business Van Munching Hall University of Maryland, College Park, MD 20742-1815 The University of Maryland at College Park actively subscribes to a policy of equal employment opportunity, and will not discriminate against any employee or applicant because of race, age, sex, color, physical or mental handicap, national origin, or political affiliation. Minorities and women are particularly encouraged to apply. _._________________________________________________________________________._ Contributed by: Jan Rutten The following technical report is now available at ftp.cwi.nl as pub/CWIreports/SEN/SEN-R0023.ps.Z (also via my home page: http://www.cwi.nl/~janr): J.J.M.M. Rutten Behavioural differential equations: a coinductive calculus of streams, automata, and power series Technical Report SEN-R0023, CWI, Amsterdam, 2000. Abstract: Streams, (automata and) languages, and formal power series are viewed coalgebraically. In summary, this amounts to supplying these sets with a deterministic automaton structure, which has the universal property of being final. Finality then forms the basis for both definitions and proofs by coinduction, the coalgebraic counterpart of induction. Coinductive definitions take the shape of what we have called behavioural differential equations, after Brzozowski's notion of input derivative. A calculus is developed for coinductive reasoning about all of the afore mentioned structures, closely resembling (and at times generalising aspects of) calculus from classical analysis. (This report combines and extends earlier papers on automata and languages (CONCUR '98) and formal power series (ICALP '99). It is closely related to a paper on coalgebra and control, recently presented at WODES 2000.) _._________________________________________________________________________._ Contributed by: Francois Vernadat RE: Job opportunities at INRIA, France - MACSI Project In 2001, INRIA (The French National Institute for Research in Computation and Control) opens eight permanent positions of associate research officer (Charge de Recherche 1ere classe) for certified researchers. There is no limit of age. The MACSI project of INRIA-Lorraine is looking for outstanding candidates in the area of performance evaluation and optimization of discrete-event systems with applications to manufacturing. MACSI is a dynamic research team comprising 15 researchers (9 permanent positions and 6 Ph.D. candidates) in the field of modeling, analysis and control of industrial systems. The research activities are organized in three main themes : (i) Modeling including enterprise modeling, behavior modeling mainly based on Petri nets, and control synthesis of discrete event systems; (ii) Performance evaluation including stochastic Petri nets, sample-path gradient estimation, optimization using simulation and maintenance policies; and (iii) Organization and Control including plant layout, production scheduling and shop-floor control. Members of the MACSI project, and especially its three senior members (Marie-Claude Portmann, FranE7ois Vernadat and Xiaolan Xie), are very active in the field of manufacturing systems and their work are regularly published in leading scientific journals and conferences. Members of the MACSI project have scientific collaborations with experts in many places around the world (USA, Canada, Taiwan, Italy, Poland, Spain, Brazil, Mexico). The MACSI project also maintains close collaborations with European industries. Current industrial projects include but are not limited to: (i) two EC-funded 3-year projects (ONE and V-CHAIN) on supply chain management and networked enterprises, (ii) a 2-year project (AEE++) on combinatorial optimization problems in embarked electronics for transportation systems (land and space vehicles), and (iii) a 3-year project with an IT company INCOTEC on production scheduling. Potential candidates should have a strong background in performance evaluation and optimization of discrete event systems with basic knowledge in computer science and control. The successful candidate will join the performance evaluation theme and will work on performance modeling, evaluation and optimization of manufacturing systems. He/she will contribute to the EC-funded projects on supply chain management and optimization. If you are interested, please send immediately your CV with a copy of two representative publications to: Prof. Francois Vernadat, head of MACSI-INRIA, ENIM, Ile du Saulcy, 57045 Metz, France For more information, please contact directly Francois Vernadat or Xiaolan Xie Phone: (33) 3 87 34 69 47. Fax:(33) 3 87 34 69 35 Email: vernadat@loria.fr or vernadat@agip.sciences.univ-metz.fr Information about INRIA and its research projects: www.inria.fr. Important dates: - Deadline for application : January 10, 2001 - Interview of all candidates will be held at the headquarters of INRIA: February 28, 2001 _._________________________________________________________________________._ Journals _._________________________________________________________________________._ Contributed by: Scott Delman (scott.delman@wkap.com) Table of Contents, Volume 10 of Discrete Event Dynamic Systems Table of Contents Volume 10, Issue 1/2, January 2000 Central Limit Theorems for Stochastic Optimization Algorithms Using Infinitesimal Perturbation Analysis , Qian-Yu Tang, Pierre L'Ecuyer , Han-Fu Chen Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems, Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis Dynamical Properties of Timed Automata, Anuj Puri Triggered Concurrent Batch Arrivals and Batch Departures in Queueing Networks, Xiuli Chao, Shaohui Zheng Supervisory Control of Distributed Systems: Conflict Resolution, K.C. Wong, J.G. Thistle, R.P. Malhamé, H.-H. Hoang Table of Contents Volume 10, Issue 3, July 2000 Editorial, Yu-Chi Ho Customer-Oriented Finite Perturbation Analysis for Queueing Networks, Bernd Heidergott Control Synthesis of Petri Nets Based on S-Decreases, Chen Haoxun Simulation Budget Allocation for Further Enhancing the Efficiency of Ordinal Optimization, Chun-Hung Chen, Jianwu Lin, Enver Yücesan, Stephen E. Chick A New Algorithm for Stochastic Discrete Resource Allocation Optimization, Leyuan Shi, Chun-Hung Chen Table of Contents Volume 10, Issue 4, October 2000 Oridnal Hill Clibming Algorithms for Discrete Manufacturing Process Design Optimization Problems, Sheldon H. Jacobson, Kelly A. Sullivan Synthesis of Discrete-Event Controllers Based on the Signal Environment, Herve Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic A First Step Towards Adaptive Control for Linear Systems in Max Algebra, E. Menguy, J. L. Boimond, L. Hardouin, J. L. Ferrier Power algorithms for (max, +)- and Bipartite (min, max, +)- Systems, Subiono, Jacob W. van der Woude _._________________________________________________________________________._ Contributed by: Panos Antsaklis PROCEEDINGS OF THE IEEE SPECIAL ISSUE ON HYBRID SYSTEMS: THEORY AND APPLICATIONS October, 2000 I am very pleased to inform you that the Proceedings of the IEEE has published a special issue on the theory and applications of hybrid systems. PROCEEDINGS OF THE IEEE Vol.88, No.7, pp. 879-1123, July 2000 Special Issue on Hybrid Systems: Theory and Applications Panos Antsaklis, Guest Editor This special issue provides the latest in both theory and applications. Applications range from automotive powertrain control, to intelligent highway transportation, to air traffic, to chemical processes, to robotics and manufacturing. The journal of Proceedings of the IEEE has print circulation of about 20,000 copies and an increasing number of electronic subscriptions. It is aimed towards engineers and scientists with different backgrounds, as opposed to the Transactions of the IEEE technical societies, which contain papers appropriate for a more specialized readership. So the Proceedings provide a truly excellent forum for the dissemination of the research ideas in hybrid systems, since the hybrid systems area draws expertise from a variety of disciplines and involves several engineering, mathematics and computer science fields. The special issue consists of 13 papers plus an introduction to the field of hybrid systems that reviews the latest developments. Please see http://www.nd.edu/~pantsakl/specialissues.html for a glimpse at the cover, contents and introductory article of the Proceedings of the IEEE special issue on Hybrid Systems. The special issue papers were invited and were chosen with great care to provide as complete coverage as possible of the latest (state of the art) in hybrid systems. Below please find the list of papers of the special issue: LIST OF PAPERS 1. A BRIEF INTRODUCTION TO THE THEORY AND APPLICATIONS OF HYBRID SYSTEMS Panos Antsaklis 2. AUTOMOTIVE ENGINE CONTROL AND HYBRID SYSTEMS: CHALLENGES AND OPPORTUNITIES Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Claudio Pinello, Alberto Luigi Sangiovanni-Vincentelli 3. CONTROL DESIGN OF AN AUTOMATED HIGHWAY SYSTEM Roberto Horowitz, Pravin Varaiya 4. HIGH-LEVEL MODELING AND ANALYSIS OF THE AIR TRAFFIC ALERT AND COLLISION AVOIDANCE SYSTEM (TCAS) Carolos Livadas, John Lygeros, Nancy A. Lynch 5. A GAME THEORETIC APPROACH TO CONTROLLER DESIGN FOR HYBRID SYSTEMS Claire Tomlin, John Lygeros, Shankar Sastry 6. DISCRETE ABSTRACTIONS OF HYBRID SYSTEMS Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George Pappas 7. LOGICS FOR HYBRID SYSTEMS Jennifer M. Davoren, Anil Nerode 8. EFFECTIVE SYNTHESIS OF SWITCHING CONTROLLERS FOR LINEAR SYSTEMS Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli 9. SUPERVISORY CONTROL OF HYBRID SYSTEMS Xenofon Koutsoukos, Panos J. Antsaklis, James Stiver , Michael D. Lemmon 10.CONTINUOUS-DISCRETE INTERACTIONS IN CHEMICAL PROCESSING PLANTS Sebastian Engell, Stefan Kowalewski, Christian Schulz, Olaf Stursberg 11.PERSPECTIVES AND RESULTS ON THE STABILITY AND STABILIZABILITY OF HYBRID SYSTEMS Ray DeCarlo, Michael Branicky , Stefan Pettersson, Bengt Lennartson 12.PERFORMANCE BENEFITS OF HYBRID CONTROL DESIGN FOR LINEAR AND NONLINEAR SYSTEMS N. Harris McClamroch, Ilya Kolmanovsky 13.INTEGRATION OF TASK SCHEDULING, ACTION PLANNING AND CONTROL IN ROBOTIC MANUFACTURING SYSTEMS Mumin Song, Tzyh-Jong Tarn, Ning Xi 14.OPTIMAL CONTROL OF HYBRID SYSTEMS IN MANUFACTURING David L. Pepyne, Christos G. Cassandras _._________________________________________________________________________._ Conferences _._________________________________________________________________________._ Contributed by: Hybrid Systems Computation and Control HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC 2001) Fourth International Workshop Rome, ITALY http://www.parades.rm.cnr.it/hscc2001 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 Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98), Nijmegen, The Netherlands (HSCC'99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). 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 systems. Topics include, but are not limited to: - modeling and representations, - control methods and algorithms, - optimization, - formal methods for analysis, synthesis and verification, - computer-aided design, - engineering applications. Reports on case studies and tool development are particularly encouraged. Venue The workshop will be held in Palazzo Lancellotti, Via dei Coronari, Rome, Italy. This palace was erected on the site of other constructions, in the end of the 16th century, by the order of Scipione Lancellotti. The project belonged to F. da Volterra and C. Maderno. Domenichino created the main door with the columns supporting a balcony. The courtyard is among the most interesting things characterizing the palace. It has a portico and a loggia decorated by ancient marbles and stuccoes. In the halls of the palace there are paintings by Tassi and Guercino. Submissions Researchers are invited to submit either a postscript or pdf file of an extended abstract using the electronic-submission procedure provided through the web-page http://www.parades.rm.cnr.it/hscc2001. 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 Maria Domenica Di Benedetto Alberto L.Sangiovanni-Vincentelli Program Committee Rajeev Alur, Eugene Asarin, Jean-Pierre Aubin, Andrea Balluchi, Luca Benvenuti, Antonio Bicchi, Gautam Biswas, Rene Boel, Michael Branicky, Christos G. Cassandras, Maria Domenica Di Benedetto, Mark Greenstreet, Thomas A. Henzinger, Stefan Kowalewski, Bruce H. Krogh, Alexander B. Kurzhanski, Gerardo Lafferriere, Michael Lemmon, Bengt Lennartson, Nancy Leveson, John Lygeros, Oded Maler, Manfred Morari, George Pappas, Anders Rantzer, Alberto L. Sangiovanni-Vincentelli, Roberto Segala, Eduardo Sontag, Claire Tomlin, Stavros Tripakis, Frits W. Vaandrager, Arjan Van der Schaft, Jan H. van Schuppen, Tiziano Villa, Howard Wong-Toi, Sergio Yovine. Steering Committee Panos Antsaklis, Maria Domenica Di Benedetto, Bruce H. Krogh, Nancy A. Lynch, Oded Maler, Amir Pnueli, Alberto L. Sangiovanni-Vincentelli, Frits W. Vaandrager. Organizing Committee Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto Ferrari, Antonio Paoletti, Alberto L. Sangiovanni-Vincentelli, Donatella Santillo, Tiziano Villa. Additional Information To stay informed about HSCC 2001, register for e-mail announcements by sending e-mail to hscc2001@parades.rm.cnr.it . Also, please refer to the workshop web-page at http://www.parades.rm.cnr.it/hscc2001. Maria Domenica Di Benedetto Alberto L. Dip. di Ingegneria Elettrica Sangiovanni-Vincentelli Universita' de L'Aquila PARADES G.E.I.E. Poggio di Roio Via di San Pantaleo, 66 67040 L'Aquila, ITALY 00186 Rome, ITALY ph. +39-0862-434449 ph. +39 06 6880-7923 fax +39-0862-434403 fax +39 06 6880-7926 e-mail: dibenede@ing.univaq.it e-mail: alberto@parades.rm.cnr.it _._________________________________________________________________________._ The End _._________________________________________________________________________._ Thu Nov 23 14:57:30 EST 2000