Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
From MaRDI portal
Publication:5352883
DOI10.1109/TAC.2011.2176409zbMath1369.93002arXiv1002.0822OpenAlexW2169289043MaRDI QIDQ5352883
Manuel jun. Mazo, Majid Zamani, Paulo Tabuada, Giordano Pola
Publication date: 8 September 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1002.0822
Related Items (40)
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ First steps toward formal controller synthesis for bipedal robots with experimental implementation ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Approximate predictability of pseudo-metric systems ⋮ Abstraction-based control synthesis using partial information ⋮ Approximate current state observability of discrete-time nonlinear systems under cyber-attacks ⋮ OmegaThreads ⋮ Towards scalable synthesis of stochastic control systems ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ Robust stutter bisimulation for abstraction and controller synthesis with disturbance ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ PuRSUE -- from specification of robotic environments to synthesis of controllers ⋮ Bisimulations of Boolean Control Networks ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ AROC ⋮ On the timed temporal logic planning of coupled multi-agent systems ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Contraction theory on Riemannian manifolds ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay ⋮ Supervisory control for collision avoidance in vehicular networks using discrete event abstractions ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Symbolic approximate time-optimal control ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Learning-based symbolic abstractions for nonlinear control systems
This page was built for publication: Symbolic Models for Nonlinear Control Systems Without Stability Assumptions