Modeling, simulation, estimation and boundedness analysis of discrete event systems
From MaRDI portal
Publication:2152875
DOI10.1007/s00500-019-04231-9zbMath1492.93111OpenAlexW2963390977WikidataQ127486365 ScholiaQ127486365MaRDI QIDQ2152875
Kamal Ben Othman, Atef Khedher
Publication date: 11 July 2022
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-019-04231-9
boundednessPetri netsdiscrete event systemsstate estimatorfastest non-decreasing trajectoryFCF systems
Cites Work
- State estimation and detection of changes in time interval models
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- On-line monitoring of large Petri net models under partial observation
- State observer for DES under partial observation with time Petri nets
- Model checking of time Petri nets using the state class timed automaton
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
- State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
- Probabilistic Marking Estimation in Labeled Petri Nets
- Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
- On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
- Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships
- Observability of place/transition nets
- Marking Estimation of Petri Nets With Silent Transitions
- Minimum Initial Marking Estimation in Labeled Petri Nets
- Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets
- Structuring acyclic Petri nets for reachability analysis and control
This page was built for publication: Modeling, simulation, estimation and boundedness analysis of discrete event systems
