scientific article; zbMATH DE number 1794375

zbMath0991.93002MaRDI QIDQ4552473

Vinayak S. Prabhu, M. Minea, Thomas A. Henzinger

Publication date: 3 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2034/20340275

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

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Hierarchical systems (93A13)

Related Items (6)

Assume-guarantee contracts for continuous-time systems ⋮ From post-conditions to post-region invariants ⋮ Hybrid I/O automata. ⋮ Towards Component Based Design of Hybrid Systems: Safety and Stability ⋮ Process algebra for hybrid systems ⋮ Programmed Strategies for Program Verification

This page was built for publication: