Pages that link to "Item:Q4645189"
From MaRDI portal
The following pages link to Hybrid automata with finite bisimulations (Q4645189):
Displaying 26 items.
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Reduction of timed hybrid systems (Q1273542) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← 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)
- Quasi-dependent variables in hybrid automata (Q2986955) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- (Q3692877) (← 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)
- From finite automata toward hybrid systems (Extended abstract) (Q5055953) (← 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)
- State equivalences for rectangular hybrid automata (Q6162103) (← links)
