Communicating sequential processes
Communicating sequential processes
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Decentralized supervisory control of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
The infimal prefix-closed and observable superlanguage of given language
Systems & Control Letters
SIAM Journal on Control and Optimization
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
Discrete Event Dynamic Systems
State estimation and detectability of probabilistic discrete event systems
Automatica (Journal of IFAC)
Distributed state estimation in discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Opacity of discrete event systems and its applications
Automatica (Journal of IFAC)
Hi-index | 0.02 |
In this paper, we revisit observability defined in Linand Wonham (1988a). We show that although the original definitionis intended for event observation with projection, its significancegoes beyond its original intent. Specifically, we show that (1)supervisory control with state observation can be studied interms of event observation; (2) supervisory control problemswith event mask can be converted to problems with event projection;and (3) nondeterminism is closely related to unobservability.