Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs

In this contribution we present an approach to formulate and solve certain scheduling tasks for hybrid systems using timed discrete event control methods. To demonstrate our approach, we consider a cyclically operated plant with parallel reactors using common resources and a continuous output. For this class of systems, we show how to pose the control problem within a discrete event framework by modelling system components as multirate timed automata. We propose a supervisory control strategy incorporating off-line optimisation to assure safety and nonconflicting use of resources. These properties have to be achieved in the presence of a class of bounded errors/disturbances and can be verified by applying formal methods.

[1]  David Avis,et al.  On canonical representations of convex polyhedra , 2002 .

[2]  Jirí Sgall,et al.  On-line Scheduling , 1996, Online Algorithms.

[3]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[4]  Jaime Cerdá,et al.  State-of-the-art review of optimization methods for short-term scheduling of batch processes , 2006, Comput. Chem. Eng..

[5]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[6]  Nicolas Halbwachs,et al.  Some ways to reduce the space dimension in polyhedra computations , 2006, Formal Methods Syst. Des..

[7]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[8]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[9]  Denis Dochain,et al.  On-line scheduling of hybrid chemical plants with parallel production lines and shared resources : a feedback control implementation , 2005 .

[10]  Oded Maler,et al.  Job-Shop Scheduling Using Timed Automata , 2001, CAV.

[11]  Sergio Yovine,et al.  Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode , 2000, HSCC.

[12]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[13]  Jörg Raisch,et al.  Timed Discrete Event Control of a Parallel Production Line with Continuous Output 11Work partially done in the framework of the HYCON Network of Excellence, contract number FP6-IST-511368 , 2006 .

[14]  Gert Vegter,et al.  In handbook of discrete and computational geometry , 1997 .

[15]  G. Schilling,et al.  Optimal periodic scheduling of multipurpose plants , 1999 .

[16]  Olaf Stursberg,et al.  Efficient synthesis of production schedules by optimization of timed automata , 2006 .

[17]  Paul Pettersson.  Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice , 1999 .

[18]  Hirokazu Anai,et al.  Reach Set Computations Using Real Quantifier Elimination , 2001, HSCC.

[19]  Dan Wu,et al.  Cyclic short-term scheduling of multiproduct batch plants using continuous-time representation , 2004, Comput. Chem. Eng..

[20]  Eugene Asarin,et al.  Scheduling with timed automata , 2006, Theor. Comput. Sci..

[21]  Stavros Tripakis,et al.  Kronos: A Model-Checking Tool for Real-Time Systems , 1998, CAV.

[22]  Amir Pnueli,et al.  Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.

[23]  Nicolas Halbwachs,et al.  Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.