Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set
Summary :
In the framework of decentralized supervisory control of timed discrete event systems (TDESs), each local supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur under its own local observation in order for a given specification to be satisfied. In this paper, we focus on fusion rules for the enforcement decisions and adopt the combined fusion rule using the AND rule and the OR rule. We first derive necessary and sufficient conditions for the existence of a decentralized supervisor under the combined fusion rule for a given partition of the set of forcible events. We next study how to find a suitable partition.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E95-A No.5 pp.952-960
- Publication Date
- 2012/05/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1587/transfun.E95.A.952
- Type of Manuscript
- PAPER
- Category
- Concurrent Systems
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
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.
Cite this
Copy
Masashi NOMURA, Shigemasa TAKAI, "Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set" in IEICE TRANSACTIONS on Fundamentals,
vol. E95-A, no. 5, pp. 952-960, May 2012, doi: 10.1587/transfun.E95.A.952.
Abstract: In the framework of decentralized supervisory control of timed discrete event systems (TDESs), each local supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur under its own local observation in order for a given specification to be satisfied. In this paper, we focus on fusion rules for the enforcement decisions and adopt the combined fusion rule using the AND rule and the OR rule. We first derive necessary and sufficient conditions for the existence of a decentralized supervisor under the combined fusion rule for a given partition of the set of forcible events. We next study how to find a suitable partition.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E95.A.952/_p
Copy
@ARTICLE{e95-a_5_952,
author={Masashi NOMURA, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set},
year={2012},
volume={E95-A},
number={5},
pages={952-960},
abstract={In the framework of decentralized supervisory control of timed discrete event systems (TDESs), each local supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur under its own local observation in order for a given specification to be satisfied. In this paper, we focus on fusion rules for the enforcement decisions and adopt the combined fusion rule using the AND rule and the OR rule. We first derive necessary and sufficient conditions for the existence of a decentralized supervisor under the combined fusion rule for a given partition of the set of forcible events. We next study how to find a suitable partition.},
keywords={},
doi={10.1587/transfun.E95.A.952},
ISSN={1745-1337},
month={May},}
Copy
TY - JOUR
TI - Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 952
EP - 960
AU - Masashi NOMURA
AU - Shigemasa TAKAI
PY - 2012
DO - 10.1587/transfun.E95.A.952
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E95-A
IS - 5
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - May 2012
AB - In the framework of decentralized supervisory control of timed discrete event systems (TDESs), each local supervisor decides the set of events to be enabled to occur and the set of events to be forced to occur under its own local observation in order for a given specification to be satisfied. In this paper, we focus on fusion rules for the enforcement decisions and adopt the combined fusion rule using the AND rule and the OR rule. We first derive necessary and sufficient conditions for the existence of a decentralized supervisor under the combined fusion rule for a given partition of the set of forcible events. We next study how to find a suitable partition.
ER -
English
