Existence characterizations of temporal-safety supervisors

DOI10.1109/TAC.2002.803562zbMATH Open1364.93484MaRDI QIDQ5267069FDOQ5267069

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)