Symbolic models for control systems
From MaRDI portal
Recommendations
- Symbolic Models for Networks of Control Systems
- scientific article; zbMATH DE number 1252488
- Symbolic models for nonlinear control systems affected by disturbances
- Integrated Design of Symbolic Controllers for Nonlinear Systems
- Symbolic Control of Linear Systems Based on Symbolic Subsystems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- scientific article; zbMATH DE number 2000427
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Designing control systems using exact and symbolic manipulations of formulae
- Symbolic control design of nonlinear systems with outputs
Cites work
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1303062 (Why is no real title available?)
- scientific article; zbMATH DE number 1100439 (Why is no real title available?)
- scientific article; zbMATH DE number 1182386 (Why is no real title available?)
- scientific article; zbMATH DE number 1956650 (Why is no real title available?)
- scientific article; zbMATH DE number 2085322 (Why is no real title available?)
- scientific article; zbMATH DE number 2085336 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A theory of timed automata
- An implementation of an efficient algorithm for bisimulation equivalence
- An invariant-based approach to the design of hybrid control systems
- Bisimilar control affine systems
- Bisimilar linear systems.
- Bisimulation relations for dynamical, control, and hybrid systems
- Discrete approximation and supervisory control of continuous systems
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
- Hierarchical hybrid control systems: a lattice theoretic formulation
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
- Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
- Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings
- Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.
- Linear Time Logic Control of Discrete-Time Linear Systems
- Machines in a Category: An Expository Introduction
- O-minimal hybrid systems.
- On the reachability of quantized control systems
- Qualitative modelling of linear dynamical systems with quantized state measurements
- Realization is universal
- Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
- The algorithmic analysis of hybrid systems
- Three Partition Refinement Algorithms
- What's decidable about hybrid automata?
Cited in
(14)- Symbolic manipulation techniques for model simplification in object-oriented modelling of large scale continuous systems
- Asynchronous l-complete approximations
- Approximate simulation relations for hybrid systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Designing control systems using exact and symbolic manipulations of formulae
- Symbolic expression of transfer functions in compartmental systems with control
- Symbolic models for nonlinear control systems affected by disturbances
- Computer symbolic transformations in control problems
- Modelling of engineering phenomena by finite automata
- scientific article; zbMATH DE number 829784 (Why is no real title available?)
- scientific article; zbMATH DE number 3932904 (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
- Symbolic Abstractions of Networked Control Systems
This page was built for publication: Symbolic models for control systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q868433)