Classical and Logic-Based Dynamic Observers for Finite Automata
From MaRDI portal
Publication:3363151
DOI10.1093/IMAMCI/8.1.45zbMATH Open0734.93019OpenAlexW1991629273MaRDI QIDQ3363151FDOQ3363151
Authors: Peter E. Caines, Russell Greiner, Suning Wang 
Publication date: 1991
Published in: IMA Journal of Mathematical Control and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/imamci/8.1.45
Recommendations
- Observability of discrete event dynamic systems
- A novel matrix approach to observability analysis of finite automata
- State observation and diagnosis of discrete-event systems described by stochastic automata
- scientific article; zbMATH DE number 1836383
- Computing observers from observation policies in discrete-event systems
Cited In (12)
- Stabilizing observers
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- Discrete state estimators for systems on a lattice
- Cascade estimators for systems on a partial order
- State estimation for constant-time labeled automata under dense time
- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Verification of initial-state opacity in security applications of discrete event systems
- Detectability of labeled weighted automata over monoids
- Opacity of discrete event systems and its applications
- State estimation of max-plus automata with unobservable events
- COCOLOG: A Conditional Observer and Controller Logic for Finite Machines
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
This page was built for publication: Classical and Logic-Based Dynamic Observers for Finite Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3363151)
