Incremental verification of co-observability in discrete-event systems

Simple item page
dc.contributor.authorLiu, Huailiang
dc.contributor.authorLeduc, Ryan J.
dc.contributor.authorMalik, Robi
dc.contributor.authorRicker, S.L.
dc.coverage.spatialPortland, Oregon, USA
dc.date.accessioned2015-03-23T02:40:35Z
dc.date.available2014
dc.date.available2015-03-23T02:40:35Z
dc.date.issued2014
dc.description.abstractExisting strategies for verifying co-observability, one of the properties that must be satisfied for synthesizing solutions to decentralized supervisory control problems, require the construction of the complete system model. When the system is composed of many subsystems, these monolithic approaches may be impractical due to the state-space explosion problem. To address this issue, we introduce an incremental verification of co-observability approach. Selected subgroups of the system are evaluated individually, until verification of co-observability is complete. The new method is potentially much more efficient than the monolithic approaches, in particular for systems composed of many subsystems, allowing for some intractable state-space explosion problems to be manageable. Properties of this new strategy are presented, along with a corresponding algorithm and an example.
dc.format.mimetypeapplication/pdf
dc.identifier.citationLiu, H., Leduc, R. J., Malik, R., & Ricker, S. L. (2014). Incremental verification of co-observability in discrete-event systems. In Proc 2014 American Control Conference (pp. 5446–5452). Portland, Oregon, USA: IEEE. http://doi.org/10.1109/ACC.2014.6859276en
dc.identifier.doi10.1109/ACC.2014.6859276
dc.identifier.urihttps://hdl.handle.net/10289/9257
dc.language.isoen
dc.publisherIEEE
dc.relation.isPartOfProc 2014 American Control Conference
dc.rightsThis is an author’s accepted version of an article published in the Proceedings of American Control Conference (ACC), 2014. © 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.sourceAmerican Control Conference (ACC)
dc.titleIncremental verification of co-observability in discrete-event systems
dc.typeConference Contribution
pubs.begin-page5446
pubs.elements-id82093
pubs.end-page5452
pubs.organisational-group/Waikato
pubs.organisational-group/Waikato/FCMS
pubs.organisational-group/Waikato/FCMS/Computer Science
pubs.place-of-publicationWashington, DC., USA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
2014 American Control Conference.pdf
Size:
363.71 KB
Format:
Adobe Portable Document Format
Description:
Accepted version
Thumbnail Image
Name: 2014 American Control Conference.pdf
Size: 363.71 KB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Deposit Agreement.txt
Size:
193 B
Format:
Unknown data format
Description:
Name: Deposit Agreement.txt
Size: 193 B
Kind: Unknown
Collections
Computing and Mathematical Sciences Papers