In supervisory control, discrete event dynamic systems (DEDSs) are modeled by finite-state automata, and their behaviors described by the associated formal languages; control is exercised by a supervisor, whose control action is to enable or disable the controllable events. In this paper we present a general stability concept for DEDSs, stability in the sense of Lyapunov with resiliency, by incorporating Lyapunov stability concepts with the concept of stability in the sense of error recovery. We also provide algorithms for verifying stability and obtaining a domain of attraction. Relations between the notion of stability and the notion of fault-tolerance are addressed.
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
Kwang-Hyun CHO, Jong-Tae LIM, "A Study on Stability Analysis of Discrete Event Dynamic Systems" in IEICE TRANSACTIONS on Information,
vol. E80-D, no. 12, pp. 1149-1154, December 1997, doi: .
Abstract: In supervisory control, discrete event dynamic systems (DEDSs) are modeled by finite-state automata, and their behaviors described by the associated formal languages; control is exercised by a supervisor, whose control action is to enable or disable the controllable events. In this paper we present a general stability concept for DEDSs, stability in the sense of Lyapunov with resiliency, by incorporating Lyapunov stability concepts with the concept of stability in the sense of error recovery. We also provide algorithms for verifying stability and obtaining a domain of attraction. Relations between the notion of stability and the notion of fault-tolerance are addressed.
URL: https://global.ieice.org/en_transactions/information/10.1587/e80-d_12_1149/_p
Copy
@ARTICLE{e80-d_12_1149,
author={Kwang-Hyun CHO, Jong-Tae LIM, },
journal={IEICE TRANSACTIONS on Information},
title={A Study on Stability Analysis of Discrete Event Dynamic Systems},
year={1997},
volume={E80-D},
number={12},
pages={1149-1154},
abstract={In supervisory control, discrete event dynamic systems (DEDSs) are modeled by finite-state automata, and their behaviors described by the associated formal languages; control is exercised by a supervisor, whose control action is to enable or disable the controllable events. In this paper we present a general stability concept for DEDSs, stability in the sense of Lyapunov with resiliency, by incorporating Lyapunov stability concepts with the concept of stability in the sense of error recovery. We also provide algorithms for verifying stability and obtaining a domain of attraction. Relations between the notion of stability and the notion of fault-tolerance are addressed.},
keywords={},
doi={},
ISSN={},
month={December},}
Copy
TY - JOUR
TI - A Study on Stability Analysis of Discrete Event Dynamic Systems
T2 - IEICE TRANSACTIONS on Information
SP - 1149
EP - 1154
AU - Kwang-Hyun CHO
AU - Jong-Tae LIM
PY - 1997
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E80-D
IS - 12
JA - IEICE TRANSACTIONS on Information
Y1 - December 1997
AB - In supervisory control, discrete event dynamic systems (DEDSs) are modeled by finite-state automata, and their behaviors described by the associated formal languages; control is exercised by a supervisor, whose control action is to enable or disable the controllable events. In this paper we present a general stability concept for DEDSs, stability in the sense of Lyapunov with resiliency, by incorporating Lyapunov stability concepts with the concept of stability in the sense of error recovery. We also provide algorithms for verifying stability and obtaining a domain of attraction. Relations between the notion of stability and the notion of fault-tolerance are addressed.
ER -