Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
From MaRDI portal
Publication:6068379
DOI10.1080/00207179.2022.2121764zbMath1530.93272MaRDI QIDQ6068379
No author found.
Publication date: 15 December 2023
Published in: International Journal of Control (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- State observer for DES under partial observation with time Petri nets
- Current-state opacity modelling and verification in partially observed Petri nets
- Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets
- Maximally permissive controller synthesis for time Petri nets
- State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
- Supervisory control of timed discrete-event systems
- Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
- Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis
- Marking Estimation in a Class of Time Labeled Petri Nets
- Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”
- Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
- Efficient Reachability Analysis for Time Petri Nets
- Marking Estimation of Petri Nets With Silent Transitions
- Verification of State-Based Opacity Using Petri Nets
- Minimum Initial Marking Estimation in Labeled Petri Nets
- Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
This page was built for publication: Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
