Discrete-time hybrid modeling and verification

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2001, Pages 2899-2904

  Torrisi, Fabio Danilo ^a   Bemporad, Alberto ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; BOOLEAN FUNCTIONS; COMPUTER SIMULATION; CONTROL EQUIPMENT; DIFFERENCE EQUATIONS; LINEAR PROGRAMMING; LINEARIZATION; LOGIC DEVICES; MATHEMATICAL MODELS; TWO TERM CONTROL SYSTEMS;

HYBRID MODELING;

DISCRETE TIME CONTROL SYSTEMS;

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

References (19)

1. A brief introduction to the theory and applications of hybrid systems
2. Reachability analysis of piecewise-linear dynamical systems
3. Inner and outer approximation of polytopes using hyper-rectangles
4. Performance driven reachability analysis for optimal scheduling and control of hybrid systems
5. Control of systems integrating logic, dynamics, and constraints
6. Optimization-based verification and stability characterization of piecewise affine and hybrid systems
7. Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
8. New generation of UPPAAL
9. Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations
10. Equivalence of hybrid dynamical models
11. HYTECH: A model checker for hybrid systems
12. Nonlinear control applied to gearshifting in automated manual transmissions
13. On the regularization of Zeno hybrid automata
14. Reach-ability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis
15. Discrete-time hybrid modeling and verification
16. HYSDEL - A language for describing hybrid systems