Pages that link to "Item:Q5352729"
From MaRDI portal
The following pages link to Integrated Design of Symbolic Controllers for Nonlinear Systems (Q5352729):
Displaying 17 items.
- Symbolic models for control systems (Q868433) (← links)
- Symbolic computation application for the design of linear multivariable control systems (Q908695) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications (Q2665343) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- (Q2935599) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- Design of Symbolic Controllers for Networked Control Systems (Q4629861) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
- Designing control systems using exact and symbolic manipulations of formulae (Q5423855) (← links)
- Symbolic realization of asymptotic time-scale and eigenstructure assignment design method in multivariable control (Q5423859) (← links)
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks (Q6052175) (← links)
