Pages that link to "Item:Q2023248"
From MaRDI portal
The following pages link to State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248):
Displaying 6 items.
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (Q2128087) (← links)
- Networked opacity for finite state machine with bounded communication delays (Q6071273) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)