COCOLOG: A Conditional Observer and Controller Logic for Finite Machines

DOI10.1137/S0363012992226636zbMATH Open0840.93007MaRDI QIDQ4862432FDOQ4862432

Authors: Peter E. Caines, Suning Wang 

Publication date: 4 July 1996

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

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

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)

Cited In (2)

• Title not available (Why is that?)
• 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)