onr:"swepub:oai:research.chalmers.se:af0ffe7a-0d4b-49db-9e30-152bf89812fe"
Search: onr:"swepub:oai:research.chalmers.se:af0ffe7a-0d4b-49db-9e30-152bf89812fe" > Model properties fo...
- 1 of 1
- Previous record
- Next record
- To hitlist
Model properties for efficient synthesis of nonblocking modular supervisors
-
- Goorden, Martijn (author)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
-
- van de Mortel-Fronczak, Joanna M. (author)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
-
- Reniers, Michel A. (author)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
- show more...
- show less...
- (creator_code:org_t)
- Elsevier BV, 2021
- 2021
- English.
- In: Control Engineering Practice. - : Elsevier BV. - 0967-0661. ; 112
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements. The applicability of supervisory control theory often fails due to a lack of scalability of the algorithms. This paper proposes a format for the requirements and a method to ensure that the crucial properties of controllability and nonblockingness directly hold, thus avoiding the most computationally expensive parts of synthesis. The method consists of creating a control problem dependency graph and verifying whether it is acyclic. Vertices of the graph are modular plant components, and edges are derived from the requirements. In case of a cyclic graph, potential blocking issues can be localized, so that the original control problem can be reduced to only synthesizing supervisors for smaller partial control problems. The strength of the method is illustrated on two case studies: a production line and a roadway tunnel.
Subject headings
- NATURVETENSKAP -- Matematik -- Beräkningsmatematik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Computational Mathematics (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Robotteknik och automation (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Robotics (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Keyword
- Finite automata
- Supervisory control
- Directed graph
Publication and Content Type
- art (subject category)
- ref (subject category)
Find in a library
- Control Engineering Practice (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Goorden, Martijn
- van de Mortel-Fr ...
- Reniers, Michel ...
- Fabian, Martin, ...
- Fokkink, Wan J.
- Rooda, Jacobus E ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Mathematics
- and Computational Ma ...
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Robotics
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Control Engineer ...
- Articles in the publication
- Control Engineer ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
