Symbolic Control of Linear Systems Based on Symbolic Subsystems
From MaRDI portal
Publication:5281864
DOI10.1109/TAC.2006.876946zbMATH Open1366.93392MaRDI QIDQ5281864FDOQ5281864
Authors: Paulo Tabuada 
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems involving computers (process control, etc.) (93C83)
Cited In (5)
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance
- Symbolic expression of transfer functions in compartmental systems with control
- 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
This page was built for publication: Symbolic Control of Linear Systems Based on Symbolic Subsystems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5281864)
