Detectability of networked discrete event systems

Sasi, Yazeed; Lin, Feng

doi:10.1007/s10626-018-0268-y

Cited by 31 publications

(11 citation statements)

References 61 publications

(93 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [25], the authors study the detectability for networked discrete event systems impacted by network delays and losses, which is concerned with the ability to determine the current and subsequent states. This work considers both network detectability and network D-detectability.…”

Section: Verification and Detectability Related To Oc Delaysmentioning

confidence: 99%

“…Network detectability allows the determination of the state of a networked discrete event system, while networked D-detectability allows one to distinguish between some pairs of states of the systems. The characterization and verification of these two detectability properties are also provided in [25].…”

Section: Verification and Detectability Related To Oc Delaysmentioning

confidence: 99%

See 1 more Smart Citation

Overview of Networked Supervisory Control with Imperfect Communication Channels

Zhu

Lin²,

Tai³

et al. 2020

Preprint

View full text Add to dashboard Cite

The paper focus on the networked supervisory control framework based on the discrete event systems with imperfect network, which can be divided into the centralized supervisory control and decentralized control. Then we reviewed the state-of-art networked control frameworks with observation channel delays and control channel delays separately, and the approach to compose the synthesized supervisor are constructed in untimed models and timed discrete event systems (TDES). The lossy property of communication channels is considered as well.

show abstract

Section: Verification and Detectability Related To Oc Delaysmentioning

confidence: 99%

Section: Verification and Detectability Related To Oc Delaysmentioning

confidence: 99%

Overview of Networked Supervisory Control with Imperfect Communication Channels

Zhu

Lin²,

Tai³

et al. 2020

Preprint

View full text Add to dashboard Cite

show abstract

“…A generalized version of detectability was proposed in [86]. The reader is referred to [42,55,56,80,91,124,139] for more references on detectability.…”

Section: Detectabilitymentioning

confidence: 99%

Estimation and Verification of Partially Observed Discrete‐Event Systems

Yin

2019

Wiley Encyclopedia of Electrical and Electronics Engineering

View full text Add to dashboard Cite

State estimation is one of the most fundamental problems in the systems and control theory. In many real-world systems, it is not always possible to access the full information of the system due to measurement noises/uncertainties and the existence of adversaries. Therefore, how to estimate the state of the system is crucial when one wants to make decisions based on the limited and incomplete information.Given a system, one of the most important questions is to prove/disprove the correctness of the system with respect to some desired requirement (or specification). In particular, we would like to check the correctness of the system in a formal manner in the sense that the checking procedures are algorithmic and results have provable correctness guarantees. Such a formal satisfaction checking problem is referred to as the verification problem. Performing formal property verification is very important for many complicated but safety-critical infrastructures.This article considers state estimation and verification problems for an important class of man-made cyber-physical systems called Discrete-Event Systems (DES). Roughly speaking, DES are dynamic systems with discrete state-spaces and event-triggered dynamics. DES models are widely used in the study of complex automated systems where the behavior is inherently eventdriven, as well as in the study of discrete abstractions of continuous, hybrid, and/or cyber-physical systems. Over the past decades, the theory of DES has been successfully applied to many real-world problems, e.g., the control of

show abstract

“…The behavior of DESs is typically modeled by nondeterministic finite automata (NFA) and then can be analyzed by using the formal language theory [1,2]. In the last two decades, the study of DESs has attracted lots of scholars' research interest, and many interesting results have been developed on detectability [3][4][5][6], opacity [7], diagnosability [8][9][10], identification [11], and so on.…”

Section: Introductionmentioning

confidence: 99%

“…DESs with observable events and unobservable events are called partially observed DESs. The study of partially observed DESs mainly focuses on the problems of state estimation [3][4][5]12,13] and trajectory estimation [6]. Yin et al [6] proposed the trajectory detectability problem for partially observed DESs and provided some effective algorithms for trajectory detectability in the framework of language.…”

Section: Introductionmentioning

confidence: 99%

Matrix approach to I‐detectability of partially observed discrete event systems

Dou

2021

Asian Journal of Control

View full text Add to dashboard Cite

I‐detectability is an important issue in partially observed discrete event systems (DESs). In this paper, a Boolean semi‐tensor product (BSTP) approach is proposed to investigate the I‐detectability problem of partially observed DESs. First, two concepts of I‐detectability, that is, strong I‐detectability and weak I‐detectability, are recalled for partially observed DESs. Second, in order to estimate the initial state of DESs after finite observation events, an observer is constructed and converted to an algebraic form based on BSTP. Third, based on the algebraic form of observer, two necessary and sufficient conditions are presented for strong I‐detectability and weak I‐detectability of partially observed DESs, respectively. Finally, two examples are given to illustrate the obtained results.

show abstract

Detectability of networked discrete event systems

Cited by 31 publications

References 61 publications

Overview of Networked Supervisory Control with Imperfect Communication Channels

Overview of Networked Supervisory Control with Imperfect Communication Channels

Estimation and Verification of Partially Observed Discrete‐Event Systems

Matrix approach to I‐detectability of partially observed discrete event systems

Contact Info

Product

Resources

About