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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1790, Issue , 2000, Pages 338-351

  Niebert, Peter ^a   Yovine, Sergio ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; HYBRID SYSTEMS; OPTIMAL SYSTEMS;

CHEMICAL BATCH PLANTS; HIGH LEVEL CONTROL; OPERATION SCHEMES; OPTIMAL OPERATION; OPTIMAL PRODUCTION; PROCESS OPERATION; REACHABILITY ANALYSIS; VERIFICATION TOOLS;

CHEMICAL PLANTS;

EID: 84974720875     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_29     Document Type: Conference Paper

References (14)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, April 1994.
3. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proc. RTSS’99, Phoenix, AZ, USA, December 1999. IEEE Computer Society Press.
4. E. Asarin and O. Maler. As soon as possible: Time optimal control for timed automata. In F. Vaandrager and J. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of LNCS, pages 19-30. Springer, Mars 1999.
5. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. KRONOS: a model-checking tool for real-time systems. In CAV, LNCS, 1998.
6. R. Huuck. Verifying Timing Aspects of VHS Case Study 1. Tech. Report. University of Kiel, May 1999.
7. ISA S88.01 Batch Control Part I, Models and Terminology. ANSI/ISA, 1995.
8. K. Kristoffersen, K. Larsen, P. Pettersson, and C. Weise. Experimental Batch Plant-VHS Case Study 1 using Timed Automata and UPPAAL. Tech. Report, BRICS, Denmark, May 1999.
9. K.L. McMillan. Symbolic Model-Checking: an Approach to the State-Explosion problem, Kluwer, 1993.
10. A. Pnueli, E. Asarin, O. Maler and J. Sifakis. Controller synthesis for timed automata. In Proc. System Structure and Control, pages 469-474. IFAC, Elsevier, July 1998.
11. S. Kowalewski. Description of VHS case study 1 “Experimental Batch Plant”. Draft. University of Dortmund, Germany, July 1998.
12. M. Säflund and G. Stalmarck. Modeling and verifying systems and software in propositional logic. In SAFECOMP’90, pages 31-36, 1990.
13. European Project ESPRIT-LTR VHS. http://www-verimag.imag.fr/VHS.
14. W. M. Wonham and P. J. Ramadge. On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization, 25(3):637-659, May 1987.