Fokkink, Wan J.

Moormann, Lars

Rooda, J.E. (Koos)

van de Mortel-Fronczak, J.M. (Asia)

English

Pure OAI Repository

 Model reduction for supervisor synthesisCitation for published version (APA):Moormann, L., van de Mortel-Fronczak, J. M., Fokkink, W. J., & Rooda, J. E. (2020). Model reduction forsupervisor synthesis. In R. Carloni, B. Jayawardhana, & E. Lefeber (Eds.), 39th Benelux Meeting on Systemsand Control : Book of Abstracts (pp. 82-82). University of Groningen.https://www.beneluxmeeting.nl/2020/uploads/papers/boa.pdfDocument status and date:Published: 01/03/2020Document Version:Typeset version in publisher’s lay-out, without final page, issue and volume numbersPlease check the document version of this publication:• A submitted manuscript is the version of the article upon submission and before peer-review. There can beimportant differences between the submitted version and the official published version of record. Peopleinterested in the research are advised to contact the author for the final version of the publication, or visit theDOI to the publisher's website.• The final author version and the galley proof are versions of the publication after peer review.• The final published version features the final layout of the paper including the volume, issue and pagenumbers.Link to publicationGeneral rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright ownersand it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.            • Users may download and print one copy of any publication from the public portal for the purpose of private study or research.            • You may not further distribute the material or use it for any profit-making activity or commercial gain            • You may freely distribute the URL identifying the publication in the public portal.If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, pleasefollow below link for the End User Agreement:www.tue.nl/taverneTake down policyIf you believe that this document breaches copyright please contact us at:openaccess@tue.nlproviding details and we will investigate your claim.Download date: 05. Oct. 2023Model reduction for supervisor synthesisL. Moormann1, J.M. van de Mortel - Fronczak1, W.J. Fokkink2, J.E. Rooda11Eindhoven University of Technology and 2Vrije Universiteit Amsterdaml.moormann@tue.nl1 IntroductionThe design of supervisory controllers for cyber-physical sys-tems is an increasingly complex task due to the rising de-mand for functionality and safety. Through the use of for-mal methods, such as synthesis-based engineering, correctby construction supervisory controllers can be synthesized.To perform synthesis, first a discrete-event model is createdthat specifies what the system can do. This model is calledthe plant. Second, requirement models are created to specifywhat the system may do.In [1], it is shown that under certain conditions the modelscan be reduced before synthesis, or that synthesis can beskipped entirely. In this work, the method presented thereis extended to further reduce the plant and the requirementmodels, subsequently the method is applied in a case study.2 MethodThe method of [1] uses directed graphs, such as the oneshown in Figure 1. In this graph, the vertices indicate com-ponents of the plant models and edges indicate dependen-cies between these components. The edges are based onthe requirement models: there is an edge from the vertex ofcomponent A to the vertex of component B if there existsa requirement for component B that depends on componentA. Cycles in the graph are indicated with red arrows. In[1], it is shown that synthesis can be skipped if the directedgraph of a system contains no overlapping extended stronglyconnected components. Furthermore, if synthesis is needed,then all vertices without outgoing edges can be omitted dur-ing synthesis.Models that contain dependency cycles can be reduced fur-ther by using the theory from [2]. In [2], symmetry is for-mally defined for discrete-event systems for the purpose ofmodel reduction. This definition can be applied to the di-rected graphs of [1]. If the component models and require-ment models of two vertices are symmetric, only one vertexneeds to be included during synthesis. If synthesis for thereduced model does not add any new restrictions, then syn-thesis can be skipped entirely for the complete system.3 ResultsThe proposed method has been applied to a case study inwhich a supervisory controller is designed for the EersteHeinenoordtunnel (EHT), a roadway tunnel in the Nether-lands. Figure 1 shows the initial graph of this model. Thisinitial graph contains 369 vertices and 413 edges.Figure 1: Directed graph of the initial EHT model.First, the method from [1] is applied to reduce the modelto 51 vertices and 73 edges. Second, the addition to thismethod is applied to reduce the model further to 21 verticesand 28 edges. Figure 2 shows this reduced graph.Figure 2: Directed graph of the reduced EHT model.An attempt has been made to synthesize supervisors for thethree models. Due to memory issues, no supervisor could besynthesized for the initial model. After model reduction, asupervisor has been synthesized for the two reduced models.4 Conclusions and future workA method has been proposed to extend the model reductionmethod of [1] for the purpose of supervisor synthesis. Thismethod has been applied successfully to a case study. Fu-ture research will focus on possibilities to further reduce thenumber of vertices and edges in the model.AcknowledgmentsThe authors like to thank Rijkswaterstaat for funding thisresearch. Specifically we thank Patrick Maessen and PascalEtman for their support in this project.References[1] M.A. Goorden et al., “Model properties for nonblock-ing modular supervisors”, Submitted to IEEE Transactionson Control Systems Technology[2] L. Moormann et al., “Efficient validation of supervi-sory controllers using symmetry reduction”, Submitted toWorkshop on Discrete Event Systems 2020

Model reduction for supervisor synthesis

https://pure.tue.nl/ws/files/164578217/Moormann_2020_Benelux_Model_Reduction_for_Supervisor_Synthesis.pdf

Model reduction for supervisor synthesis

Abstract

Similar works

Full text

Available Versions

Pure OAI Repository