Hybrid Systems: Computation and Control

DOI10.1007/b96398zbMath1135.93341OpenAlexW2476491145MaRDI QIDQ5307939

Timothy J. Hickey, David K. Wittenberg

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

zbMATH Keywords

modelinginterval arithmeticconstraint logic programmingconstraint language programmingsimulating and analyzing hybrid system

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (3)

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ Challenges in Constraint-Based Analysis of Hybrid Systems

Uses Software

• HyTech

This page was built for publication: Hybrid Systems: Computation and Control