Robust safety of timed automata

DOI10.1007/s10703-008-0056-7zbMath1165.68392OpenAlexW2120338947MaRDI QIDQ1028728

Jean-François Raskin, Martin De Wulf, Nicolas Markey, Laurent Doyen

Publication date: 6 July 2009

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-008-0056-7

zbMATH Keywords

robustnessperturbationdriftimplementabilitytimed automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Robust Model-Checking of Timed Automata via Pumping in Channel Machines ⋮ Thin and Thick Timed Regular Languages ⋮ Robust Specification of Real Time Components ⋮ Model measuring for discrete and hybrid systems ⋮ Model Checking Real-Time Systems ⋮ Verification of Hybrid Systems ⋮ Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ Shrinking timed automata ⋮ Unnamed Item ⋮ Robust synthesis for real-time systems ⋮ Language Preservation Problems in Parametric Timed Automata ⋮ Testing membership for timed automata ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Relating syntactic and semantic perturbations of hybrid automata ⋮ Unnamed Item ⋮ Timed Automata Can Always Be Made Implementable ⋮ Decidable Classes of Unbounded Petri Nets with Time and Urgency ⋮ Entropy of regular timed languages ⋮ Monitoring timed properties (revisited)

Uses Software

• Uppaal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Minimum and maximum delay problems in real-time systems
• A calculus of communicating systems
• A calculus of durations
• A theory of timed automata
• Symbolic model checking for real-time systems
• PLC-automata: A new class of implementable real-time automata
• Dynamical properties of timed automata
• Almost ASAP semantics: from timed models to timed implementations
• Dynamical Properties of Timed Automata Revisited
• Symbolic Robustness Analysis of Timed Automata
• Robust Model-Checking of Linear-Time Properties in Timed Automata
• On the synthesis of discrete controllers for timed systems
• Robust Analysis of Timed Automata Via Channel Machines
• Hybrid Systems: Computation and Control
• Formal Modeling and Analysis of Timed Systems