Pages that link to "Item:Q2982770"
From MaRDI portal
The following pages link to State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions (Q2982770):
Displayed 16 items.
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Decentralized state estimation and diagnosis of p-time labeled Petri nets systems (Q2058497) (← links)
- Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets (Q2063093) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← 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)
- State estimation of max-plus automata with unobservable events (Q2280664) (← links)
- Approximated timed reachability graphs for the robust control of discrete event systems (Q2330041) (← links)
- Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
- Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships (Q5213917) (← links)
- Liveness enforcement for production systems modeled by time Petri nets (Q6052675) (← links)
- Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net (Q6053940) (← links)
- Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions (Q6068379) (← links)
- State estimation in labeled time Petri net systems using observed modified state class graph (Q6179959) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)
- Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)