Pages that link to "Item:Q5353268"
From MaRDI portal
The following pages link to Synthesis of Reactive Switching Protocols From Temporal Logic Specifications (Q5353268):
Displaying 23 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)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- On the existence of homoclinic orbits in \(n\)-dimensional piecewise affine systems (Q1690517) (← links)
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach (Q1690519) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Sampling polynomial trajectories for LTL verification (Q2055964) (← links)
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- A design of GPU-based quantitative model checking (Q2234091) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- First steps toward formal controller synthesis for bipedal robots with experimental implementation (Q2406959) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach (Q2677109) (← links)
- A Dynamical System for Prioritizing and Coordinating Motivations (Q3176278) (← links)
- Quantitative Model Checking for a Controller Design (Q5883583) (← links)
- Assured learning-enabled autonomy: a metacognitive reinforcement learning framework (Q6495305) (← links)
- A bounded model checking technique for discrete-time nonlinear systems (Q6546447) (← links)
- Symbolic solution of Emerson-Lei games for reactive synthesis (Q6629450) (← links)
