Pages that link to "Item:Q5281987"
From MaRDI portal
The following pages link to Linear Time Logic Control of Discrete-Time Linear Systems (Q5281987):
Displaying 36 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Bisimilarity enforcing supervisory control for deterministic specifications (Q463845) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Guaranteed global performance through local coordinations (Q540161) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Symbolic abstractions for nonlinear control systems via feedback refinement relation (Q2174020) (← links)
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions (Q2178216) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- A constructive approach to reachability realization of discrete-time switched linear systems (Q2382592) (← 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)
- Hierarchical hybrid symbolic robot motion planning and control (Q2789892) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Cooperative Tasking for Deterministic Specification Automata (Q2960122) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes (Q3624577) (← links)
- (Q4417982) (← links)
- (Q4736584) (← links)
- An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications (Q4897712) (← links)
- Quantitative Model Checking for a Controller Design (Q5883583) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)
- A bounded model checking technique for discrete-time nonlinear systems (Q6546447) (← links)
