Pages that link to "Item:Q5703920"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703920):
Displayed 4 items.
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916) (← links)
- Boolean-controlled systems via receding horizon and linear programing (Q661011) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Medium term scheduling of a hydro-thermal system using stochastic model predictive control (Q2440769) (← links)