Pages that link to "Item:Q5267072"
From MaRDI portal
The following pages link to Observability of place/transition nets (Q5267072):
Displayed 15 items.
- Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems (Q547898) (← links)
- Periodic and non-concurrent error detection and identification in one-hot encoded FSMs (Q705464) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Decentralized observability of discrete event systems with synchronizations (Q1679893) (← links)
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions (Q1773100) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← 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)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← 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)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← 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)