NDLI: Cocolog: a Conditional Observer and Controller Logic for Finite Machines

Please wait, while we are loading the content...

Cocolog: a Conditional Observer and Controller Logic for Finite Machines

Content Provider	Semantic Scholar
Author	Caines, Elizabeth
Copyright Year	1994
Abstract	The problem of observation and control for partially observed input-state-output machines is formulated in terms of a tree of rst order logical theories. A set of rst order languages for the description of the controlled evolution and state estimation of any given machine M is speciied; further, extra-logical conditional control rules are formulated so that closed loop control actions occur when extra-logically speciied past observation dependent conditions are fulllled. In particular, conditional control rules may include commands that steer the system state from a current partially observed state (estimate) to a target state, if such a sequence of controls can be proven to exist. Starting from a general theory of M at the initial instant, observations on the input-output behaviour of the system at any later instant are accepted by the system as new axioms; these are then used together with the previously generated theory to generate the current theory. The acronym COCOLOG is used to denote the family of rst order conditional observer and controller logics for any given input-state-output system. A semantics is supplied for each COCOLOG system in terms of interpretations of controlled transitions on a tree indexed by the possible sequences of input-output observations. Extra-logical rules, including the conditional control rules, relating members of the family of theories of a COCOLOG system are presented in the form of a set of meta-level rules. Following the complete deenition of a COCOLOG system, the consistency and completeness of the rst order theories in a COCOLOG system are established, decidability is obtained using a unique model property and examples of the operation of a COCOLOG logic control system are given.
File Format	PDF HTM / HTML
Language	English
Access Restriction	Open
Subject Keyword	Acronyms CDISC ADAS-Cog - Commands Summary Score Control system Controllers Index Interpretation Process Languages Logic Control Providing (action) Rule (guideline)
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in