IMPORTANT NOTICE: We are putting the finishing touches to this new version of the repository; please bear with us! If you have any questions, please contact eprints.lincoln.ac.uk.

Decentralized opacity of discrete event systems

Paoli, A. and Lin, F. (2012) Decentralized opacity of discrete event systems. In: American Control Conference, ACC 2012, 27 - 29 June 2012, Montreal, QC; Canada.

Full text not available from this repository.

Item Type:Conference or Workshop contribution (Paper)
Item Status:Live Archive

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. © 2012 AACC American Automatic Control Council).

Additional Information:Conference Code: 93795
Keywords:Co-observability, Security problems, Supervisory control, Network security, Opacity
Subjects:H Engineering > H660 Control Systems
H Engineering > H330 Automotive Engineering
Divisions:College of Science > School of Engineering
ID Code:15857
Deposited On:31 Oct 2014 09:34

Repository Staff Only: item control page