Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5307929
DOI10.1007/b96398zbMath1135.93340MaRDI 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
93C83: Control/observation systems involving computers (process control, etc.)
93C55: Discrete-time control/observation systems
03B70: Logic in computer science
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, Hybridization methods for the analysis of nonlinear systems, Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions, Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces