scientific article; zbMATH DE number 1444348
From MaRDI portal
Publication:4953389
zbMath0944.93018MaRDI QIDQ4953389
Thomas A. Henzinger, Jean-François Raskin
Publication date: 18 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Perturbations in control/observation systems (93C73) Discrete event control/observation systems (93C65) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Thin and Thick Timed Regular Languages ⋮ Verification of Hybrid Systems ⋮ Time-Bounded Verification ⋮ On the decidability and complexity of problems for restricted hierarchical hybrid systems ⋮ Computation with perturbed dynamical systems ⋮ Testing membership for timed automata ⋮ Linear Time Monitoring for One Variable TPTL ⋮ Unnamed Item ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Relating syntactic and semantic perturbations of hybrid automata ⋮ Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking ⋮ On Reachability for Hybrid Automata over Bounded Time ⋮ Safety verification of non-linear hybrid systems is quasi-decidable ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Probabilistic and Topological Semantics for Timed Automata ⋮ Entropy of regular timed languages ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning