Integrated Design of Symbolic Controllers for Nonlinear Systems
From MaRDI portal
Publication:5352729
DOI10.1109/TAC.2011.2164740zbMATH Open1369.93255MaRDI QIDQ5352729FDOQ5352729
Authors: Alessandro Borri, Maria D. Di Benedetto, Giordano Pola 
Publication date: 8 September 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Nonlinear systems in control theory (93C10)
Cited In (17)
- Lazy Abstraction-Based Controller Synthesis
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks
- Designing control systems using exact and symbolic manipulations of formulae
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Symbolic models for nonlinear control systems affected by disturbances
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Symbolic models for control systems
- Symbolic computation application for the design of linear multivariable control systems
- Symbolic control design of nonlinear systems with outputs
- Title not available (Why is that?)
- Design of Symbolic Controllers for Networked Control Systems
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Finite horizon discrete models for multi-agent control systems with coupled dynamics
- Symbolic realization of asymptotic time-scale and eigenstructure assignment design method in multivariable control
This page was built for publication: Integrated Design of Symbolic Controllers for Nonlinear Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5352729)
