State estimation in labeled time Petri net systems using observed modified state class graph
From MaRDI portal
Publication:6179959
DOI10.1016/j.ins.2023.119922MaRDI QIDQ6179959
No author found.
Publication date: 18 January 2024
Published in: Information Sciences (Search for Journal in Brave)
Cites Work
- State observer for DES under partial observation with time Petri nets
- Maximally permissive controller synthesis for time Petri nets
- Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
- State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
- Probabilistic Marking Estimation in Labeled Petri Nets
- Supervisory control of timed discrete-event systems
- Detectability Measure for State Estimation of Discrete Event Systems
- State Estimation of Multichannel Networked Discrete Event Systems
- Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
- Supervisory Control of Petri Nets in the Presence of Replacement Attacks
- Observer Construction for Polynomially Ambiguous Max-Plus Automata
- Marking Estimation in a Class of Time Labeled Petri Nets
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation
- Fault Diagnosis of Discrete Event Systems Under Unknown Initial Conditions
- Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”
- Observability of place/transition nets
- Efficient Reachability Analysis for Time Petri Nets
- Marking Estimation of Petri Nets With Silent Transitions
- Diagnosability Analysis of Labeled Time Petri Net Systems
- Verification of State-Based Opacity Using Petri Nets
- Minimum Initial Marking Estimation in Labeled Petri Nets
- Automated Technology for Verification and Analysis
- Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs
- Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
This page was built for publication: State estimation in labeled time Petri net systems using observed modified state class graph
