Pages that link to "Item:Q5307470"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307470):
Displayed 19 items.
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Bounds on sizes of finite bisimulations of Pfaffian dynamical systems (Q1015374) (← links)
- Computing combinatorial types of trajectories in Pfaffian dynamics (Q1044670) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- Decidable Compositions of O-Minimal Automata (Q3540076) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- Property Driven Three-Valued Model Checking on Hybrid Automata (Q3638286) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)
- (Q5021008) (← links)
- (Q5079750) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)
- A note on the undecidability of the reachability problem for o-minimal dynamical systems (Q5469108) (← links)
- Relaxing Goodness Is Still Good (Q5505608) (← links)