Pages that link to "Item:Q3363151"
From MaRDI portal
The following pages link to Classical and Logic-Based Dynamic Observers for Finite Automata (Q3363151):
Displayed 6 items.
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- Cascade estimators for systems on a partial order (Q1024527) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Discrete state estimators for systems on a lattice (Q2491912) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)