A general approach for optimizing dynamic sensor activation for discrete event systems

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. We consider a general class of properties, called In...

Full description

Saved in:
Bibliographic Details
Published in:Automatica (Oxford) 2019-07, Vol.105, p.376-383
Main Authors: Yin, Xiang, Lafortune, Stéphane
Format: Article
Language:English
Subjects:
Discrete event systems
Optimization
Property enforcement
Sensor activation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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. 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. Based on the generalized MPO, we first synthesize a logical minimal or maximal sensor activation policy based on a set inclusion criterion. Then we study the synthesis of optimal solutions for a given quantitative objective function that considers numerical activation costs and switching costs. Our results generalize previous works on dynamic sensor activation for enforcement of specific properties.
ISSN:0005-1098
1873-2836
DOI:10.1016/j.automatica.2019.04.001