The following pages link to STORMED Hybrid Systems (Q3519497):
Displaying 9 items.
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- A decidable class of planar linear hybrid systems (Q2257303) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Deciding Concurrent Planar Monotonic Linear Hybrid Systems (Q2945600) (← links)
- STORMED Hybrid Systems (Q3519497) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
