Pages that link to "Item:Q2986756"
From MaRDI portal
The following pages link to Language-guided controller synthesis for discrete-time linear systems (Q2986756):
Displaying 12 items.
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- Temporal logic model predictive control (Q889006) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Data-driven controller synthesis for abstract systems with regular language specifications (Q2665709) (← links)
- Temporal logic model predictive control for discrete-time systems (Q2986939) (← links)
- SCOTS (Q2988967) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Language convergence in controlled discrete-event systems (Q4841514) (← links)
- Quantitative Model Checking for a Controller Design (Q5883583) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)