References & Citations
Electrical Engineering and Systems Science > Systems and Control
Title: Using Subobservers to Synthesize Opacity-Enforcing Supervisors
(Submitted on 8 Oct 2021 (v1), last revised 8 Aug 2022 (this version, v4))
Abstract: In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states. This results in practical difficulties since some problems require calculating multiple observers for a changing system, e.g., synthesizing an opacity-enforcing supervisor. Although calculating these observers in an iterative manner allows us to synthesize an opacity-enforcing supervisor and although methods have been proposed to reduce the computational demands, room exists for a practical and intuitive solution. Here we extend the subautomaton relationship to the notion of a subobserver and demonstrate its use in reducing the computations required for iterated observer calculations. We then demonstrate the subobserver relationship's power by simplifying state-of-the-art synthesis approaches for opacity-enforcing supervisors under realistic assumptions.
Submission history
From: Richard Hugh Moulton [view email][v1] Fri, 8 Oct 2021 18:52:44 GMT (357kb)
[v2] Tue, 8 Feb 2022 14:42:56 GMT (358kb)
[v3] Wed, 16 Mar 2022 14:34:31 GMT (357kb)
[v4] Mon, 8 Aug 2022 13:16:38 GMT (378kb)
Link back to: arXiv, form interface, contact.