Formal Modeling and Synthesis of State-Transferring Communication among Decentralized Supervisors for Discrete-Event Systems (I).

Amin Mannani, Peyman Gohari

Browse the full SMC paper archive.