This paper concerns the design of optimal control sequences for timed Petri nets under earliest firing policy. Optimality is defined with respect to the sequences duration. The proposed method computes the control firing sequence and its duration by solving integer linear problems constrained by a set of matrix inequalities that must be fulfilled by a sequence of elementary firing count vectors. To reduce the error that may affect the estimation of the sequence duration, an expansion of the net structure is proposed with respect to the time parameters. The estimation error is proved to be bounded depending on a granularity parameter used for expansion.

Control design for timed Petri nets based on LMIs and structure expansion

Basile, F
2018-01-01

Abstract

This paper concerns the design of optimal control sequences for timed Petri nets under earliest firing policy. Optimality is defined with respect to the sequences duration. The proposed method computes the control firing sequence and its duration by solving integer linear problems constrained by a set of matrix inequalities that must be fulfilled by a sequence of elementary firing count vectors. To reduce the error that may affect the estimation of the sequence duration, an expansion of the net structure is proposed with respect to the time parameters. The estimation error is proved to be bounded depending on a granularity parameter used for expansion.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: https://hdl.handle.net/11386/4720605
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact