research
∙
09/05/2021
K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations
Opacity is a property expressing whether a system may reveal its secret ...
share
research
∙
12/16/2019
Conditions for Hierarchical Supervisory Control under Partial Observation
The fundamental problem in hierarchical supervisory control under partia...
research
∙
07/29/2019
Partially Ordered Automata and Piecewise Testability
Universality is the question whether a system recognizes all words over ...
research
∙
02/06/2018