Discrete abstraction and supervisory control of switching systems

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2003, Pages 415-421

  Su, Rong ^a   Abdelwahed, Sherif ^b   Karsai, Gabor ^b   Biswas, Gautam ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b VANDERBILT UNIVERSITY   (United States)

Author keywords

Discrete abstraction; Hybrid systems; Supervisory control

Indexed keywords

ABSTRACTING; BOUNDARY CONDITIONS; CONTROL SYSTEM SYNTHESIS; GRADIENT METHODS; MATHEMATICAL MODELS; PROBABILITY DISTRIBUTIONS; SCADA SYSTEMS; STATE SPACE METHODS; VECTORS;

CONTINUOUS TIME SYSTEMS; DISCRETE ABSTRACTION; GRADIENT ANALYSIS; HYBRID SYSTEMS; NONDETERMINISM;

SWITCHING SYSTEMS;

EID: 0242408955     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. P. Antsaklis, editor. Special Issue on Hybrid Systems. Proceedings of the IEEE. July 2000.
2. P. Antsaklis, X. Koutsoukos, and J. Zaytoon. On hybrid control of complex systems: a survey. European Journal of Automation, 32:1023-1045, 1998.
3. J. Cury, B. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Autom. Control, 43(4):564568, 1998.
4. X. D. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. Supervisory control of hybrid systems. Proc. IEEE, 88(7):1026-1049, July 2000.
5. R. Kumar and V.K. Garg. Optimal supervisory control of discrete event dynamic systems. SIAM Journal on Control and Optimization, 33(2):419-439, 1995.
6. J. Lunze. Qualitative modeling of linear dynamical systems with quantised state measurements. Automatica, 30(3):417-431, 1994.
7. J. Lunze, B. Nixdorf, and J. Schroder. Deterministic discrete-event representations of linear continuous-variable systems. Automatica, 35(3):396-406, 1999.
8. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, pages 317-356, Berlin, Germany, 1993, Springer-Verlag.
9. J. Raisch and S. O'Young. A totally ordered set of discrete abstractions for a given hybrid system. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, pages 342-360, Germany, 1997. Springer-Verlag.
10. J. Raisch and S. O'Young, Discrete approximation and supervisory control of continuous systems. IEEE Trans. Autom. Control, 43(4):568-573, 1998.
11. J. Stiver, P. Antsaklis, and M. Lemmon. A logical DES approach to the design of hybrid control systems. Mathl. Comput. Modelling, 23(11/12):55-76, 1996.
12. W. M. Wonham. Notes on Control of Discrete-Event Systems. ECE Department, University of Toronto, revised 1 July 2002. http://www.control.utoronto.ca/DES.