Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this letter, we consider systems that evolve over time. We study how to reuse the results from a previous supervisor localization, to more efficiently compute local supervisors when the system is adapted. We call this approach transformational supervisor localization, and present algorithms for the procedure. The efficiency of the procedure is experimentally evaluated.</p
Automated systems require controllers which guarantee machine safety and specified functionality eve...
A supervisory controller controls and coordinates the behavior of different components of a complex ...
Our society\u27s reliance on computer-controlled systems is rapidly growing. Such systems are found ...
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors....
In supervisor synthesis achieving nonblockingness is a major computational challenge when a target s...
Supervisory controller synthesis is a means to compute correct-by-construction controllers for discr...
Supervisory controller synthesis is a means to compute correct-by-construction controllers for discr...
To make a supervisor comprehensible to a designer has been a long-standing goal in the supervisory c...
n recent years, owing to important improvements, the applicability of supervisor synthesis has signi...
Achieving nonblockingness in supervisory control imposes a major challenge when the number of states...
This working paper proposes a framework to obtain memory-efficient supervisors for large discrete ev...
This paper discusses a method to distribute a synthesized supervisor for implementation on multiple ...
Automated systems require controllers which guarantee machine safety and specified functionality eve...
A supervisory controller controls and coordinates the behavior of different components of a complex ...
Our society\u27s reliance on computer-controlled systems is rapidly growing. Such systems are found ...
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors....
In supervisor synthesis achieving nonblockingness is a major computational challenge when a target s...
Supervisory controller synthesis is a means to compute correct-by-construction controllers for discr...
Supervisory controller synthesis is a means to compute correct-by-construction controllers for discr...
To make a supervisor comprehensible to a designer has been a long-standing goal in the supervisory c...
n recent years, owing to important improvements, the applicability of supervisor synthesis has signi...
Achieving nonblockingness in supervisory control imposes a major challenge when the number of states...
This working paper proposes a framework to obtain memory-efficient supervisors for large discrete ev...
This paper discusses a method to distribute a synthesized supervisor for implementation on multiple ...
Automated systems require controllers which guarantee machine safety and specified functionality eve...
A supervisory controller controls and coordinates the behavior of different components of a complex ...
Our society\u27s reliance on computer-controlled systems is rapidly growing. Such systems are found ...