Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata

DOI10.1007/978-3-540-78929-1_35zbMath1144.93328OpenAlexW1505086705MaRDI QIDQ3523130

Lorenzo Sella, Peter J. Collins

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_35

zbMATH Keywords

symbolic dynamicshybrid automatavan der Pol equationinterval computation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Application models in control theory (93C95) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• PNM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Singular perturbations and a mapping on an interval for the forced van der Pol relaxation oscillator
• Chaos generation using binary hysteresis
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Symbolic dynamics. One-sided, two-sided and countable state Markov shifts
• Validated solutions of initial value problems for ordinary differential equations
• The Forced van der Pol Equation II: Canards in the Reduced System
• The Forced van der Pol Equation I: The Slow Flow and Its Bifurcations
• Discrete reachability of hybrid systems
• An Introduction to Symbolic Dynamics and Coding
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations