Non-blocking Supervisory Control of Nondeterministic Systems via Prioritized, Synchronization

Simple item page
dc.contributor.authorKumar, Ratneshen_US
dc.contributor.authorShayman, M.A.en_US
dc.contributor.departmentISRen_US
dc.date.accessioned2007-05-23T09:54:15Z
dc.date.available2007-05-23T09:54:15Z
dc.date.issued1993en_US
dc.description.abstractIn a previous paper [15], we showed that supervisory control of nondeterministic discrete event systems, in the presence of driven events, can be achieved using prioritized synchronous composition as a mechanism of control, and trajectory models as a modeling formalism. The specifications considered in [15] were given by prefix-closed languages. In this paper, we extend the theory of trajectory models and prioritized synchronous composition to include markings so that non-closed specifications and issues such as blocking can be addressed. It is shown that the usual notion of non-blocking, called language model non- blocking, is inadequate in the setting of nondeterministic systems, and a stronger notion, called trajectory model non- blocking, is introduced. Necessary and sufficient conditions for the existence of non-marking and language model non-blocking as well as trajectory model non-blocking supervisors is obtained for nondeterministic systems in the presence of driven events. We also show that our approach is also suitable for modular supervisory control.en_US
dc.format.extent1698951 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/1903/5403
dc.language.isoen_USen_US
dc.relation.ispartofseriesISR; TR 1993-58en_US
dc.subjectsystem theoryen_US
dc.subjectdiscrete event dynamical systemsen_US
dc.subjectIntelligent Servomechanismsen_US
dc.titleNon-blocking Supervisory Control of Nondeterministic Systems via Prioritized, Synchronizationen_US
dc.typeTechnical Reporten_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR_93-58.pdf
Size:
1.62 MB
Format:
Adobe Portable Document Format
Download

Collections

Institute for Systems Research Technical Reports