Current State Estimation of Timed Labeled Synchronized Petri Nets
In this paper, we address current-state estimation in Timed Labeled Synchronized Petri Nets (TLSPNs), a subclass of Timed Output Synchronized Petri Netsgaouar2024timed. We introduce the Synchronized State Class Graph to model the state space and propose its transformation into a State Class Interval Automaton (SCIA), a finite state automaton where continuous time is abstracted into tick events. In this framework, a construction algorithm for an SCIA observer is proposed, allowing for current-state estimation that is useful for various application ranging from control to analysis and verification.
Authors
- Rabah Ammour (ORCID: https://orcid.org/0000-0002-5939-3027)
- Dimitri Lefebvre (ORCID: https://orcid.org/0000-0001-7060-756X)
- Isabel Demongodin (ORCID: https://orcid.org/0000-0003-3463-3810)
- Mouna Gaouar
Institutions
- Centre National de la Recherche Scientifique (FR)
- Université Le Havre Normandie (FR)
- Aix-Marseille Université (FR)
- Laboratoire d’Informatique et Systèmes (FR)
- Centrale Méditerranée (FR)
- Groupe de Recherche en Electrotechnique et Automatique du Havre (FR)
Publication Details
- Journal
- IEEE Control Systems Letters
- Published
- 2025-01-01
- DOI
- https://doi.org/10.1109/lcsys.2025.3575242
- Citations
- 1
- Primary Topic
- Petri Nets in System Modeling
- Type
- article
- Field-Weighted Citation Impact
- 1.50
Funders
- Agence Nationale de la Recherche