A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

From MaRDI portal
Publication:2983297

DOI10.1109/TAC.2013.2283109zbMath1360.93433OpenAlexW1994917823MaRDI QIDQ2983297

Robi Malik, Sahar Mohajerani, Martin Fabian

Publication date: 16 May 2017

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

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




Related Items (12)


Uses Software



This page was built for publication: A Framework for Compositional Synthesis of Modular Nonblocking Supervisors