An invariant-based approach to the design of hybrid control systems

International Journal of Robust and Nonlinear Control

Volumn 11, Issue 5, 2001, Pages 453-478

  Stiver, James A ^a   Koutsoukos, Xenofon D ^b   Antsaklis, Panos J ^c  

^a National Center for Health Statistics   (United States)

^b PALO ALTO RESEARCH CENTER   (United States)

^c University of Notre Dame   (United States)

Author keywords

Controller design; Hybrid control systems; Natural invariants; State space partitions

Indexed keywords

CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; FEEDBACK CONTROL; INVARIANCE; OPTIMAL CONTROL SYSTEMS; STATE SPACE METHODS;

HYBRID CONTROL SYSTEMS; INVARIANT-BASED METHOD;

NONLINEAR CONTROL SYSTEMS;

EID: 0035971720     PISSN: 10498923     EISSN: None     Source Type: Journal    
DOI: 10.1002/rnc.593     Document Type: Article

References (33)

1. Verified hybrid controllers for automated vehicles
2. Conflict resolution for air traffic management: A study in multi-agent hybrid systems
3. Interface and controller design for hybrid control systems
4. Hybrid control system design based on natural invariants
5. An invariant based approach to the design of hybrid control systems
6. The algorithmic analysis of hybrid systems
7. ε-approximation of differential inclusions
8. Control design for integrator hybrid system
9. Approximate teachability analysis of piecewise-linear dynamical systems
10. Ellipsoidal techniques for reachability analysis
11. Hybrid systems V, Lecture Notes in Computer Science
12. Hybrid control systems: An introductory discussion to the special issue
13. On hybrid control of complex systems: A survey
14. A novel discrete event system approach to modeling and analysis of hybrid control sysytems
15. Hybrid automata with finite bisimulations
16. Hybrid systems with finite bisimulations
17. Computing polyhedral approximations to flow pipes for dynamic systems
18. Extracting and representing qualitative behaviors of complex systems in phase spaces
19. Discrete approximation and supervisory control of continuous systems
20. A logical DES approach to the design of hybrid control systems
21. Synthesis of supervisory controllers for hybrid systems based on approximating automata
22. Deterministic discrete-event representations of linear continuous-variable systems
23. Hierarchical hybrid control systems: A lattice formulation
24. Timed Petri nets in hybrid systems: Stability and supervisory control