A hierarchy of discrete abstractions for a hybrid plant

Journal Europeen des Systemes Automatises

Volumn 32, Issue 9-10, 1998, Pages 1073-1095

  Raisch, Jörg ^a  

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

Author keywords

Discrete abstractions; Discrete approximations; Hybrid dynamical system

Indexed keywords

EID: 2742595838     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon, "Hybrid System Modeling and Autonomous Control Systems". In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, Vol. 736, pages 366-392, Springer-Verlag, Berlin, 1993.
2. B. A. Brandin and W, M. Wonham, "Supervisory control of timed discrete event systems", IEEE Transactions on Automatic Control, 39:329-342, 1994.
3. P. E. Caines and Y.-J. Wei, "On dynamically consistent hybrid systems". In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, Lecture Notes in Computer Science, Vol. 999, pages 86-105, Springer-Verlag, Berlin, 1995.
4. E. Klein, A. Kienle, and J. Raisch, "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, pages 716-721, Patras, Greece, 1998.
5. G. Lichtenberg and J. Lunze, "Observation of qualitative states by means of a qualitative model", International Journal of Control, 66:885-903, 1997.
6. J. Lunze. "Qualitative Modelling of Linear Dynamical Systems with Quantized State Measurements". Automatica, 30(3):417-431, 1994.
7. J. Lunze, "Stabilization of nonlinear systems by qualitative feedback controllers", International Journal of Control, 62:109-128, 1995.
8. T. Moor, J. Raisch, and S. D. O'Young, "Supervisory Control of Hybrid Systems via ι-Complete Approximations". In A. Giua, R. Smedinga, and M. Spathopoulos, editors, Proc. WODES'98 - International Workshop on Discrete Event Systems, pages 426-431, Cagliari, Italy, 1998, IEE.
9. T. Niinomi, B. H. Krogh, and J. E. R. Cury, "Synthesis of supervisory controllers for hybrid systems based on approximating automata", Proc. 34th CDC, pages 1461-1466, 1995.
10. G. J. Pappas and S. Sastry, "Towards continuous abstractions of dynamical and control systems". In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, Lecture Notes in Computer Science, Vol. 1273, pages 329-341. Springer-Verlag, 1997.
11. J. W. Polderman and J. C. Willems, Introduction to Mathematical Systems Theory, volume 26 of Texts in Applied Mathematics, Springer-Verlag, Berlin, 1998.
12. J. Raisch, "Nondeterministic Automata as Approximations for Continuous Systems - an Approach with an Adjustable Degree of Accuracy". In I. Troch and F. Breitenecker, editors, Proc. MATHMOD - 2nd IMACS Symposium on Mathematical Modelling, pages 195-201, Vienna, Austria, February 1997, IMACS.
13. J. Raisch, "Discrete Abstractions of Continuous Systems - an Input/Output Point of View", accepted for publication in: Mathematical Modelling of Systems, special issue on Discrete Event Models of Continuous Systems, 1999.
14. J. Raisch and S. D. O'Young, "Time-Driven Supervisory Control of Hybrid Dynamical Systems", Proc. CONTROL'96 - 5th International Conference on Control 96, pages 716-721, Exeter, UK, September 1996, IEE.
15. J. Raisch and S. D. O'Young, "A Totally Ordered Set of Discrete Abstractions for a given Hybrid or Continuous System". In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, Lecture Notes in Computer Science, Vol. 1273, pages 342-360, Springer-Verlag, 1997.
16. J. Raisch and S. D. O'Young, "Discrete Approximation and Supervisory Control of Continuous Systems", IEEE Transactions on Automatic Control, 43(4):569-573, April 1998. Special Issue on Hybrid Systems.
17. P. J. Ramadge and W. M. Wonham, "Supervisory Control of a Class of Discrete Event Processes", SLAM Journal of Control and Optimization, 25(1):206-230, January 1987.
18. P. J. Ramadge and W. M. Wonham, "The Control of Discrete Event Systems", Proc. of the IEEE, 77(1):81-98, January 1989.
19. J. A. Stiver and P. Antsaklis, "Modeling and analysis of hybrid control systems", Proc. 31st CDC, pages 3748-3751, 1992.
20. O. Stursberg, S. Kowalewski, and S. Engell, "Generating timed discrete models of continuous systems". In I. Troch and F. Breitenecker, editors, Proc. MATHMOD - 2nd IMACS Symposium on Mathematical Modelling, pages 203-209, Vienna, Austria, February 1997, IMACS.
21. J. C. Willems, "Models for dynamics", Dynamics Reported, 2:172-269, 1989.
22. J. C. Willems, "Paradigms and Puzzles in the Theory of Dynamical Systems", IEEE Transactions on Automatic Control, 36(3):259-294, 1991.