On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems

Shigemasa TAKAI; Toshimitsu USHIO

On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems

Shigemasa TAKAI, Toshimitsu USHIO

Full Text Views

0

Cite this

Summary :

In this paper, we study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR rule. We generalize an on-line procedure for synthesizing decentralized supervisors proposed by Prosser. By using the generalized procedure, we can achieve a sublanguage of a specification which is not achieved by a class of decentralized supervisors synthesized by the Prosser's procedure.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.11 pp.2282-2285

Publication Date: 2000/11/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology)

Category

Cite this

Copy

Shigemasa TAKAI, Toshimitsu USHIO, "On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems" in IEICE TRANSACTIONS on Fundamentals, vol. E83-A, no. 11, pp. 2282-2285, November 2000, doi: .
Abstract: In this paper, we study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR rule. We generalize an on-line procedure for synthesizing decentralized supervisors proposed by Prosser. By using the generalized procedure, we can achieve a sublanguage of a specification which is not achieved by a class of decentralized supervisors synthesized by the Prosser's procedure.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e83-a_11_2282/_p

Copy

@ARTICLE{e83-a_11_2282,
author={Shigemasa TAKAI, Toshimitsu USHIO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems},
year={2000},
volume={E83-A},
number={11},
pages={2282-2285},
abstract={In this paper, we study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR rule. We generalize an on-line procedure for synthesizing decentralized supervisors proposed by Prosser. By using the generalized procedure, we can achieve a sublanguage of a specification which is not achieved by a class of decentralized supervisors synthesized by the Prosser's procedure.},
keywords={},
doi={},
ISSN={},
month={November},}

Copy

TY - JOUR
TI - On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2282
EP - 2285
AU - Shigemasa TAKAI
AU - Toshimitsu USHIO
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E83-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2000
AB - In this paper, we study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR rule. We generalize an on-line procedure for synthesizing decentralized supervisors proposed by Prosser. By using the generalized procedure, we can achieve a sublanguage of a specification which is not achieved by a class of decentralized supervisors synthesized by the Prosser's procedure.
ER -