Partial-Order Reduction for Supervisory Controller Synthesis

DOI10.1109/TAC.2021.3129161OpenAlexW3216826351MaRDI QIDQ5034078

Bram van der Sanden, Marc Geilen, Twan Basten, Michel 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)

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