In the framework of supervisory control of timed discrete event systems (TDESs), a supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur in order for a given specification to be satisfied. In this paper, we consider decentralized supervisory control of TDESs where enforcement decisions of local supervisors are fused by the AND rule or the OR rule. We derive existence conditions of a decentralized supervisor under these decision fusion rules.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Masashi NOMURA, Shigemasa TAKAI, "Decentralized Supervisory Control of Timed Discrete Event Systems" in IEICE TRANSACTIONS on Fundamentals,
vol. E94-A, no. 12, pp. 2802-2809, December 2011, doi: 10.1587/transfun.E94.A.2802.
Abstract: In the framework of supervisory control of timed discrete event systems (TDESs), a supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur in order for a given specification to be satisfied. In this paper, we consider decentralized supervisory control of TDESs where enforcement decisions of local supervisors are fused by the AND rule or the OR rule. We derive existence conditions of a decentralized supervisor under these decision fusion rules.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E94.A.2802/_p
Copy
@ARTICLE{e94-a_12_2802,
author={Masashi NOMURA, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Decentralized Supervisory Control of Timed Discrete Event Systems},
year={2011},
volume={E94-A},
number={12},
pages={2802-2809},
abstract={In the framework of supervisory control of timed discrete event systems (TDESs), a supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur in order for a given specification to be satisfied. In this paper, we consider decentralized supervisory control of TDESs where enforcement decisions of local supervisors are fused by the AND rule or the OR rule. We derive existence conditions of a decentralized supervisor under these decision fusion rules.},
keywords={},
doi={10.1587/transfun.E94.A.2802},
ISSN={1745-1337},
month={December},}
Copy
TY - JOUR
TI - Decentralized Supervisory Control of Timed Discrete Event Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2802
EP - 2809
AU - Masashi NOMURA
AU - Shigemasa TAKAI
PY - 2011
DO - 10.1587/transfun.E94.A.2802
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E94-A
IS - 12
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - December 2011
AB - In the framework of supervisory control of timed discrete event systems (TDESs), a supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur in order for a given specification to be satisfied. In this paper, we consider decentralized supervisory control of TDESs where enforcement decisions of local supervisors are fused by the AND rule or the OR rule. We derive existence conditions of a decentralized supervisor under these decision fusion rules.
ER -