IEICE TRANSACTIONS on Fundamentals
A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems
Summary :
In this paper, we study decentralized supervisory control of timed discrete event systems, where we adopt the OR rule for fusing local enablement decisions and the AND rule for fusing local enforcement decisions. For any specification language satisfying a certain assumption, we propose a method for constructing a decentralized supervisor that achieves its sublanguage. The proposed method does not require computing the achieved sublanguage.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E96-A No.4 pp.835-839
- Publication Date
- 2013/04/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1587/transfun.E96.A.835
- Type of Manuscript
- LETTER
- 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, "A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems" in IEICE TRANSACTIONS on Fundamentals,
vol. E96-A, no. 4, pp. 835-839, April 2013, doi: 10.1587/transfun.E96.A.835.
Abstract: In this paper, we study decentralized supervisory control of timed discrete event systems, where we adopt the OR rule for fusing local enablement decisions and the AND rule for fusing local enforcement decisions. For any specification language satisfying a certain assumption, we propose a method for constructing a decentralized supervisor that achieves its sublanguage. The proposed method does not require computing the achieved sublanguage.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E96.A.835/_p
Copy
@ARTICLE{e96-a_4_835,
author={Masashi NOMURA, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems},
year={2013},
volume={E96-A},
number={4},
pages={835-839},
abstract={In this paper, we study decentralized supervisory control of timed discrete event systems, where we adopt the OR rule for fusing local enablement decisions and the AND rule for fusing local enforcement decisions. For any specification language satisfying a certain assumption, we propose a method for constructing a decentralized supervisor that achieves its sublanguage. The proposed method does not require computing the achieved sublanguage.},
keywords={},
doi={10.1587/transfun.E96.A.835},
ISSN={1745-1337},
month={April},}
Copy
TY - JOUR
TI - A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 835
EP - 839
AU - Masashi NOMURA
AU - Shigemasa TAKAI
PY - 2013
DO - 10.1587/transfun.E96.A.835
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E96-A
IS - 4
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - April 2013
AB - In this paper, we study decentralized supervisory control of timed discrete event systems, where we adopt the OR rule for fusing local enablement decisions and the AND rule for fusing local enforcement decisions. For any specification language satisfying a certain assumption, we propose a method for constructing a decentralized supervisor that achieves its sublanguage. The proposed method does not require computing the achieved sublanguage.
ER -
English
