Pages that link to "Item:Q3363151"
From MaRDI portal
The following pages link to Classical and Logic-Based Dynamic Observers for Finite Automata (Q3363151):
Displaying 10 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)
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions (Q998679) (← links)
- Cascade estimators for systems on a partial order (Q1024527) (← links)
- Stabilizing observers (Q1336742) (← links)
- Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- State estimation of max-plus automata with unobservable events (Q2280664) (← 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)