Abstract
A supervisor (of a continuous-time or hybrid system) is a controller in charge of modifying the input assigned by a user or set of users to a system, in order to enforce a given specification. This paper describes conditions under which multiple supervisors, designed to enforce different specifications, can be composed to obtain a supervisor enforcing the union of those specifications. As an application, we propose the composition of two supervisors, one enforcing collision avoidance of a large multiagent system, the other enforcing a second property, called sparsity, that allows efficient computation of the collision avoidance conditions.
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.
