Aggregation and multi-level control in discrete event dynamic systems

Cover title.Includes bibliographical references (p. 10).Research supported by the AFOSR. AFOSR-88-0032 Research supported by the Army Research Office. DAAL03-86-K-0171Cüneyt M. Özveren, Alan S. Willsky

Aggregation and multi-level control in discrete event dynamic systems

Cover title.Includes bibliographical references (p. 52-53).Research supported by the Air Force Office of Scientific Research. AFOSR-88-0032 Research supported by the Army Research Office. DAAL-03-86-K-0171Cüneyt M. Özveren, Alan S. Willsky

An algebra of discrete event processes

This report deals with an algebraic framework for modeling and control of discrete event processes. The report consists of two parts. The first part is introductory, and consists of a tutorial survey of the theory of concurrency in the spirit of Hoare's CSP, and an examination of the suitability of such an algebraic framework for dealing with various aspects of discrete event control. To this end a new concurrency operator is introduced and it is shown how the resulting framework can be applied. It is further shown that a suitable theory that deals with the new concurrency operator must be developed. In the second part of the report the formal algebra of discrete event control is developed. At the present time the second part of the report is still an incomplete and occasionally tentative working paper