Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2001, Pages 1243-1248

  Vidal, René ^a   Schaffert, Shawn ^a   Shakernia, Omid ^a   Lygeros, John ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL METHODS; CONSTRAINT THEORY; CONTROL EQUIPMENT; HEURISTIC METHODS; ITERATIVE METHODS; LINEAR CONTROL SYSTEMS; PROBLEM SOLVING; STATE SPACE METHODS;

CONTROLLER SYNTHESIS; DISCRETE TIME HYBRID SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035711228     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. Cylindrical algebraic decomposition 1: The basic algorithm
2. On the minimax teachability of target sets and target tubes
3. Ultimate boundedness control for discrete time uncertain systems via set induced Lyapunov functions
4. Persistent disturbance rejection via static-state feedback
5. REDLOG: Computer algebra meets computer logic
6. (A, B)-invariant polyhedral sets of linear discrete time systems
7. Control of linear dynamic systems with set constrained disturbances
8. Ellipsoidal techniques for teachability analysis
9. A new class of decidable hybrid systems
10. Quantifier elimination for conjunctions of linear constraints via a convex hull algorithm
11. On the existence of executions of hybrid automata
12. Controllers for reachability specifications for hybrid systems
13. A new decision method for elementary algebra
14. Decidable controller synthesis for classes of linear systems
15. Semi-decidable controller synthesis for classes of linear hybrid systems
16. Semi-decidable synthesis for triangular hybrid systems
17. 1 optimal control
18. ∞ induced norm under full state feedback
19. Controlled invariance of discrete time systems
20. A minimax control problem for sampled linear systems