Pages that link to "Item:Q1323313"
From MaRDI portal
The following pages link to From ATP to timed graphs and hybrid systems (Q1323313):
Displaying 18 items.
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- A theory of processes with durational actions (Q674005) (← links)
- Models for reactivity (Q1323323) (← links)
- On the computational power of dynamical systems and hybrid systems (Q1349871) (← links)
- Time-abstracted bisimulation: Implicit specifications and decidability (Q1363777) (← links)
- On the rational behaviors of concurrent timers (Q1389687) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- Trajectory encoding for systems with irregular observations (Q1892998) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- On some relations between dynamical systems and transition systems (Q4632416) (← links)
- Automatic synthesis of real time systems (Q4645208) (← links)
- Efficient scaling-invariant checking of timed bisimulation (Q5047170) (← links)
- Symbolic timing devices (Q5096403) (← links)
