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 metadata
Contributor : Myriam Andrieux Connect in order to contact the contributor
Submitted on : Wednesday, October 28, 2009 - 3:32:57 PM
Last modification on : Thursday, January 20, 2022 - 12:54:06 PM


  • HAL Id : hal-00426922, version 1


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⟩



Les métriques sont temporairement indisponibles