Ami SAKAKIBARA


Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications
Ami SAKAKIBARA Toshimitsu USHIO 
Publication:   
Publication Date: 2018/02/01
Vol. E101-A  No. 2  pp. 313-321
Type of Manuscript:  INVITED PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
concurrent discrete event systemscoordinatorhierarchical supervisory controllinear temporal logicRabin games
 Summary | Full Text:PDF(1.1MB)