Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abdeddaïm Y, Asarin E, Maler O (2006) Scheduling with timed automata. Theor Comp Sci 354(2):272–300
Abdeddaïm Y, Maler O (2001) Job-shop scheduling using timed automata. In: Computer aided verification, LNCS 2102, Springer, pp 478–492
Alur R, Coucoubetis C, Halbwachs N, Henzinger TA, Ho P-H, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comp Sci 138:3–34
Alur R, Dill DL (1994) A theory of timed automata. Theor Comp Sci 126:183–235
Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971–984
Anai H, Weispfennig V (2001) Reach set computations using real quantifier elimination. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, number 2034 in LNCS, Springer, pp 63–76
Asarin E, Maler O, Pnueli A (1995) Symbolic controller synthesis for discrete and timed systems. In: Hybrid Systems II, LNCS 999, Springer, pp 1–20
Avis D, Fukuda K, Picozzi S (2002) On canonical representations of convex polyhedra. Mathematical Software, World Scientific, pp 351–360
Bengtsson J, Yi W (2004) Timed automata: Semantics, algorithms and tools. In: Reisig W, Rozenberg G (eds) Lecture Notes on Concurrency and Petri Nets, LNCS 3098. Springer
Bozga M, Daws C, Maler O, Olivero A, Tripakis S, Yovine S (1998) Kronos: a model-checking tool for real-time systems. In: Hu AJ, Vardi MY (eds) Computer Aided Verification, CAV ’98, Vancouver, Canada, LNCS 1427, Springer, pp 546–550
Goodman JE, O’Rourke J (eds) (1997) Handbook of discrete and computational geometry. CRC Press
Gromov D, Geist S, Raisch J (2006) Timed discrete control of a parallel production line with continuous output. In: Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Alghero, Italy, pp 205–210
Halbwachs N, Merchat D, Gonnord L (2006) Some ways to reduce the space dimension in polyhedra computations. Form Methods Syst Des 29(1):79–95
Halbwachs N, Proy Y-E, Raymond P (1994) Verification of linear hybrid systems by means of convex approximations. In: International Symposium on Static Analysis, SAS’94
Méndez CA, Cerdá J, Grossmann IE, Harjunkkoski I, Fahl M (2006) State-of-the-art review of optimization methods for short-term scheduling of batch processes. Comput Chem Eng 30: 913–946
Niebert P, Yovine S (2000) Computing optimal operation schemes for chemical plants in multi-batch mode. In: HSCC, pp 338–351
Panek S, Stursberg O, Engell S (2006) Efficient synthesis of production schedules by optimization of timed automata. Control Eng Pract (14):1183–1197
Pettersson P (1999) Modelling and verification of real-time systems using timed Automata: theory and Practice. PhD thesis, Uppsala University
Schilling G, Pantelides CC (1999) Optimal periodic scheduling of multipurpose plants. Comput Chem Eng 23:635–655
Simeonova I, Warichet F, Bastin G, Dochain D, Pochet Y (2005) On-line scheduling of chemical plants with parallel production lines and shared resources: a feedback implementation. In: Proceedings IMACS World Congress, Paris
Sontag ED (1996) Interconnected automata and linear systems: a theoretical framework in discrete time. In: Alur R, Henzinger TA, Sontag ED (eds) Hybrid systems III: verification and control (Lecture notes in computer science) Springer, pp 436–448
Wu D, Ierapetritou M (2004) Cyclic short-term scheduling of multiproduct batch plants using continuous-time representation. Comput Chem Eng (28):2271–2286
Author information
Authors and Affiliations
Corresponding author
Additional information
Work partially done in the framework of the HYCON Network of Excellence, contract number FP6-IST-511368.
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License ( https://creativecommons.org/licenses/by-nc/2.0 ), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Geist, S., Gromov, D. & Raisch, J. Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs. Discrete Event Dyn Syst 18, 241–262 (2008). https://doi.org/10.1007/s10626-007-0023-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-007-0023-2