Impulse differential inclusions: A viability approach to hybrid systems

IEEE Transactions on Automatic Control

Volumn 47, Issue 1, 2002, Pages 2-20

  Aubin, Jean Pierre ^b   Lygeros, John ^c   Quincampoix, Marc ^d   Sastry, Shankar ^a,e   Seube, Nicolas ^f  

^a IEEE   (United States)

^b UNIVERSITÉ PARIS DAUPHINE   (France)

^c UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^d UNIVERSITÉ DE BRETAGNE OCCIDENTALE   (France)

^e UNIVERSITY OF CALIFORNIA   (United States)

^f ENSIETA   (France)

Author keywords

Differential inclusions; Hybrid systems; Invariance; Reachability; Set valued analysis; Viability theory

Indexed keywords

DIFFERENTIAL INCLUSIONS; HYBRID SYSTEMS; REACHABILITY; SET VALUED ANALYSIS; VIABILITY THEORY;

APPROXIMATION THEORY; INVARIANCE; MATHEMATICAL MODELS; SET THEORY;

CONTROL SYSTEM ANALYSIS;

EID: 0036257361     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.981719     Document Type: Article

References (44)

1. Special issue on hybrid control systems
2. Special issue on hybrid systems
3. Special issue on hybrid systems
4. Special issue on hybrid systems: Theory and applications
5. The algorithmic analysis of hybrid systems
6. What's decidable about hybrid automata
7. Hybrid I/O automata
8. O-minimal hybrid systems
9. Discrete abstractions of hybrid systems
10. On the synthesis of discrete controllers for timed systems
11. The synthesis of controllers for linear hybrid automata
12. Controllers for reachability specifications for hybrid systems
13. A game theoretic approach to controller design for hybrid systems
14. Supervisory control of hybrid systems
15. Effective synthesis of switching controllers for linear systems
16. Controlled invariance of discrete time systems
17. ε-approximation of differential inclusions
18. Ellipsoidal techniques for reachability analysis
19. Approximate reachability analysis of piecewise-linear dynamical systems
20. A user guide to HYTECH
21. Timing analysis in COSPAN
22. The tool KRONOS
23. UPAAL: A tool suit for automatic verification of real-time systems
24. Reachability analysis via face lifting
25. Integrating projections
26. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations
27. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations
28. Level set methods for computation in hybrid systems
29. STeP: The Stanford temporal prover
30. Set-valued numerical analysis for optimal control and differential games
31. Estimation of basins of attraction for uncertain systems
32. Approximation of viability kernels and capture basins for hybrid systems
33. Logics for hybrid systems
34. On the existence of executions of hybrid automata
35. On the regularization of Zeno hybrid automata
36. Zeno hybrid systems
37. Hybrid systems: Modeling, analysis and control
38. Viability with target: Theory and applications
39. Differential inclusions and target problems
40. Induction rules and termination proofs