Integrated Design of Symbolic Controllers for Nonlinear Systems
From MaRDI portal
Publication:5352729
Cited in
(17)- Symbolic realization of asymptotic time-scale and eigenstructure assignment design method in multivariable control
- 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
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Symbolic models for nonlinear control systems affected by disturbances
- 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
- scientific article; zbMATH DE number 6382920 (Why is no real title available?)
- 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
- Lazy abstraction-based controller synthesis
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)
