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):
Displaying 19 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)
- 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)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)
- State estimation for constant-time labeled automata under dense time (Q6632510) (← links)
- An extremum timed extended reachability graph for temporal analysis of time Petri nets (Q6645150) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)
