A process-theoretic approach to supervisory control theory

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

27 Citations (Scopus)

Abstract

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.
LanguageEnglish
Title of host publicationProceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011)
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages4496-4501
ISBN (Print)978-1-4577-0080-4
StatePublished - 2011

Fingerprint

Preorder
Control theory
Controllability
Supervisors
Observability
Equivalence
Discrete event systems
Simulation

Cite this

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) (pp. 4496-4501). Piscataway: Institute of Electrical and Electronics Engineers.
Baeten, J.C.M. ; Beek, van, D.A. ; Luttik, S.P. ; Markovski, J. ; Rooda, J.E./ A process-theoretic approach to supervisory control theory. Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011). Piscataway : Institute of Electrical and Electronics Engineers, 2011. pp. 4496-4501
@inproceedings{89779d9d9f854bfbb0dd0d9c554e7828,
title = "A process-theoretic approach to supervisory control theory",
abstract = "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.",
author = "J.C.M. Baeten and {Beek, van}, D.A. and S.P. Luttik and J. Markovski and J.E. Rooda",
year = "2011",
language = "English",
isbn = "978-1-4577-0080-4",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "4496--4501",
booktitle = "Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011)",
address = "United States",

}

Baeten, JCM, Beek, van, DA, Luttik, SP, Markovski, J & Rooda, JE 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). Institute of Electrical and Electronics Engineers, Piscataway, pp. 4496-4501.

A process-theoretic approach to supervisory control theory. / Baeten, J.C.M.; Beek, van, D.A.; Luttik, S.P.; Markovski, J.; Rooda, J.E.

Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011). Piscataway : Institute of Electrical and Electronics Engineers, 2011. p. 4496-4501.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - A process-theoretic approach to supervisory control theory

AU - Baeten,J.C.M.

AU - Beek, van,D.A.

AU - Luttik,S.P.

AU - Markovski,J.

AU - Rooda,J.E.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 978-1-4577-0080-4

SP - 4496

EP - 4501

BT - Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011)

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway

ER -

Baeten JCM, Beek, van DA, Luttik SP, Markovski J, Rooda JE. 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). Piscataway: Institute of Electrical and Electronics Engineers. 2011. p. 4496-4501.