Computing bounds for forbidden state reachability functions for controlled Petri nets

L. E. Holloway; A. S. Khare

doi:10.1109/WODES.2002.1167692

Computing bounds for forbidden state reachability functions for controlled Petri nets

L. E. Holloway
, A. S. Khare

Producción científica: Conference contribution › revisión exhaustiva

2 Citas (Scopus)

Resumen

Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.

Idioma original	English
Título de la publicación alojada	Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002
Editores	Alessandro Giua, Manuel Silva, Jose M. Colom
Páginas	225-230
Número de páginas	6
ISBN (versión digital)	0769516831, 9780769516837
DOI	https://doi.org/10.1109/WODES.2002.1167692
Estado	Published - 2002
Evento	6th International Workshop on Discrete Event Systems, WODES 2002 - Zaragoza, Spain Duración: oct 2 2002 → oct 4 2002

Serie de la publicación

Nombre	Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Conference

Conference	6th International Workshop on Discrete Event Systems, WODES 2002
País/Territorio	Spain
Ciudad	Zaragoza
Período	10/2/02 → 10/4/02

Nota bibliográfica

Publisher Copyright:
© 2002 IEEE.

ASJC Scopus subject areas

Control and Systems Engineering
Computer Networks and Communications
Modeling and Simulation

Acceder al documento

10.1109/WODES.2002.1167692

Otros archivos y enlaces

Citar esto

Holloway, L. E., & Khare, A. S. (2002). Computing bounds for forbidden state reachability functions for controlled Petri nets. En A. Giua, M. Silva, & J. M. Colom (Eds.), Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002 (pp. 225-230). Artículo 1167692 (Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002). https://doi.org/10.1109/WODES.2002.1167692

@inproceedings{524616ab1f174b8e8e1c8165e39b02d7,

title = "Computing bounds for forbidden state reachability functions for controlled Petri nets",

abstract = "Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.",

author = "Holloway, \{L. E.\} and Khare, \{A. S.\}",

note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; 6th International Workshop on Discrete Event Systems, WODES 2002 ; Conference date: 02-10-2002 Through 04-10-2002",

year = "2002",

doi = "10.1109/WODES.2002.1167692",

language = "English",

series = "Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002",

pages = "225--230",

editor = "Alessandro Giua and Manuel Silva and Colom, \{Jose M.\}",

booktitle = "Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002",

}

Holloway, LE & Khare, AS 2002, Computing bounds for forbidden state reachability functions for controlled Petri nets. En A Giua, M Silva & JM Colom (eds.), Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002., 1167692, Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002, pp. 225-230, 6th International Workshop on Discrete Event Systems, WODES 2002, Zaragoza, Spain, 10/2/02. https://doi.org/10.1109/WODES.2002.1167692

Computing bounds for forbidden state reachability functions for controlled Petri nets. / Holloway, L. E.; Khare, A. S.
Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002. ed. / Alessandro Giua; Manuel Silva; Jose M. Colom. 2002. p. 225-230 1167692 (Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002).

Producción científica: Conference contribution › revisión exhaustiva

TY - GEN

T1 - Computing bounds for forbidden state reachability functions for controlled Petri nets

AU - Holloway, L. E.

AU - Khare, A. S.

PY - 2002

Y1 - 2002

N2 - Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.

AB - Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.

UR - https://www.scopus.com/pages/publications/84936774969

UR - https://www.scopus.com/pages/publications/84936774969#tab=citedBy

U2 - 10.1109/WODES.2002.1167692

DO - 10.1109/WODES.2002.1167692

M3 - Conference contribution

AN - SCOPUS:84936774969

T3 - Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

SP - 225

EP - 230

BT - Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

A2 - Giua, Alessandro

A2 - Silva, Manuel

A2 - Colom, Jose M.

T2 - 6th International Workshop on Discrete Event Systems, WODES 2002

Y2 - 2 October 2002 through 4 October 2002

ER -

Holloway LE, Khare AS. Computing bounds for forbidden state reachability functions for controlled Petri nets. En Giua A, Silva M, Colom JM, editores, Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002. 2002. p. 225-230. 1167692. (Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002). doi: 10.1109/WODES.2002.1167692

Computing bounds for forbidden state reachability functions for controlled Petri nets

Resumen

Serie de la publicación

Conference

Nota bibliográfica

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto