Classical and Logic-Based Dynamic Observers for Finite Automata

DOI10.1093/IMAMCI/8.1.45MaRDI QIDQ3363151zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

state estimation problemlogic-based dynamic observer

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Observability (93B07) General systems theory (93A99)

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
• An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
• State estimation of max-plus automata with unobservable events
• COCOLOG: A Conditional Observer and Controller Logic for Finite Machines

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)