Efficient failure-recovering supervisors
| Autor: | L. Swartjes, J.M. van de Mortel-Fronczak, N. Paape, Michel A. Reniers |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
0209 industrial biotechnology
Mathematical optimization Supervisor Computer science 020208 electrical & electronic engineering Fault tolerance 02 engineering and technology Extension (predicate logic) 020901 industrial engineering & automation Supervisor synthesis Supervisory control Control and Systems Engineering Discrete-event systems Shortest path problem 0202 electrical engineering electronic engineering information engineering Failure recovery |
| Zdroj: | IFAC-PapersOnLine. 53(2):1755-1762 |
| ISSN: | 2405-8963 |
| Popis: | Automated systems require controllers which guarantee machine safety and specified functionality even in case of occurring defects. In literature, several methods can be found for formally deriving a supervisor providing such guarantees, including the existence of failure recovery. In this paper, an extension is proposed so that the derived supervisor not only guarantees the existence of failure recovery, but also enforces a shortest path for it. To this end, a two-step procedure is defined for supervisor derivation, in which two algorithms are involved. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|