Symbolic control design of nonlinear systems with outputs
DOI10.1016/J.AUTOMATICA.2019.108511zbMATH Open1429.93151OpenAlexW2967879006MaRDI QIDQ2280917FDOQ2280917
Authors: Giordano Pola, Alessandro Borri, Maria D. Di Benedetto 
Publication date: 19 December 2019
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2019.108511
Recommendations
- scientific article; zbMATH DE number 744078
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Approximately bisimilar symbolic models for nonlinear control systems
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
nonlinear systemsregular languagessupervisory controlsymbolic controlnonlinear output feedbackquantized systems
Feedback control (93B52) Nonlinear systems in control theory (93C10) Automated systems (robots, etc.) in control theory (93C85) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verification and Control of Hybrid Systems
- An Interior Trust Region Approach for Nonlinear Minimization Subject to Bounds
- Title not available (Why is that?)
- Linear Time Logic Control of Discrete-Time Linear Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Controller synthesis for safety and reachability via approximate bisimulation
- An Approximate Simulation Approach to Symbolic Control
- Approximate bisimulation: a bridge between computer science and control theory
- Low-complexity quantized switching controllers using approximate bisimulation
- Flocking and rendezvous in distributed robotics
- Integrated Design of Symbolic Controllers for Nonlinear Systems
- Language-Guided Controller Synthesis for Linear Systems
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems
- Title not available (Why is that?)
- Constructing control system abstractions from modular components
- Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
- Title not available (Why is that?)
- Design of Symbolic Controllers for Networked Control Systems
- Decentralized Supervisory Control of Networks of Nonlinear Control Systems
Cited In (10)
- Designing control systems using exact and symbolic manipulations of formulae
- Symbolic expression of transfer functions in compartmental systems with control
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Symbolic models for control systems
- Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
- Symbolic computation application for the design of linear multivariable control systems
- Approximate predictability of pseudo-metric systems
- Title not available (Why is that?)
- Design of Symbolic Controllers for Networked Control Systems
- BOCoSy: Small but Powerful Symbolic Output-Feedback Control
Uses Software
This page was built for publication: Symbolic control design of nonlinear systems with outputs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2280917)
