Computing efficient operation schemes for chemical plants in multi-batch mode

European Journal of Control

Volumn 7, Issue 4, 2001, Pages 440-453

  Niebert, Peter ^a   Yovine, Sergio ^b  

^a UNIVERSITÉ DE PROVENCE   (France)

^b VERIMAG   (France)

Author keywords

Chemical batch processes; Formal modelling; Petri nets; Process control; Scheduling; Timed automata

Indexed keywords

EID: 13544255291     PISSN: 09473580     EISSN: None     Source Type: Journal    
DOI: 10.3166/ejc.7.440-454     Document Type: Article

References (15)

1. Alur R, Courcoubetis C, Halbwachs N, Henzinger T, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. The algorithmic analysis of hybrid systems. Theor. Computer Sci 1995; 138: 3-34
2. Alur R, Dill DL. A theory of timed automata. Theor. Computer Sci. 1994; 126(2): 183-235
3. Altisen K, Goessler G, Pnueli A, Sifakis J, Tripakis S, Yovine S. A framework for scheduler synthesis. In: Proceedings of the real-time systems symposium, RTSS'99, Phoenix, AZ, USA. December 1999. IEEE Computer Society Press
4. Asarin E, Maler O. As soon as possible: Time optimal control for timed automata. In: Proceedings of the hybrid systems: computation and control, HSCC'99. Lecture Notes in Computer Science 1569. Springer, 1999
5. Behrmann G, Fehnker A, Hune T, Larsen KG, Petterson P, Romijn J, Vaandrager F. Minimum-cost reachability for linearly priced timed automata. In: Proceedings of the hybrid systems: computation and control, HSCC'01. Lecture Notes in Computer Science. Springer, 2001
6. Bouajjani A, Tripakis S, Yovine S. On-the-fly symbolic model checking for real-time systems. In: Proceedings of the real-time systems symposium, RTSS'97, San Francisco, CA, USA. December 1997. IEEE Computer Society Press
7. Bozga M, Daws C, Maler O, Olivero A, Tripakis S, Yovine S. KRONOS: a model-checking tool for real-time systems. In: Proceedings of the computer-aided verification, CAV'98. Lecture Notes in Computer Science 1427. Springer, 1998
8. Bozga M, Maler O, Pnueli A, Yovine S. Some progress in the symbolic verification of timed automata. In: Proceedings of the computer-aided verification, CAV'97. Lecture Notes in Computer Science 1254. Springer, 1997
9. ISA S88.01 Batch Control Part I, Models and Terminology. ANSI/ISA, 1995
10. Niebert P, Yovine S. Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. In: Proceedings of the hybrid systems: computation and control, HSCC'00. Lecture Notes in Computer Science 1790. Springer, 2000
11. Niebert P, Yovine S. Synthesis and Dispatching of Production Schemes for Chemical Batch Plants. In: Proceedings of the automation of mixed processes: hybrid dynamic systems, ADPM 2000. Shaker Verlag, 2000
12. Pnueli A, Asarin E, Maler O, Sifakis J. Controller synthesis for timed automata. In: Proceedings of the IFAC symposium on system structure and control. Elsevier, 1998
13. Kowalewski S, Stursberg O, Bauer N. An experimental batch plant as a case example for the verification of hybrid systems. EJC Special Issue on Verification of Hybrid Systems (submitted)
14. European Project ESPRIT-LTR 26270 VHS "Verification of Hybrid Systems". http://www-verimag.imag. fr/VHS
15. Wonham WM, Ramadge PJ. On the supremal controllable sublancuace of a given language. SIAM J Control Optim 1987; 25(3): 637-659