Symbolic models for control systems
From MaRDI portal
Publication:868433
DOI10.1007/S00236-006-0036-6zbMATH Open1134.93003OpenAlexW2130578594MaRDI QIDQ868433FDOQ868433
Authors: Paulo Tabuada 
Publication date: 5 March 2007
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-006-0036-6
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
- A theory of timed automata
- Title not available (Why is that?)
- What's decidable about hybrid automata?
- Bisimilar linear systems.
- O-minimal hybrid systems.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bisimilar control affine systems
- Three Partition Refinement Algorithms
- The algorithmic analysis of hybrid systems
- Title not available (Why is that?)
- Linear Time Logic Control of Discrete-Time Linear Systems
- An implementation of an efficient algorithm for bisimulation equivalence
- Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
- Hybrid Systems: Computation and Control
- Bisimulation relations for dynamical, control, and hybrid systems
- Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
- Title not available (Why is that?)
- Discrete approximation and supervisory control of continuous systems
- Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.
- Qualitative modelling of linear dynamical systems with quantized state measurements
- Hybrid Systems: Computation and Control
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
- An invariant-based approach to the design of hybrid control systems
- Machines in a Category: An Expository Introduction
- On the reachability of quantized control systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Realization is universal
- Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
- Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings
- Hierarchical hybrid control systems: a lattice theoretic formulation
- Title not available (Why is that?)
Cited In (13)
- 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
- Title not available (Why is that?)
- 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
- 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)
