Modelling and analysis of hybrid systems

Mathematics and Computers in Simulation

Volumn 46, Issue 5-6, 1998, Pages 445-464

  Engell, Sebastian ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345868466     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0378-4754(98)00076-7     Document Type: Article

References (56)

1. C.G. Cassandras, Discrete Event Systems: Modeling and Performance Analysis, Irwin and Aksen, Homewood, 1993.
2. Proceedings of the IEEE 77 (Special Issue on Discrete Event Systems), 1989, p. 1.
3. P.I. Barton, T. Park, Analysis and control of combined discrete/continuous systems: progress and challenges in the chemical processing industries, Chemical Process Control V, Proceedings: CACHE Corporation, 7, 1997, 101-114.
4. S. Engell, St. Kowalewski, B.H. Krogh, Discrete events and hybrid systems in process control, Chemical Process Control V, Proceedings: CACHE Corporation, 1997, 165-176.
5. St. Kowalewski, Modulare diskrete Anlagenmodellierung zum systematischen Steuerungsentwurf, Dissertation, Fachbereich Chemietechnik, Universität Dortmund, 1995, Aachen: Shaker-Verlag, 1996.
6. S. Kowalewski, R. Gesthuisen, V. Roßmann, Model-based verification of batch process control software, Proceedings of the IEEE Conf. on Systems, Man, and Cybernetics, San Antonio, 1994, 331-336.
7. L. Tavernini, Differential automata and their discrete simulators, Nonlinear Analysis, Theory, Methods & Applications 11 (1987) 665-683.
8. A. Back, J. Guckenheimer, M. Myers, A dynamical simulation facility for hybrid systems, Hybrid Systems, LNCS 736, Springer, Berlin, 1993, 255-267.
9. P.I. Barton, C.C. Pantelides, Modeling of combined discrete/continuous processes, AIChE. J. 40 (1994) 966-979.
10. M. Branicky, V. Borkar, S. Mitter, A unified framework for hybrid control, Proceedings of the IEEE Conf. on Decision and Control, 1994, 4228-4234.
11. C.C. Pantelides, Modeling, simulation and optimisation of hybrid processes, Proceedings Workshop Analysis and Design of Event-Driven Operations in Process Systems, Imperial College, London, 1995.
12. D. Harel, Statecharts: a visual formalism for complex systems, Sci. Computer Programming 2 (1987) 231-274.
13. Y. Brave, M. Heymann, Control of discrete event systems modeled as hierarchical state machines, IEEE Trans. on Automatic Control 38 (1993) 1803-1819.
14. T. Murata, Petri nets: properties, analysis, applications, Proceedings of the IEEE, vol. 77, 1989, p. 541-580.
15. K.-P. Brand, J. Kopainsky, Principles and engineering of process control with Petri nets, IEEE Trans, on Automatic Control 33 (1988) 138-149.
16. K. Jensen, Coloured Petri Nets, Springer, Berlin, 1995.
17. H.-M. Hanisch, Analysis of place/transition nets with timed arcs and its application to batch process control, LNCS 691, Springer, Berlin, 1993, 282-299.
18. R. Alur, D. Dill, The theory of timed automata, Theoretical Computer Science 126 (1994) 183-235.
19. T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Symbolic model checking for real-time systems, Information and Computation 111 (1994) 193-244.
20. R. Alur, C. Courcoubetis, T.A. Henzinger, P.H. Ho, Hybrid automata, Hybrid Systems, LNCS 736, Springer, Berlin, 1993, 209-239.
21. B.H. Krogh, Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems, Proceedings of the 8th Int. Symp. on Intelligent Control Systems, 1993, 180-185.
22. R.S. Sreenivas, B.H. Krogh, On condition/event systems with discrete state realizations, Discrete Event Dynamic Systems: Theory and Applications 1 (1991) 209-236.
23. S. Engell, I. Hoffmann, Modular hierarchical models of hybrid systems, Proceedings of the CDC 1996, Kobe, 1996, 142-143.
24. M. Tittus, Control Synthesis for Batch Processes, Ph.D. Thesis, Chalmers University of Technology, Göteborg, Sweden, 1995.
25. P.J. Antsaklis, J.A. Stiver, M. Lemmon, Hybrid system modeling and autonomous control systems, Hybrid Systems, LNCS 736, Springer, Berlin, 1993, 366-392.
26. S. Engell, St. Kowalewski, B.H. Krogh, J. Preußig, Condition/event systems: a powerful paradigm for timed and untimed discrete models of technical systems, Proceedings of the EUROSIM 95, 421-426.
27. H. Elmqvist, F.E. Cellier, M. Otter, Object-oriented modeling of hybrid systems, Proceedings of the European Simulation Symposium, Delft, 1993.
28. J.H. Taylor, Rigorous handling of state events in MATLAB, Proceedings of the IEEE Conf. on Control Applic., Albany, 1995.
29. P.I. Barton, The Modeling and Simulation of Combined Discrete/Continuous Processes, Ph.D. Thesis, University of London, 1992.
30. S. Engell, K. Wöllhaf, Dynamic simulation of batch plants, Proceedings of the ESCAPE-3, Pergamon Press, 1993, 439-444.
31. S. Engell, M. Fritz, C. Schulz, K. Wöllhaf, Hybrid Simulation of Flexible Batch Plants, Preprints IFAC Symposium DYCORD+ 1995, 1995, 123-128.
32. R.E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Trans, on Computers 35 (1986) 677-691.
33. E.M. Clarke, O. Grumberg, D.E. Long, Model checking and abstraction, ACM Trans, on Programming Languages and Systems 16 (1994) 1512-1542.
34. 20 states and beyond, Information and Computation, 98 (2) (1992) 142-170.
35. L. Lamport, Sometimes is sometimes not never: A tutorial on the temporal logic of programs, ACM SIGACT-SIGPLAN, 1980, 174-185.
36. I. Moon, G.J. Powers, J.R. Burch, E.M. Clarke, Automatic verification of sequential control systems using temporal logic, AIChE. J. 38 (1992) 67-75.
37. S.T. Probst, G.J. Powers, D.E. Long, I. Moon, Verification of a logically controlled solids transport system using symbolic model checking, Comp. Chem. Engg., (1997) 1.
38. M. Hölzlein, Th. Filkorn, P. Warkentin, Formale Verifikation von SPS Programmen, GMA Kongress 96, VDI-Bericht 1282, VDI-Verlag, Düsseldorf, 1996, 25-34.
39. H. Preisig, First principle-based event-discrete dynamic system models and EDD controller synthesis, Preprints IFAC 12th World Congress, vol. 5, Sydney, 1993, 275-278.
40. J. Lunze, Qualitative modelling of linear dynamical systems with quantized state measurements, Automatica 30 (1994) 417-431.
41. T. Niinomi, B.H. Krogh, J. Cury, Control of hybrid systems using finite state approximations, Hybrid Systems III, LNCS 1066, Springer, New York, 1996.
42. X. Nicollin, J. Sifakis, S. Yovine, Compiling real-time specifications into extended automata, IEEE Trans, on Software Engineering 18 (1992) 794-804.
43. T.A. Henzinger, P.-H. Ho, H. Wong-Toi, A user guide to HyTech., Dept. of Computer Science, Cornell University, 1995.
44. K.G. Larsen, P. Pettersson, W. Yi, Model-checking for real-time systems, LNCS 965, Springer, Berlin, 1995.
45. S. Kowalewski, J. Preußig, Verification of sequential controllers with timing functions for chemical processes, Preprints IFAC 13th World Congress, vol. J, San Francisco, USA, 1996, 419-424.
46. R. Huuck, Y. Lakhnech, L. Urbina, S. Engell, St. Kowalewski, J. Preußig, Comparing timed c/e-systems with timed automata, Accepted for: International Workshop on Hybrid and Real-time Systems, HART 97, Grenoble, 1997.
47. St. Kowalewski, S. Engell, M. Fritz, R. Gesthuisen, G. Regner, M. Stobbe, Modular discrete modeling of batch processes by means of condition/event systems, Workshop Analysis and Design of Event-Driven Operations in Process Systems, Imperial College, London, 1995.
48. P. Herrmann, H. Krumm, Compositional specification and verification of high-speed transfer protocols, in: S.T. Voung, S.T. Chanson (Eds.), Protocol Specification, Testing, and Verification XIV, Chapman & Hall, London, 1994.
49. P.E. Caines, W. Wang, COCOLOG: A conditional observer and controller logic for finite machines, Proceedings of the IEEE Conf. on Decision and Control, 1990, 2845-2850.
50. T.A. Henzinger, Z. Manna, A. Pneuli, Temporal proof methodologies for timed transition systems, Inf. and Comp. 112 (1994) 273-337.
51. Z. Manna, A. Pnueli, Temporal Verification of Reactive Systems: Safety, Springer, New York, 1995.
52. J. Vitt, J. Hooman, Specification and verification of the real-time part of a steam boiler control system, Proceedings of the 2nd European Workshop on Real-Time and Hybrid Systems, Grenoble, 1995, 205-208.
53. D.N. Dyck, P. Caines, The logical control of an elevator, IEEE Trans, on Automatic Control 40 (1995) 480-486.
54. V.D. Dimitriades, N. Shah, C.C. Pantelides, Modelling and safety verification of discrete/continuous processing systems using discrete time domain models, Workshop Analysis and Design of Event-Driven Operations in Process Systems, Imperial College, London, 1995.
55. C. Chase, J. Serrano, P.J. Ramadge, Periodicity and chaos from switched flow systems, IEEE Trans. on Automatic Control 38 (1993) 70-83.
56. T. Schürmann, I. Hoffmann, The entropy of strange billiards inside n-simplexes, J. Phys. A. 28 (1995) 5033-5039.