Loading [a11y]/accessibility-menu.js
Decentralized opacity of discrete event systems | IEEE Conference Publication | IEEE Xplore

Decentralized opacity of discrete event systems


Abstract:

In this paper, we investigate opacity of discrete event systems in a decentralized framework with several agents, each of them performing its observation of the system. W...Show More

Abstract:

In this paper, we investigate opacity of discrete event systems in a decentralized framework with several agents, each of them performing its observation of the system. We consider two cases, one without coordination among agents and one with coordination. Both cases are useful because many systems used today are distributed over a network, some with agents coordinating among themselves and some without. We introduce general definitions of decentralized opacity for both cases. The definitions are based on languages. Therefore, they are flexible and can include other properties of discrete event systems as special cases. In particular, we show that co-observability used in supervisory control is a special case of decentralized opacity. We illustrate the usefulness of decentralized opacity by applying it in solving an interesting security problem in computer systems.
Date of Conference: 27-29 June 2012
Date Added to IEEE Xplore: 01 October 2012
ISBN Information:

ISSN Information:

Conference Location: Montreal, QC, Canada

References

References is not available for this document.