Supervisory control synthesis of timed automata using forcible events

DOI10.1109/TAC.2023.3275440zbMATH Open1546.93478MaRDI QIDQ6575784FDOQ6575784

Michel A. Reniers, M. Fabian, Aida Rashidinejad

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)