Assume-Guarantee Synthesis of Decentralised Supervisory Control. Issue 28 (2022)

• Record Type: Journal Article
• Authors: Mainhardt, Ana Maria; Schmuck, Anne-Kathrin
• Is Part Of: IFAC-PapersOnLine. Volume 55:Issue 28(2022)
• Page Start: 165
• Page End: 172
• Publication Date: 2022
• Subjects: Supervisory Control -- Automata -- Decentralised Control -- Contract Negotiation; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2022.10.339
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: We address the problem of synthesising local supervisors for decentralised discrete event systems by designing a framework for the negotiation of assume-guarantee contracts. We set the theoretical foundations of contract-based supervisory control and establish the sufficient local conditions – as well as a method to verify and, if needed, enforce them – in order to guarantee nonconflict and cooperation among the synthesised local supervisors, which are also globally maximally permissive if those conditions are immediately satisfied. Our approach has a strong emphasis on information integrity: both during synthesis and execution, the dynamics of a subsystem are only partially observed by others through the events they actually share, without the communication of exclusively local events or the use of a coordinator for their supervisors. We have implemented our framework in Supremica and show preliminary experimental results.