Thumbnail
Access Restriction
Subscribed

Author Martinez-Mascarua, C. ♦ Caines, P.E.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1997
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Other branches of engineering
Subject Keyword Control systems ♦ Logic ♦ Discrete event systems ♦ Force control ♦ Automata ♦ System testing ♦ State estimation ♦ Yield estimation ♦ State feedback
Abstract In the COCOLOG framework, a discrete event system is modeled by a finite input-state-output system. A COCOLOG logic control system is a tree of logical theories which evolve with the observation of the input-output system's behaviour, to which a set of control rules is associated that permit the choice of control action to be executed by the system at each time instant. This work determines conditions permitting the formulation and analysis of a COCOLOG controller as a finite input-state-output system, and proves the existence of such systems.
Description Author affiliation: Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada (Martinez-Mascarua, C.)
ISBN 0780341872
ISSN 01912216
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1997-12-12
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 563.97 kB
Page Count 6
Starting Page 3574
Ending Page 3579


Source: IEEE Xplore Digital Library