This paper develops a decentralized supervision policy for a Petri net through collaboration between a coordinator and subnet controllers. The coordinator is chosen from the subnet controllers by solving an integer linear programming problem. An optimal objective function is used to minimize the communication cost between the subnet controllers and the coordinator. Furthermore, a protocol to reach an agreement on the firing conditions of common transitions among the subnet controllers is proposed. Observation agreement and control agreement can be achieved by the “AND” operator in logic algebra. Control agreement is used to decide the firing conditions of common transitions in the next step. The firing of common transitions, which will lead to a new marking that violates the given constraints, will be forbidden by the control agreement. A feasibility analysis of the proposed decentralized control framework is discussed. Finally, four examples are presented to illustrate the proposed approach.

Decentralized supervision of Petri nets with a coordinator

GIUA, ALESSANDRO
2015

Abstract

This paper develops a decentralized supervision policy for a Petri net through collaboration between a coordinator and subnet controllers. The coordinator is chosen from the subnet controllers by solving an integer linear programming problem. An optimal objective function is used to minimize the communication cost between the subnet controllers and the coordinator. Furthermore, a protocol to reach an agreement on the firing conditions of common transitions among the subnet controllers is proposed. Observation agreement and control agreement can be achieved by the “AND” operator in logic algebra. Control agreement is used to decide the firing conditions of common transitions in the next step. The firing of common transitions, which will lead to a new marking that violates the given constraints, will be forbidden by the control agreement. A feasibility analysis of the proposed decentralized control framework is discussed. Finally, four examples are presented to illustrate the proposed approach.
Agreement, coordinator, decentralized supervision, discrete event system (DES), Petri net
File in questo prodotto:
File Dimensione Formato  
15tsmc_sys_draft.pdf

accesso aperto

Tipologia: versione post-print
Dimensione 3.02 MB
Formato Adobe PDF
3.02 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11584/121798
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 83
  • ???jsp.display-item.citation.isi??? 85
social impact