Pages that link to "Item:Q2986982"
From MaRDI portal
The following pages link to Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982):
Displaying 14 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems (Q2945585) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Control problems in a temporal logic framework (Q3745691) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- (Q4733389) (← links)
- Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems (Q6077088) (← links)
