On Markovian Fragments of COCOLOG for Logic Control Systems

DOI10.1137/S0363012993254539MaRDI QIDQ4715974zbMATH OpenFDO

Authors Yuanjun Wei, Peter E. Caines

Publication date 10 April 1997

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

Full work available at URL https://doi.org/10.1137/S0363012993254539

zbMATH Keywords

conditional observer and controller logicfinite state machinelogic feedback controlproblems with incomplete informationtheorem-proving

Mathematics Subject Classification ID

Classical first-order logic (03B10) First-order arithmetic and fragments (03F30) Feedback control (93B52) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Control/observation systems with incomplete information (93C41)

Recommendations

• scientific article; zbMATH DE number 795175
• COCOLOG: A Conditional Observer and Controller Logic for Finite Machines
• Automated reasoning with function evaluation for COCOLOG
• scientific article; zbMATH DE number 744040

Cited in

(3)

• Automated reasoning with function evaluation for COCOLOG
• scientific article; zbMATH DE number 795175 (Why is no real title available?)
• COCOLOG: A Conditional Observer and Controller Logic for Finite Machines

This page was built for publication: On Markovian Fragments of COCOLOG for Logic Control Systems

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