Supervisory Control of Concurrent Discrete Event Systems with Local Linear Temporal Logic Specifications

Ami Sakakibara, Toshimitsu Ushio

July 2016

Type

Conference paper

Publication

Proc. 31st Int. Tech. Conf. Circuits/Systems, Comput. Commun. (ITC-CSCC 2016)