Partial-Order Reduction for Supervisory Controller Synthesis

DOI10.1109/TAC.2021.3129161MaRDI QIDQ5034078zbMATH OpenOpenAlexFDO

Authors Bram van der Sanden, Marc Geilen, T. Basten, Michel A. Reniers

Publication date 24 February 2022

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

Full work available at URL https://doi.org/10.1109/tac.2021.3129161

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(2)

• Symbolic observation graph-based generation of test paths
• Offline supervisory control synthesis: taxonomy and recent developments

This page was built for publication: Partial-Order Reduction for Supervisory Controller Synthesis

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