View in EDS

Modeling and Analysis of Hybrid Systems Based on Time Interval Hybrid Petri Nets for State Estimation.

Saved in:
Bibliographic Details
Title: Modeling and Analysis of Hybrid Systems Based on Time Interval Hybrid Petri Nets for State Estimation.
Authors: Soltani, Khouloud1 soltani_khouloud@yahoo.com, Mlayeh, Hajer1 mlayehhajer@gmail.com, Khedher, Atef2 khedher_atef@yahoo.fr
Source: IAENG International Journal of Computer Science. Aug2025, Vol. 52 Issue 8, p2726-2737. 12p.
Subject Terms: Hybrid systems, System analysis, Time measurements, Dynamic models, Applied sciences, Defect tracking (Computer software development), Detectors
Abstract: The aim of this study is to analyze hybrid systems modeled using hybrid Petri nets at different time intervals. A new form of the state model is thus proposed, which explains the time-changing of the system. It provides the limit bounds for each element of the state vector. A new form of the state calculator is then set up to evaluate the overall state of the system as well as the inputs. The limit bounds are also provided by this estimator. Counting and dating methods are used to develop the state model and estimator. In the counting method, the system state is the number of triggered transitions, while in the dating method, it is the dates of these triggers. The obtained model and the estimator have the form bmin = Ax = bmax. They are applied to analyze a production process modeled by a time interval hybrid Petri net. This application highlights the robustness of the estimates of the state and the inputs. Finally, these models are also used to detect, locate and estimate defects, and the obtained results can be considered satisfactory. [ABSTRACT FROM AUTHOR]
Database: Supplemental Index
Description
Abstract:The aim of this study is to analyze hybrid systems modeled using hybrid Petri nets at different time intervals. A new form of the state model is thus proposed, which explains the time-changing of the system. It provides the limit bounds for each element of the state vector. A new form of the state calculator is then set up to evaluate the overall state of the system as well as the inputs. The limit bounds are also provided by this estimator. Counting and dating methods are used to develop the state model and estimator. In the counting method, the system state is the number of triggered transitions, while in the dating method, it is the dates of these triggers. The obtained model and the estimator have the form bmin = Ax = bmax. They are applied to analyze a production process modeled by a time interval hybrid Petri net. This application highlights the robustness of the estimates of the state and the inputs. Finally, these models are also used to detect, locate and estimate defects, and the obtained results can be considered satisfactory. [ABSTRACT FROM AUTHOR]
ISSN:1819656X