Existence characterizations of temporal-safety supervisors

DOI10.1109/TAC.2002.803562MaRDI QIDQ5267069zbMATH OpenFDO

Authors Kiam Tian Seow

Publication date 20 June 2017

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

Mathematics Subject Classification ID

Controllability (93B05) Discrete event control/observation systems (93C65)

Cited in

(2)

• Syntax-based synthesis for temporal-safety supervision
• A polynomial dynamic system approach to software design for attractivity requirement

This page was built for publication: Existence characterizations of temporal-safety supervisors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5267069)