Supervisory control synthesis of timed automata using forcible events

DOI10.1109/TAC.2023.3275440MaRDI QIDQ6575784zbMATH OpenFDO

Authors Aida Rashidinejad, Michel A. Reniers, M. Fabian

Publication date 21 July 2024

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

This page was built for publication: Supervisory control synthesis of timed automata using forcible events

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