Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints. Issue 7 (2018)

• Record Type: Journal Article
• Authors: Sakakibara, Ami; Ushio, Toshimitsu
• Is Part Of: IFAC-PapersOnLine. Volume 51:Issue 7(2018)
• Page Start: 7
• Page End: 12
• Publication Date: 2018
• Subjects: Mealy automata -- hierarchical control -- reduction -- linear temporal logic -- Rabin games; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2018.06.271
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: In this paper, we consider a control problem of a concurrent discrete event system modeled by a Mealy automaton, where several subsystems are partially synchronized via shared events. We impose to the system local and global constraints described by linear temporal logic formulas. We propose hierarchical control architecture consisting of local supervisors and a coordinator. By a game-based approach, we synthesize a controller that guarantees the specifications of both levels.