Publication:4417973
From MaRDI portal
zbMath1032.93033MaRDI QIDQ4417973
Thao Dang, Franjo Ivančić, Rajeev Alur
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230004.htm
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Hybrid Automata in Systems Biology: How Far Can We Go?, The minimum principle of hybrid optimal control theory, Verification of continuous dynamical systems by timed automata, Hybrid automata, reachability, and systems biology, Span-reachability and observability of bilinear hybrid systems, Syntax and consistent equation semantics of hybrid Chi, Abstractions for hybrid systems