On Most Permissive Observers in Dynamic Sensor Activation Problems

Dallal, Eric; Lafortune, Stéphane

doi:10.1109/tac.2013.2294613

Cited by 30 publications

(25 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is shown in [15] that the problem of sensor activation for observability can be formulated as a state-disambiguation problem. Similarly, it is shown in [10] that the problem of sensor activation for Kdiagnosability can be formulated as a state-disambiguation problem. Therefore, as was discussed in Remark 1, both of these sensor activation problems can be solved by the generalized MPO approach that we have presented.…”

Section: A Application To Control and Diagnosismentioning

confidence: 99%

“…Dynamic sensor activation has been studied extensively in the DES literature; see, e.g., [1]- [10] for a sample of this work and the recent survey paper [11] for an extensive bibliography. In [1], [2], the problem of dynamic sensor activation for the purpose of fault diagnosis was studied; the optimal synthesis problems considered therein were solved according to numerical cost criteria.…”

Section: Introductionmentioning

confidence: 99%

“…This approach was extended to timed systems in [12] and to the problem of opacity in [6]. Recently, an information-state-based characterization of the MPO structure was proposed in [10]; this work showed that the size complexity of the MPO could be reduced, as compared with the original MPO from [2], by appropriately defining the notion of information state in the context of enforcement of K-diagnosability.…”

Section: Introductionmentioning

confidence: 99%

“…(2) Compared with prior works where the MPO was employed [2], [6], [10], our contributions are twofold. First, we define the MPO directly from the new notion of bipartite dynamic observer without using the recursive definition used in [10].…”

Section: Introductionmentioning

confidence: 99%

“…First, we define the MPO directly from the new notion of bipartite dynamic observer without using the recursive definition used in [10]. Second, the MPO defined in this paper is more general since we consider a general class of properties and we show that the most permissive observer for K-diagnosability studied by [2], [10] and the most permissive dynamic mask for opacity studied by [6] are essentially special cases of the generalized MPO. Moreover, the problem of optimal sensor activation for predictability, which to the best of our knowledge has not been considered in the literature, can also be solved by our approach.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

A general approach for solving dynamic sensor activation problems for a class of properties

Yin

Lafortune

2015

2015 54th IEEE Conference on Decision and Control (CDC)

Self Cite

View full text Add to dashboard Cite

We study the problem of dynamic sensor activation for centralized partially-observed discrete event systems. The sensors can be turned on/off online dynamically according to a sensor activation policy in order to satisfy some observation property. In this paper, we consider a general class of properties, called Information-State-based (or IS-based) properties, which include, but are not limited to, observability, K-diagnosability, predictability, and opacity. We define a new Most Permissive Observer (MPO) that generalizes previous versions of this structure. The MPO that we define embeds all sensor activation policies for an IS-based property. An optimal sensor activation policy can then be synthesized based on the MPO. Our results generalize the previous works on dynamic sensor activation for enforcing the properties of observability, K-diagnosability, and opacity. Moreover, our MPO is applicable to solving dynamic sensor activation problems for a wide class of user-defined properties that can be formulated as IS-based properties. As a special case, we show that the problem of minimal sensor activation for enforcing predictability, which has not been considered in the literature, is solvable by our new approach.

show abstract

Section: A Application To Control and Diagnosismentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A general approach for solving dynamic sensor activation problems for a class of properties

Yin

Lafortune

2015

2015 54th IEEE Conference on Decision and Control (CDC)

Self Cite

View full text Add to dashboard Cite

show abstract

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

Minimal sensor activation and minimal communication in discrete-event systems

Sears

Rudie

2015

Discrete Event Dyn Syst

View full text Add to dashboard Cite

On Most Permissive Observers in Dynamic Sensor Activation Problems

Cited by 30 publications

References 16 publications

A general approach for solving dynamic sensor activation problems for a class of properties

A general approach for solving dynamic sensor activation problems for a class of properties

Estimation and Verification of Partially Observed Discrete‐Event Systems

Minimal sensor activation and minimal communication in discrete-event systems

Contact Info

Product

Resources

About