The following pages link to Updatable timed automata (Q1885906):
Displaying 25 items.
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- On the initialization of clocks in timed formalisms (Q1989329) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Decidability and complexity of action-based temporal planning over dense time (Q2124463) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels (Q2945582) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Updatable Timed Automata with Additive and Diagonal Constraints (Q3507456) (← links)
- MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)
- (Q4989408) (← links)
- (Q5021008) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
