A process-theoretic approach to supervisory control theory

J.C.M. Baeten, D.A. Beek, van, S.P. Luttik, J. Markovski, J.E. Rooda

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

27 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

We revisit the central notion of controllability in supervisory control theory from process-theoretic perspective. To this end, we investigate partial bisimulation preorder, a behavioral preorder that is coarser than bisimulation equivalence and finer than simulation preorder. It is parameterized by a subset of the set of actions that need to be bisimulated, whereas the actions outside this set need only to be simulated. This preorder proves a viable means to define controllability in a nondeterministic setting as a refinement relation on processes. The new approach provides for a generalized characterization of controllability of nondeterministic discrete-event systems. We characterize the existence of a deterministic supervisor and compare our approach to existing ones in the literature. It helped identify the coarsest minimization procedure for nondeterministic plants that respects controllability. At the end, we define the notion of a maximally permissive supervisor, nonblocking property, and partial observability in our setting.
Originele taal-2Engels
TitelProceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011)
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's4496-4501
ISBN van geprinte versie978-1-4577-0080-4
StatusGepubliceerd - 2011

Vingerafdruk Duik in de onderzoeksthema's van 'A process-theoretic approach to supervisory control theory'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J., & Rooda, J. E. (2011). A process-theoretic approach to supervisory control theory. In Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011) (blz. 4496-4501). Institute of Electrical and Electronics Engineers.