Pages that link to "Item:Q5898969"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898969):
Displaying 8 items.
- Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets (Q255791) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Discrete-time hybrid control in Borel spaces: average cost optimality criterion (Q1746693) (← links)
- Discrete-time hybrid control in Borel spaces (Q1987330) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Safe and Secure Networked Control Systems under Denial-of-Service Attacks (Q3624559) (← links)
