Title :
Lattice structures and hierarchical COCOLOG for finite machines
Author :
Wei, Y.J. ; Caines, P.E.
Author_Institution :
Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
Abstract :
The theory of the lattices of dynamically consistent partition machines of a given finite machine ℳ is briefly reviewed. A hierarchical family of COCOLOGs, called HICOLOG, is introduced to logically express multilevel control theories for ℳ. Communication takes place between the COCOLOG theories at each level of a hierarchical COCOLOG system via two sets of extra-logical rules called the instantiation rule and block membership rule. Following a brief description of a two level HICOLOG system, an example is presented of the realization of a hierarchical solution to a reachability problem
Keywords :
discrete event systems; finite state machines; formal logic; hierarchical systems; observers; reachability analysis; HICOLOG; block membership rule; conditional observer and control logic; discrete event systems; finite machines; hierarchical COCOLOG system; instantiation rule; lattice structures; logical rules; multilevel control theory; reachability; Automata; Automatic control; Control systems; Control theory; Discrete event systems; Hierarchical systems; Lattices; Level control; Logic; Process control;
Conference_Titel :
Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on
Conference_Location :
Lake Buena Vista, FL
Print_ISBN :
0-7803-1968-0
DOI :
10.1109/CDC.1994.411305
