Multi-face modeling for rapid prototyping of discrete event control systems

Abstract

This paper reports a methodology for the multi-face modeling of discrete-event systems to be used in a framework for the rapid prototyping of supervisory controllers. However Supervisory Control Theory provides a possibility for the synthesis of supervisors proven to respect the specifications, it uses ordinary finite state machines and operations resulting in state explosion, so therefore hardly applicable for large-scale systems. The aim of the presented methodology is to simplify and accelerate controller design procedure by model reduction. By the introduction of task philosophy and component-based design, a methodology for obtaining moderate-size functional models from technological representations is presented. The paper gives definitions for models serving as different representations of components and for the conversion between them.