Efficient Validation of Supervisory Controllers using Symmetry Reduction
| Autor: | Lars Moormann, Jacobus E. Rooda, Joanna M. van de Mortel-Fronczak, Patrick Maessen, Wan Fokkink, Martijn A. Goorden |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
validation
0209 industrial biotechnology Supervisor Computer science 020208 electrical & electronic engineering supervisory control Control engineering 02 engineering and technology Symmetry reduction system reduction Task (project management) 020901 industrial engineering & automation Supervisory control Control and Systems Engineering Control theory Component (UML) 0202 electrical engineering electronic engineering information engineering Automata theory Isomorphism control system synthesis |
| Zdroj: | IFAC-PapersOnLine. 53:288-295 |
| ISSN: | 2405-8963 |
| Popis: | Supervisory control synthesis is a method to automatically generate a correct-by-construction supervisory controller. Validation of the synthesized controller is an important step to guarantee correct and safe system behavior. Especially requirement validation for systems with numerous components can be a difficult and time-consuming task. This paper proposes a method that reduces the required validation time and effort of systems through symmetry reduction, and is based on the concept of isomorphism. Isomorphism of component models and requirement models means that these models are equivalent in behavior, and therefore only part of the system needs to be validated. This method is used in an industrial case study, in which a supervisory controller is synthesized for a road tunnel (the Koning Willem-Alexandertunnel, the Netherlands). In this case study, the modeling of the plant and the requirements, supervisor synthesis, simulation, and validation are described. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|