Rigorous simulation of hybrid dynamic systems with symbolic and interval methods

Proceedings of the American Control Conference

Volumn 1, Issue , 2002, Pages 140-148

  Nedialkov, Nedialko S ^a   Von Mohrenschildt, Martin ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; INITIAL VALUE PROBLEMS; MATHEMATICAL MODELS; ORDINARY DIFFERENTIAL EQUATIONS;

HYBRID DYNAMIC SYSTEMS; INTERVAL METHODS; SYMBOLIC METHODS;

CONTROL SYSTEM ANALYSIS;

EID: 0036055587     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Discrete abstractions of hybrid systems
2. A unified framework for hybrid control: Model and optimal control theory
3. Synthesizing controllers for hybrid systems
4. Effective solution of discontinuous IVPs using a Runge-Kutta formula pair with interpolants
5. Hybrid dynamical systems
6. A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem
7. A new class of decidable hybrid systems
8. Enclosing the solutions of ordinary initial and boundary value problems
9. Einschließung der Lösung gewöhnlicher Anfangs - und Randwertaufgaben und Anwendungen
10. An overview of hybrid simulation phenomena and their support by simulation packages
11. Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
12. Validated solutions of initial value problems for ordinary differential equations
13. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
14. Compiling real-time specifications into extended automata
15. Enclosing solutions with switching points in ordinary differential equations
16. Interval methods for initial value problems in ODEs
17. Invariance of approximating automata for piecewise linear systems with uncertainties
18. Event location for ordinary differential equations
19. Symbolic verification of hybrid systems: An algebraic approach