SICE Journal of Control, Measurement, and System Integration
Online ISSN : 1884-9970
Print ISSN : 1882-4889
ISSN-L : 1882-4889
CONTRIBUTED PAPERS
Control of Discrete Event Systems Using Condition/Event Nets and Partial Languages
Satoru HASHIZUMESusumu HASHIZUMETomoyuki YAJIMAKatsuaki ONOGI
Author information
JOURNALS FREE ACCESS

2012 Volume 5 Issue 3 Pages 139-146

Details
Abstract

In order to construct a rational framework of designing discrete event control systems, it is necessary to develop the method of modeling concurrent systems, describing control objectives, and synthesizing controllers based on the plant models and control objectives. If the control of discrete events is viewed as the manipulation of event occurrences, the role of a controller is to enable and inhibit the occurrences of events. This paper presents a framework for control of discrete event systems so as to achieve the desired behavior specified as a control objective. For this purpose, by using condition/event nets (C/E nets) as a modeling tool for discrete event systems and partial languages as a behavioral description tool for C/E nets, we formulate a control problem to synthesize a controller which guarantees that all and only the desired behaviors described by a partial language is possible. We then present the solvability and solution techniques of the formulated problem, together with the discussion about the design of discrete event control systems with uncontrollable and unobservable events.

Information related to the author
© 2012 The Society of Instrument and Control Engineers
Previous article Next article
feedback
Top