Pages that link to "Item:Q5282235"
From MaRDI portal
The following pages link to Marking Estimation of Petri Nets With Silent Transitions (Q5282235):
Displayed 18 items.
- Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems (Q547898) (← links)
- Fault detection for discrete event systems using Petri nets with unobservable transitions (Q710706) (← links)
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets (Q843985) (← links)
- On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168) (← links)
- Decentralized observability of discrete event systems with synchronizations (Q1679893) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- Decentralized state estimation and diagnosis of p-time labeled Petri nets systems (Q2058497) (← links)
- Modeling, simulation, estimation and boundedness analysis of discrete event systems (Q2152875) (← links)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- State estimation of max-plus automata with unobservable events (Q2280664) (← links)
- Fault model identification and synthesis in Petri nets (Q2348378) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions (Q6068379) (← links)
- Supervisory control of discrete-event systems under external attacks (Q6081283) (← links)
- State estimation in labeled time Petri net systems using observed modified state class graph (Q6179959) (← links)