Offline analysis of the relaxed upper boundedness for online estimation of optimal event sequences - Université d'Angers Accéder directement au contenu
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2024

Offline analysis of the relaxed upper boundedness for online estimation of optimal event sequences

Résumé

The aim of this paper is the analysis of the property of the relaxed structurally boundedness of the unobservable subnet of the Petri net, which brings a condition guaranteeing the finitude of all possible sequence lengths in the context of an on-line estimation in Partially Observable Petri Nets relevant to a sliding horizon or a receding horizon starting from the initial marking. Based on specific invariants defined over the real numbers, the approach focuses on an offline structural analysis, that is, the determination of the parts of the unobservable subnet, where an online estimation for any criterion can be made. The decomposition-composition technique is based on a block triangular form obtained with any technique. The composition of the substructures leads to a propagation of the relaxed structurally boundedness property through the structure. The study of a large-scale manufacturing system shows that the direct treatment of the large system system can be avoided and that the triangular form brings a sequential treatment allowing a computation based on smaller systems independently of the resolution of the complete system.
Fichier principal
Vignette du fichier
manuscript-version-2.pdf (385.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04480357 , version 1 (27-02-2024)

Identifiants

  • HAL Id : hal-04480357 , version 1

Citer

Philippe Declerck. Offline analysis of the relaxed upper boundedness for online estimation of optimal event sequences. Discrete Event Dynamic Systems, In press. ⟨hal-04480357⟩
9 Consultations
11 Téléchargements

Partager

Gmail Facebook X LinkedIn More