Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints

Ami Sakakibara, Toshimitsu Ushio
May 2018
Cite
Type
Conference paper
Publication
Proc. 14th Workshop on Discrete Event Systems