Discrete Abstractions of Continuous Systems - An Input/Output Point of View

Mathematical and Computer Modelling of Dynamical Systems

Volumn 6, Issue 1, 2000, Pages 6-29

  Raisch, J ^a  

^a MAX PLANCK INSTITUTE FOR DYNAMICS OF COMPLEX TECHNICAL SYSTEMS   (Germany)

Author keywords

Abstractions; Approximations; Automata; Behaviours

Indexed keywords

EID: 0034420097     PISSN: 13873954     EISSN: None     Source Type: Journal    
DOI: 10.1076/1387-3954(200003)6:1;1-Q;FT006     Document Type: Article

References (29)

1. Alur, R., Henzinger, T.A., Sontag, E.D. (editors): Hybrid Systems III, Lecture Notes in Computer Science, Vol. 1066, Springer-Verlag, 1996.
2. Antsaklis, P., Stiver, J.A., Lemmon, M.: Hybrid system modelling and autonomous control systems. In [7], pp. 366-392.
3. Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (editors): Hybrid Systems II, Lecture Notes in Computer Science, Vol. 999, Springer-Verlag, 1995.
4. Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (editors): Hybrid Systems IV, Lecture Notes in Computer Science, Vol. 1273, Springer-Verlag, 1997.
5. Caines, P.E., Wei, Y.-J.: On dynamically consistent hybrid systems. In [3].
6. Caines, P.E., Wei, Y.-J.: Hierarchical hybrid control systems: A lattice theoretic formulation. IEEE Transactions on Automatic Control, 43: 501-508, April 1998, Special Issue on Hybrid Systems.
7. Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (editors): Hybrid Systems, Lecture Notes in Computer Science, Vol. 736, Springer-Verlag, 1993.
8. Kailath, T.: Linear Systems. Prentice-Hall, 1980.
9. Lichtenberg, G., Lunze J.: Observation of qualitative states by means of a qualitative model. International Journal of Control, 1997, 66: 885-903.
10. Lunze, J.: Ein Ansatz zur qualitativen Modellierung und Regelung dynamischer Systeme. at - Automatisierungstechnik, 1993, 41: 451-460.
11. Lunze J.: Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica, 1994, 30: 417-431.
12. Lunze J.: Stabilization of nonlinear systems by qualitative feedback controllers. International Journal of Control, 1995, 62: 109-128.
13. Kienle, A.: Reduced models for multicomponent separation processes using nonlinear wave propagation theory. Proc. CHISA'98, Prague, 1998.
14. Klein, E., Kienle, A., Raisch, J.: Synthesizing a Supervisory Control Scheme for the Start-up Procedure of a Distillation Column - an Approach based on Approximating Continuous Dynamics by DES Models. Proc. LSS'98 - 8th IFAC Colloquium on Large Scale Systems, Patras, 1998, pp. 716-721.
15. Klein, E., Raisch, J.: Safety Enforcement in Process Control Systems - A Batch Evaporator Example. Proc. WODES'98 - International Workshop on Discrete Event Systems, Cagliari, Italy, 1998, pp. 327-333, IEE.
16. Marquardt, W.: Nichtlineare Wellenausbreitung - ein Weg zu reduzierten Modellen von Stofftrennprozessen, VDI Fortschritt-Berichte Nr. 8/161, VDI-Verlag, 1988.
17. Moor, T., Raisch, J., O'Young, S.D.: Supervisory Control of Hybrid Systems via l-Complete Approximations. Proc. WODES'98 - International Workshop on Discrete Event Systems, Cagliari, Italy, 1998, pp. 426-431, IEE.
18. Niinomi, T., Krogh, B.H., Cury, J.E.R.: Synthesis of Supervisory Controllers for Hybrid Systems Based on Approximating Automata. Proc. 34th IEEE Conference on Decision and Control, 1995, pp. 1461-1466.
19. Pappas, G.J., Sastry, S.: Towards continuous abstractions of dynamical and control systems. In [4], pp. 329-341.
20. Raisch, J., O'Young, S.D.: A DES approach to control of hybrid dynamical systems. In [1], pp. 563-574.
21. Raisch, J., O'Young, S.D.: Time-driven supervisory control of hybrid dynamical systems. Proc. 5th International Conference on CONTROL'96, Exeter, UK , 1996, pp. 716-721, IEE.
22. Raisch, J., O'Young, S.D.: Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control, 43(4): 569-573, April 1998. Special Issue on Hybrid Systems.
23. Raisch, J.: Nondeterministic automata as approximations for continuous systems - an approach with an adjustable degree of accuracy. Proc. 2nd MATHMOD (International Symposium on Mathematical Modelling), Vienna, Austria, 1997, pp. 195-202, IMACS.
24. Raisch, J., O'Young, S.D.: A Totally Ordered Set of Discrete Abstractions for a given Hybrid or Continuous System. In [4], pp. 342-360.
25. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event systems. SIAM J. Control and Optimization, 25: 206-230 1987.
26. Ramadge, P.J., Wonham, W.M.: The Control of Discrete Event Systems. Proc. of the IEEE, 1989, 77(1): 81-98.
27. Stiver, J.A., Antsaklis, P.: Modeling and analysis of hybrid control systems. Proc. 31st IEEE Conference on Decision and Control, 1992, pp. 3748-3751.
28. Stursberg, O., Kowalewski, S., Engell, S.: Generating timed discrete models of continuous systems. Proc. 2nd MATHMOD (International Symposium on Mathematical Modelling), Vienna, Austria, 1997, pp. 203-209, IMACS.
29. Willems, J.C.: Paradigms and puzzles in the theory of dynamical systems. IEEE Transactions on Automatic Control, 1991, 36:259-294.