Pages that link to "Item:Q2988916"
From MaRDI portal
The following pages link to Efficient finite abstraction of mixed monotone systems (Q2988916):
Displaying 14 items.
- Stability of traffic flow networks with a polytree topology (Q254598) (← links)
- Symbolic control design for monotone systems with directed specifications (Q1679067) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Lazy controller synthesis for monotone transition systems and directed safety specifications (Q2059378) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Application of the Hirsch Generic Convergence Statement to the Set‐Point Regulation of Excitable‐Transparent‐Monotone Systems (Q5213924) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Synthesis of event-triggered controllers for SIRS epidemic models (Q6122802) (← links)
- A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties (Q6535676) (← links)
