scientific article; zbMATH DE number 1538038
From MaRDI portal
Publication:4518893
zbMath0960.68117MaRDI QIDQ4518893
Rupak Majumdar, Thomas A. Henzinger
Publication date: 3 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Controllability, observability, and system structure (93B99)
Related Items (6)
Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Taylor approximation for hybrid systems ⋮ Monotonic hybrid systems ⋮ Relaxing Goodness Is Still Good ⋮ Approximate equivalence of the hybrid automata with Taylor theory ⋮ Positive loop-closed automata: A decidable class of hybrid systems
This page was built for publication: