Coarsest controllability-preserving plant minimization

J. Markovski

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

3 Citations (Scopus)

Abstract

We define a controllability-preserving plant minimization and investigate its feasibility with respect to supervisor synthesis. A recent process-theoretic approach to supervisory control theory identified a so-called partial bisimulation preorder as a suitable behavioral relation to capture the notion of controllability for (nondeterministic) discrete-event systems. The equivalence relation, induced by the partial bisimulation preorder, can then be employed to minimize the unsupervised system, referred to as plant, by obtaining the coarsest quotient and optimize the process of supervisor synthesis. We present an efficient minimization algorithm for computing the partial bisimulation equivalence by partitioning the state space of the plant. We apply the algorithm to several experimental case studies and study the obtained gain.
Original languageEnglish
Title of host publicationProceedings of the 11th IFAC/IEEE Workshop on Discrete Event Systems ( WODES 2012), October 1 - 3, 2012, Guadalajara, Jalisco, Mexico ,
Place of PublicationPergamon
PublisherIFAC
Pages251-258
DOIs
Publication statusPublished - 2012
Event11th International Workshop on Discrete Event Systems (WODES 2012) - Hotel De Mendoza, Guadalajara, Mexico
Duration: 1 Oct 20125 Oct 2012
Conference number: 11
http://www.gdl.cinvestav.mx/wodes-12/

Conference

Conference11th International Workshop on Discrete Event Systems (WODES 2012)
Abbreviated titleWODES 2012
CountryMexico
CityGuadalajara
Period1/10/125/10/12
Internet address

Fingerprint

Supervisory personnel
Controllability
Discrete event simulation
Control theory

Cite this

Markovski, J. (2012). Coarsest controllability-preserving plant minimization. In Proceedings of the 11th IFAC/IEEE Workshop on Discrete Event Systems ( WODES 2012), October 1 - 3, 2012, Guadalajara, Jalisco, Mexico , (pp. 251-258). Pergamon: IFAC. https://doi.org/10.3182/20121003-3-MX-4033.00042
Markovski, J. / Coarsest controllability-preserving plant minimization. Proceedings of the 11th IFAC/IEEE Workshop on Discrete Event Systems ( WODES 2012), October 1 - 3, 2012, Guadalajara, Jalisco, Mexico ,. Pergamon : IFAC, 2012. pp. 251-258
@inproceedings{cfb13f200f3c448cafb81cab67171655,
title = "Coarsest controllability-preserving plant minimization",
abstract = "We define a controllability-preserving plant minimization and investigate its feasibility with respect to supervisor synthesis. A recent process-theoretic approach to supervisory control theory identified a so-called partial bisimulation preorder as a suitable behavioral relation to capture the notion of controllability for (nondeterministic) discrete-event systems. The equivalence relation, induced by the partial bisimulation preorder, can then be employed to minimize the unsupervised system, referred to as plant, by obtaining the coarsest quotient and optimize the process of supervisor synthesis. We present an efficient minimization algorithm for computing the partial bisimulation equivalence by partitioning the state space of the plant. We apply the algorithm to several experimental case studies and study the obtained gain.",
author = "J. Markovski",
year = "2012",
doi = "10.3182/20121003-3-MX-4033.00042",
language = "English",
pages = "251--258",
booktitle = "Proceedings of the 11th IFAC/IEEE Workshop on Discrete Event Systems ( WODES 2012), October 1 - 3, 2012, Guadalajara, Jalisco, Mexico ,",
publisher = "IFAC",

}

Markovski, J 2012, Coarsest controllability-preserving plant minimization. in Proceedings of the 11th IFAC/IEEE Workshop on Discrete Event Systems ( WODES 2012), October 1 - 3, 2012, Guadalajara, Jalisco, Mexico ,. IFAC, Pergamon, pp. 251-258, 11th International Workshop on Discrete Event Systems (WODES 2012), Guadalajara, Mexico, 1/10/12. https://doi.org/10.3182/20121003-3-MX-4033.00042

Coarsest controllability-preserving plant minimization. / Markovski, J.

Proceedings of the 11th IFAC/IEEE Workshop on Discrete Event Systems ( WODES 2012), October 1 - 3, 2012, Guadalajara, Jalisco, Mexico ,. Pergamon : IFAC, 2012. p. 251-258.

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

TY - GEN

T1 - Coarsest controllability-preserving plant minimization

AU - Markovski, J.

PY - 2012

Y1 - 2012

N2 - We define a controllability-preserving plant minimization and investigate its feasibility with respect to supervisor synthesis. A recent process-theoretic approach to supervisory control theory identified a so-called partial bisimulation preorder as a suitable behavioral relation to capture the notion of controllability for (nondeterministic) discrete-event systems. The equivalence relation, induced by the partial bisimulation preorder, can then be employed to minimize the unsupervised system, referred to as plant, by obtaining the coarsest quotient and optimize the process of supervisor synthesis. We present an efficient minimization algorithm for computing the partial bisimulation equivalence by partitioning the state space of the plant. We apply the algorithm to several experimental case studies and study the obtained gain.

AB - We define a controllability-preserving plant minimization and investigate its feasibility with respect to supervisor synthesis. A recent process-theoretic approach to supervisory control theory identified a so-called partial bisimulation preorder as a suitable behavioral relation to capture the notion of controllability for (nondeterministic) discrete-event systems. The equivalence relation, induced by the partial bisimulation preorder, can then be employed to minimize the unsupervised system, referred to as plant, by obtaining the coarsest quotient and optimize the process of supervisor synthesis. We present an efficient minimization algorithm for computing the partial bisimulation equivalence by partitioning the state space of the plant. We apply the algorithm to several experimental case studies and study the obtained gain.

U2 - 10.3182/20121003-3-MX-4033.00042

DO - 10.3182/20121003-3-MX-4033.00042

M3 - Conference contribution

SP - 251

EP - 258

BT - Proceedings of the 11th IFAC/IEEE Workshop on Discrete Event Systems ( WODES 2012), October 1 - 3, 2012, Guadalajara, Jalisco, Mexico ,

PB - IFAC

CY - Pergamon

ER -

Markovski J. Coarsest controllability-preserving plant minimization. In Proceedings of the 11th IFAC/IEEE Workshop on Discrete Event Systems ( WODES 2012), October 1 - 3, 2012, Guadalajara, Jalisco, Mexico ,. Pergamon: IFAC. 2012. p. 251-258 https://doi.org/10.3182/20121003-3-MX-4033.00042