Pages that link to "Item:Q4645189"
From MaRDI portal
The following pages link to Hybrid automata with finite bisimulations (Q4645189):
Displaying 19 items.
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Model checking of systems with many identical timed processes (Q1853589) (← links)
- Hybrid action systems (Q1853618) (← links)
- Algorithmic analysis of programs with well quasi-ordered domains. (Q1854355) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- An Exercise on Transition Systems (Q2873687) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q4571977) (← links)
- Discrete-time control for rectangular hybrid automata (Q4571988) (← links)
- Uniformity for the decidability of hybrid automata (Q5030200) (← links)
- (Q5079750) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- Ensuring completeness of symbolic verification methods for infinite-state systems (Q5941104) (← links)
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems (Q5958118) (← links)
