scientific article; zbMATH DE number 1956618

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

Syntax and consistent equation semantics of hybrid Chi ⋮ The minimum principle of hybrid optimal control theory ⋮ Hybrid Automata in Systems Biology: How Far Can We Go? ⋮ Abstractions for hybrid systems ⋮ Hybrid automata, reachability, and systems biology ⋮ Span-reachability and observability of bilinear hybrid systems ⋮ Verification of continuous dynamical systems by timed automata

This page was built for publication: