Integrated Design of Symbolic Controllers for Nonlinear Systems
From MaRDI portal
Cited in
(18)- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- 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
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- scientific article; zbMATH DE number 6382920 (Why is no real title available?)
- Lazy abstraction-based controller synthesis
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Design of Symbolic Controllers for Networked Control Systems
- Symbolic models for nonlinear control systems affected by disturbances
- Designing control systems using exact and symbolic manipulations of formulae
- 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
- Decentralized control of finite state systems: a game theoretic approach
- Symbolic models for control systems
- Symbolic computation application for the design of linear multivariable control systems
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)
