Skip to Main content Skip to Navigation
Book sections

Hybrid Automata

Abstract : Hybrid automata is a modeling formalism for hybrid systems that results from an extension of finite-state machines by associating with each discrete state a continuous-state model. Conditions on the continuous evolution of the system invoke discrete state transitions. A broad set of analysis methods is available for hybrid automata including methods for the reachability analysis, stability analysis and optimal control
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00426922
Contributor : Myriam Andrieux <>
Submitted on : Wednesday, October 28, 2009 - 3:32:57 PM
Last modification on : Monday, October 5, 2020 - 9:50:04 AM

Identifiers

  • HAL Id : hal-00426922, version 1

Citation

S. Kowalewski, M. Garavello, Hervé Guéguen, G. Herberich, R. Langerak, et al.. Hybrid Automata. J Lunze and F. Lamnabhi-Lagarrigue. Handbook of hybrid systems control : theory, tools, applications, Cambridge, pp.57-85, 2009. ⟨hal-00426922⟩

Share

Metrics

Record views

297