Summary
International Technical Conference on Circuits/Systems, Computers and Communications
2016
Session Number:M2-1
Session:
Number:M2-1-3
Supervisory Control of Concurrent Discrete Event Systems with Local Linear Temporal Logic Specifications
Ami Sakakibara, Toshimitsu Ushio ,
pp.125-128
Publication Date:2016/7/10
Online ISSN:2188-5079
DOI:10.34385/proc.61.M2-1-3
PDF download (900KB)
Summary:
We consider a concurrent discrete event system consisting of N subsystems, where each subsystem has its local specification described by a linear temporal logic formula. We propose an algorithm to synthesize a supervisor for the concurrent system such that each subsystem satisfies a given linear temporal logic formula, and any subsystem never reaches a deadlock state.