Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Linear Algebraic Formalism for State Estimation of Labeled Petri Net

Abstract : In this paper we present an algebraical approach for the state estimation of discrete event systems, partially observed and modeled by labeled Petri nets. Our estimation approach is based on the on-line observation of firing occurrences of some transitions to determine the set of all possible actual sequences and markings. This approach has been used to minimize the computation time and space for the state estimation using an off-line procedure.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02525484
Contributeur : Okina Université d'Angers <>
Soumis le : mardi 31 mars 2020 - 01:50:02
Dernière modification le : mercredi 29 avril 2020 - 14:39:51

Identifiants

Collections

Citation

Amira Chouchane, Philippe Declerck, Othman Nasri, Atef Kheder, Anas Kamoun. Linear Algebraic Formalism for State Estimation of Labeled Petri Net. STA'2016, Dec 2016, Sousse, Tunisia. pp.717-722, ⟨10.1109/STA.2016.7952061⟩. ⟨hal-02525484⟩

Partager

Métriques

Consultations de la notice

21