Pages that link to "Item:Q5352883"

The following pages link to Symbolic Models for Nonlinear Control Systems Without Stability Assumptions (Q5352883):

Displaying 36 items.

• Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
• Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (Q513177) (← links)
• Symbolic approximate time-optimal control (Q533800) (← links)
• Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← 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)
• Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
• Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
• Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
• On the timed temporal logic planning of coupled multi-agent systems (Q1716548) (← links)
• Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
• On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
• Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
• Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
• Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
• Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
• Approximate predictability of pseudo-metric systems (Q2178224) (← links)
• Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
• PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
• Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (Q2230844) (← 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 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)
• First steps toward formal controller synthesis for bipedal robots with experimental implementation (Q2406959) (← links)
• Contraction theory on Riemannian manifolds (Q2446818) (← links)
• Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← 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)
• Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities (Q2665719) (← links)
• Abstraction-based control synthesis using partial information (Q2667508) (← links)
• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
• Approximate current state observability of discrete-time nonlinear systems under cyber-attacks (Q6052175) (← links)
• Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)