Symbolic control design of nonlinear systems with outputs

DOI10.1016/J.AUTOMATICA.2019.108511MaRDI QIDQ2280917zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

nonlinear systemsregular languagessupervisory controlsymbolic controlnonlinear output feedbackquantized systems

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 4044987 (Why is no real title available?)
• scientific article; zbMATH DE number 3579922 (Why is no real title available?)
• scientific article; zbMATH DE number 1182386 (Why is no real title available?)
• scientific article; zbMATH DE number 1958322 (Why is no real title available?)
• scientific article; zbMATH DE number 1487476 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• scientific article; zbMATH DE number 6936882 (Why is no real title available?)
• An Approximate Simulation Approach to Symbolic Control
• An Interior Trust Region Approach for Nonlinear Minimization Subject to Bounds
• Approximate bisimulation: a bridge between computer science and control theory
• Constructing control system abstractions from modular components
• Controller synthesis for safety and reachability via approximate bisimulation
• Decentralized Supervisory Control of Networks of Nonlinear Control Systems
• Design of Symbolic Controllers for Networked Control Systems
• Flocking and rendezvous in distributed robotics
• Integrated Design of Symbolic Controllers for Nonlinear Systems
• Language-Guided Controller Synthesis for Linear Systems
• Linear Time Logic Control of Discrete-Time Linear Systems
• Low-complexity quantized switching controllers using approximate bisimulation
• Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Temporal Logic Control of Discrete-Time Piecewise Affine Systems
• Verification and Control of Hybrid 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
• scientific article; zbMATH DE number 744078 (Why is no real title available?)
• Design of Symbolic Controllers for Networked Control Systems
• BOCoSy: Small but Powerful Symbolic Output-Feedback Control

Describes a project that uses

Uses Software

• JFLAP
• UMDES

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)