Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5307929
DOI10.1007/b96398zbMath1135.93340OpenAlexW2476491145MaRDI QIDQ5307929
J. M. Davoren, Thomas Moor, Vangham Coulthard, Nicolas Markey
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96398
Control/observation systems involving computers (process control, etc.) (93C83) Discrete-time control/observation systems (93C55) Logic in computer science (03B70) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (4)
Hybridization methods for the analysis of nonlinear systems ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions ⋮ Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
This page was built for publication: Hybrid Systems: Computation and Control