WORKSHOP-Call For Papers ANALYSIS AND DESIGN OF EVENT-DRIVEN OPERATIONS IN PROCESS SYSTEMS Centre for Process Systems Engineering, Imperial College, London, U.K., 10-11 April, 1995 OBJECTIVES Over the last decade, a number of researchers in the process systems community have approached the problem of modelling, analysis, verification and synthesis of event-driven or hybrid operations. Typical problems of this nature arise in plant start-up/shut-down, emergency operating procedures, and batch operations. These are key aspects in the development of plant automation systems. However, there is no well established theoretical framework comparable to that existing for the design and analysis of continuous feedback control systems. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Researchers have therefore explored the use of a number of different methods and tools, such as logic-based planning, Petri-Nets, Mixed Integer Optimization and Automata Theory. Some of these approaches are mainly theoretical, while others are oriented to specific applications. The similarities and differences between the approaches adopted and their applicability to practical problems are often difficult to establish. The aim of the workshop is to bring together researchers and practitioners interested in the control and operation of event-driven chemical industrial processes so as to establish the current state of the field and future trends. Furthermore, it is a goal to identify successful applications in the process industry as well as relevant benchmark case studies. Special efforts will be made to link research in the process systems area with recent developments in the Discrete Event Systems field. FORMAT In order to encourage interaction and discussions, the number of participants will be limited to 60. Mornings will be dedicated to a small number of invited presentations and broad reviews. Afternoons will be structured as poster sessions, initiating with brief oral presentations and closing with panel discussions. Industrial participation is specially encouraged. Proceedings will be published in the Journal of Process Controlas a special journal issue, after the workshop. DEADLINES January 15, 1995 deadline for extended abstracts (3 pages). February 1, 1995 notification of acceptance. March 31, 1995 submission of full paper. Abstract selection will be based on relevance to the workshop subject and technical quality. Selected contributions will appear, after peered review, in the Journal of Process Control. Keeping with the informal spirit of the workshop, there will be no formal proceedings of the conference. Collected copies of the papers will be distributed at the workshop. PRELIMINARY PROGRAM DAY 1 Session 1. Industrial Challenges Presentation 1 Bill Daly, Unilever Research Presentation 2 (to be confirmed) Presentation 3 (to be confirmed) Session 2. Modelling and Simulation Presentation 1 Hassane Alla, LAG - ENSIEG (to be confirmed) Presentation 2 Costas Pantelides, Imperial College Session 3. Contributions on Modelling and Simulation Brief presentations. Poster session and demonstrations Panel discussion DAY 2 Session 4. Specification, Verification and Safety Analysis Presentation 1 Robert Valette, LAAS (to be confirmed) Presentation 2 Gary Powers, CMU (confirmed) Session 5. Controller Design Presentation 1 Murray Wonham, University of Toronto Presentation 2 Jeff Kantor, Notre Dame University Session 6. Contributions on Verification and Controller Design Brief presentations. Poster session and demonstrations Panel discussion REGISTRATION FEES The registration fees is 200 sterling, and includes VAT, lunches, coffee breaks, the workshop dinner and copies of the papers. Participants to the workshop should complete the enclosed registration form and return it together with the registration fee to the workshop secretariat. In view of the limited places, early registration is recommended. A refund of fees for selected bona fide students may be possible, depending on the sponsorship attracted. Please, indicate if you wish to apply. ACCOMODATION List available from the Secretariat. WORKSHOP SECRETARIAT Mrs Diana Goreham Centre for Process Systems Engineering Imperial College London SW7 2BY Tel: +44 (71) 694-6609 FAX: +44 (71) 594-6606 Email: d.goreham@ic.ac.uk