Decentralized supervisory control with intersection-based architecture
X Yin, S Lafortune - IEEE Transactions on Automatic Control, 2016 - ieeexplore.ieee.org
We investigate a new decentralized control architecture, called intersection-based
architecture. We propose a decentralized control protocol under this architecture, called …
architecture. We propose a decentralized control protocol under this architecture, called …
A correspondence between control and observation problems in decentralized discrete-event systems
This paper demonstrates a correspondence between control problems (with partial
observation) and observation problems in decentralized discrete-event systems, namely, the …
observation) and observation problems in decentralized discrete-event systems, namely, the …
[PDF][PDF] Estimation and verification of partially-observed discrete-event systems
X Yin - arXiv preprint arXiv:1903.11413, 2019 - arxiv.org
arXiv:1903.11413v1 [cs.SY] 27 Mar 2019 Page 1 Encyclopedia of Electrical and Electronics
Engineering Estimation and Verification of Partially-Observed Discrete-Event Systems Xiang Yin …
Engineering Estimation and Verification of Partially-Observed Discrete-Event Systems Xiang Yin …
[HTML][HTML] Multi-decision diagnosis: Decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
H Chakib, A Khoumsi - Discrete event dynamic systems, 2012 - Springer
This article deals with decentralized diagnosis, where a set of diagnosers cooperate for
detecting faults in a discrete event system. We propose a new framework, called multi …
detecting faults in a discrete event system. We propose a new framework, called multi …
[HTML][HTML] Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
J Komenda, T Masopust - Discrete Event Dynamic Systems, 2017 - Springer
In decentralized supervisory control, several local supervisors cooperate to accomplish a
common goal (specification). Controllability and coobservability are the key conditions to …
common goal (specification). Controllability and coobservability are the key conditions to …
A General Architecture for Intersection-Based Decentralized Supervisory Control of Discrete Event Systems
A Hayano, S Takai - IEEE Transactions on Automatic Control, 2023 - ieeexplore.ieee.org
A certain intersection-based architecture for decentralized supervisory control of discrete
event systems was proposed in the literature. This existing intersection-based architecture …
event systems was proposed in the literature. This existing intersection-based architecture …
A general intersection-based architecture for decentralized supervisory control of discrete event systems
A Hayano, S Takai - 2022 IEEE 61st Conference on Decision …, 2022 - ieeexplore.ieee.org
A certain intersection-based architecture for decentralized supervisory control of discrete
event systems was proposed in the literature. This existing intersection-based architecture …
event systems was proposed in the literature. This existing intersection-based architecture …
A methodology for qualitative/quantitative analysis of weighted attack trees
A Bobbio, L Egidi, R Terruggia - IFAC Proceedings Volumes, 2013 - Elsevier
Abstract Attack and Defense Trees (ADT) constitute a formal modeling technique that has
become dominant in recent years in the area of qualitative and quantitative cybersecurity …
become dominant in recent years in the area of qualitative and quantitative cybersecurity …
A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems
Solutions to decentralized discrete-event systems problems are characterized by the way
local decisions are fused to yield a global decision. A fusion rule is colloquially called an …
local decisions are fused to yield a global decision. A fusion rule is colloquially called an …
A uniform approach to compare architectures in decentralized discrete/event systems
Solutions to decentralized discrete/event systems problems are characterized by the way
local decisions are fused to yield a global decision. A fusion rule is colloquially called an …
local decisions are fused to yield a global decision. A fusion rule is colloquially called an …