Target control for linear hybrid systems

2001 European Control Conference, ECC 2001

Volumn , Issue , 2001, Pages 1606-1611

  Trontis, A ^a   Spathopoulos, M P ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

Control and Verification; Discrete Event Systems; Hybrid Systems; Supervisory Control

Indexed keywords

DISCRETE EVENT SIMULATION; LINEAR SYSTEMS;

BACKWARD REACHABILITY; CONTROL ACTIONS; CONTROL STRATEGIES; CONTROL SYNTHESIS; DISCRETE TRANSITIONS; FORBIDDEN STATE; LINEAR HYBRID SYSTEMS; SUPERVISORY CONTROL;

HYBRID SYSTEMS;

EID: 84947461243     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2001.7076149     Document Type: Conference Paper

References (9)

1. R. Alur, T. Henzinger, P. H. Ho. "Automatic Symbolic Verification of Embedded Systems". IEEE Transactions on Software Engineering 22, 1996, pp. 181-201.
2. "Check Mate, Hybrid System Verification Tool Box, Version 1. 4 Beta", Department of Electrical and Computer Engineering, Carnegie Mellon University.
3. A. Chutinan. "Hybrid System Verification Using Discrete Model Approximations". PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 1999.
4. D. van Dalen. "Logic and Structure". Springer-Verlag, second edition, 1983
5. B. Lenartson, M. Tittus, B. Egardt, S. Petterson. "Hybrid Systems in Process Control". IEEE Control Systems Magazine, October 1996.
6. G. J. Pappas. "Hybrid Systems: Computation and Abstraction". PhD thesis, University of California at Berkeley, 1998.
7. M. Tittus, B. Egardt. "Control Design for Integrator Hybrid Systems". IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems, 43(4): 491-500, April 1998.
8. A. Trontis, M. P. Spathopoulos. "Controllability Analysis and Design for Linear Hybrid Systems". Submitted.
9. R. Webster. "Convexity". Oxford University Press, 1994.