Pages that link to "Item:Q6053240"
From MaRDI portal
The following pages link to A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems (Q6053240):
Displaying 7 items.
- Verification of \(N\)-\(M\) switching control system: a case study in temporal logic model checking (Q2922712) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications (Q3523135) (← links)
- Control problems in a temporal logic framework (Q3745691) (← links)
- (Q4733389) (← links)
- Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems (Q6077088) (← links)