Progressive events in supervisory control and compositional verification

Simple item page
dc.contributor.authorWare, Simon
dc.contributor.authorMalik, Robi
dc.date.accessioned2015-06-08T23:27:01Z
dc.date.available2014-08
dc.date.available2015-06-08T23:27:01Z
dc.date.issued2014-08
dc.description.abstractThis paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.
dc.format.mimetypeapplication/pdf
dc.identifier.citationWare, S., & Malik, R. (2014). Progressive events in supervisory control and compositional verification. Control Theory and Technology, 12(3), 317–329. http://doi.org/10.1007/s11768-014-4097-8en
dc.identifier.doi10.1007/s11768-014-4097-8
dc.identifier.eissn2198-0942
dc.identifier.issn2095-6983
dc.identifier.urihttps://hdl.handle.net/10289/9358
dc.relation.isPartOfControl Theory and Technology
dc.rights© 2014 South China University of Technology, Academy of Mathematics and Systems Science, CAS, and Springer-Verlag Berlin Heidelberg
dc.subjectcontroller constraints and structure
dc.titleProgressive events in supervisory control and compositional verification
dc.typeJournal Article
pubs.begin-page317
pubs.elements-id115900
pubs.end-page329
pubs.issue3
pubs.organisational-group/Waikato
pubs.organisational-group/Waikato/FCMS
pubs.organisational-group/Waikato/FCMS/Computer Science
pubs.volume12
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ctt2014.pdf
Size:
198.79 KB
Format:
Adobe Portable Document Format
Description:
Accepted version
Thumbnail Image
Name: ctt2014.pdf
Size: 198.79 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