Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5703926
DOI10.1007/b106766zbMath1078.93041MaRDI QIDQ5703926
Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh, Ansgar Fehnker
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106766
93B25: Algebraic methods
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Counterexample Guided Path Reduction for Static Program Analysis, Language-Based Abstraction Refinement for Hybrid System Verification, Syntax and consistent equation semantics of hybrid Chi