A survey on compositional algorithms for verification and synthesis in supervisory control.

Published in: Discret. Event Dyn. Syst. (2023)

Keyphrases