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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
