Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts

We consider the problem of analyzing observability in discrete-time linear systems when the sensors, deployed in a distributed manner, may not communicate to an observer at once, and a protocol determines the communication pattern among different sensors. We use the formalism of automata to model th...

Full description

Saved in:
Bibliographic Details
Main Authors: Tanwani, Aneel, Jungers, Raphael, Maurice Heemels, W.P.M.H.
Format: Conference Proceeding
Language:English
Subjects:
Automata
Observability
Observers
Protocols
Sensors
Silicon
Time measurement
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We consider the problem of analyzing observability in discrete-time linear systems when the sensors, deployed in a distributed manner, may not communicate to an observer at once, and a protocol determines the communication pattern among different sensors. We use the formalism of automata to model the sequence of measurements determined by a protocol and show that the question of observability is decidable for the resulting system. We give upper bounds on the number of measurements required for deciding observability. In addition, we consider the effects of dropouts, which may occur in communicating the measurements across the channel. Again using the formalism of automatons to model certain classes of dropouts combined with the protocol, it is shown that observability is decidable in finite time for measurements sent across using a protocol, and subject to dropouts.
ISSN:2576-2370
DOI:10.1109/CDC.2018.8619308