Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors

In this article, we investigate the enforcement of opacity via supervisory control in the context of discrete-event systems. A system is said to be opaque if the intruder, which is modeled as a passive observer, can never infer confidently that the system is at a secret state. The design objective i...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE transactions on automatic control Ročník 67; číslo 12; s. 6567 - 6582
Hlavní autoři:	Xie, Yifan, Yin, Xiang, Li, Shaoyuan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.12.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Aerospace electronics Algorithms Closed loop systems Closed loops Control systems Discrete event systems Discrete-event systems (DES) Dynamical systems Feedback control Observers Opacity Security Supervisors Supervisory control Synthesis
ISSN:	0018-9286, 1558-2523
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!