Symbolic Control of Linear Systems Based on Symbolic Subsystems

DOI10.1109/TAC.2006.876946MaRDI QIDQ5281864zbMATH OpenFDO

Authors Paulo Tabuada

Publication date 27 July 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

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 control design of incrementally stable nonlinear systems with dynamic regular language specifications
• Symbolic computation application for the design of linear multivariable control systems
• Symbolic expression of transfer functions in compartmental systems with control
• Symbolic models for 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)