Dynamical properties of timed automata
From MaRDI portal
Publication:1975199
DOI10.1023/A:1008387132377zbMath0986.93042OpenAlexW1878074184MaRDI QIDQ1975199
Publication date: 13 June 2002
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008387132377
Discrete event control/observation systems (93C65) Dynamical aspects of cellular automata (37B15) Topological dynamics of nonautonomous systems (37B55)
Related Items (22)
On Implementable Timed Automata ⋮ Robust Model-Checking of Timed Automata via Pumping in Channel Machines ⋮ Thin and Thick Timed Regular Languages ⋮ Conformance testing for real-time systems ⋮ Shrinking timed automata ⋮ Predictable real-time software synthesis ⋮ Testing membership for timed automata ⋮ Optimal controller synthesis for timed systems ⋮ Optimal Reachability in Divergent Weighted Timed Games ⋮ Distributed Timed Automata with Independently Evolving Clocks ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Relating syntactic and semantic perturbations of hybrid automata ⋮ Safety verification of non-linear hybrid systems is quasi-decidable ⋮ Computing maximally-permissive strategies in acyclic timed automata ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Combining free choice and time in Petri nets ⋮ Timed Automata Can Always Be Made Implementable ⋮ Decidable Classes of Unbounded Petri Nets with Time and Urgency ⋮ Robust safety of timed automata ⋮ Safe Runtime Verification of Real-Time Properties ⋮ Entropy of regular timed languages ⋮ A maximal entropy stochastic process for a timed automaton
Uses Software
This page was built for publication: Dynamical properties of timed automata
