scientific article; zbMATH DE number 1444348

MaRDI QIDQ4953389zbMATH OpenFDO

Authors Thomas A. Henzinger, Jean-François Raskin

Publication date 18 September 2000

zbMATH Keywords

robusthybrid systemsperturbationsformal languageundecidabilitytimed automatontimed systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65) Perturbations in control/observation systems (93C73)

Recommendations

• SOFSEM 2005: Theory and Practice of Computer Science
• Robustness in timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Robust parametric reachability for timed automata
• On the determinization of timed systems
• scientific article; zbMATH DE number 1301623
• Timed automata robustness analysis via model checking
• Symbolic Robustness Analysis of Timed Automata
• scientific article; zbMATH DE number 1927563
• Robust safety of timed automata

Cited in

(22)

• Relating syntactic and semantic perturbations of hybrid automata
• Probabilistic and Topological Semantics for Timed Automata
• Decisiveness of stochastic systems and its application to hybrid models
• A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning
• Safety verification of non-linear hybrid systems is quasi-decidable
• Testing membership for timed automata
• A computable and compositional semantics for hybrid systems
• Robustness of temporal logic specifications for continuous-time signals
• On reachability for hybrid automata over bounded time
• Time-Bounded Verification
• Verification of Hybrid Systems
• scientific article; zbMATH DE number 1927563 (Why is no real title available?)
• On the decidability and complexity of problems for restricted hierarchical hybrid systems
• The Unmet Challenge of Timed Systems
• Time robustness in MTL and expressivity in hybrid system falsification
• Robust reachability in timed automata and games: a game-based approach
• Computation with perturbed dynamical systems
• Entropy of regular timed languages
• Thin and thick timed regular languages
• scientific article; zbMATH DE number 7455746 (Why is no real title available?)
• Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
• Linear Time Monitoring for One Variable TPTL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953389)