Symbolic Control of Linear Systems Based on Symbolic Subsystems

DOI10.1109/TAC.2006.876946zbMath1366.93392MaRDI QIDQ5281864

Paulo Tabuada

Publication date: 27 July 2017

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

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Robust stutter bisimulation for abstraction and controller synthesis with disturbance

This page was built for publication: Symbolic Control of Linear Systems Based on Symbolic Subsystems