scientific article; zbMATH DE number 1444359

From MaRDI portal
Publication:4953401

zbMath0992.93050MaRDI QIDQ4953401

Joseph S. Miller

Publication date: 8 September 2002


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



Related Items (28)

Model measuring for discrete and hybrid systemsModel Checking Real-Time SystemsVerification of Hybrid SystemsRobust parametric reachability for timed automataUnnamed ItemOn clock-aware LTL parameter synthesis of timed automataOn the expressiveness and decidability of o-minimal hybrid systemsLTL Parameter Synthesis of Parametric Timed AutomataPolynomial interrupt timed automata: verification and expressivenessTemporal logics with incommensurable distances are undecidableLanguage Preservation Problems in Parametric Timed AutomataDeciding Concurrent Planar Monotonic Linear Hybrid SystemsA survey of timed automata for the development of real-time systemsUnnamed ItemEquivalence checking and intersection of deterministic timed finite state machinesDistributed parametric model checking timed automata under non-zenoness assumptionPTIME parametric verification of safety properties for reasonable linear hybrid automataDecidable Compositions of O-Minimal AutomataOn parametric timed automata and one-counter machinesFormal language properties of hybrid systems with strong resetsUnnamed ItemWhat’s Decidable About Parametric Timed Automata?Consistency in parametric interval probabilistic timed automataProperty Driven Three-Valued Model Checking on Hybrid AutomataRevisiting reachability in polynomial interrupt timed automataApproximated Reachability on Hybrid Automata: Falsification meets CertificationClasses of Timed Automata and the Undecidability of UniversalityParametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*






This page was built for publication: