Access Restriction

Author Sears, D. ♦ Rudie, K.
Sponsorship IEEE Control Syst. Soc.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2013
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Other branches of engineering
Subject Keyword Automata ♦ Observers ♦ Discrete-event systems ♦ Polynomials ♦ Turning ♦ Labeling ♦ Writing
Abstract This paper considers partially-observed discrete-event systems where sensors are associated with events observable to an agent monitoring the system. The agent is capable of turning the sensors for events on and off dynamically, depending on the trajectory of the system. Reading data from the sensors may be costly so it is imperative that their use be reduced for reasons such as energy, bandwidth or security. When a sensor for an event is on / active any occurrence of the event is detected by the agent and is not detected otherwise. The agent may employ different sensor activation policies, depending on the task at hand. Sensor activation policies are defined over the transitions of a state-transition representation of the system. From sensor activation policies a map from observed event sequences to sensor activation decisions can be computed which the agent can use to determine which sensors to turn on / off and when. In this paper, we consider a subclass of sensor activation policies. For this subclass, we demonstrate a way to compute maps from observed event sequences to sensor activation decisions in polynomial time. However, we demonstrate that verifying if an arbitrary sensor activation policy belongs to this subclass is PSPACE-complete.
Description Author affiliation: Dept. of Electr. & Comput. Eng., Queen's Univ., Kingston, ON, Canada (Rudie, K.) || Sch. of Comput., Queen's Univ., Kingston, ON, Canada (Sears, D.)
ISBN 9781467357142
ISSN 07431546
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2013-12-10
Publisher Place Italy
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
e-ISBN 9781467357173
Size (in Bytes) 231.47 kB
Page Count 6
Starting Page 6972
Ending Page 6977

Source: IEEE Xplore Digital Library