COCOLOG: A Conditional Observer and Controller Logic for Finite Machines

DOI10.1137/S0363012992226636MaRDI QIDQ4862432zbMATH OpenFDO

Authors Peter E. Caines, Suning Wang

Publication date 4 July 1996

Published in SIAM Journal on Control and Optimization (Search for Journal in Brave)

zbMATH Keywords

decidabilityobservationfinite state machinefirst-order languagesinput-output behaviourcontroller logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Observability (93B07) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) General systems theory (93A99)

Recommendations

• On Markovian Fragments of COCOLOG for Logic Control Systems
• scientific article; zbMATH DE number 795175
• Automated reasoning with function evaluation for COCOLOG
• scientific article; zbMATH DE number 744040
• Classical and Logic-Based Dynamic Observers for Finite Automata

Cited in

(2)

• scientific article; zbMATH DE number 744040 (Why is no real title available?)
• Discrete state estimators for systems on a lattice

This page was built for publication: COCOLOG: A Conditional Observer and Controller Logic for Finite Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4862432)