In: IFIP Workshop on Algorithms and Architectures for= Real-Time Control: AARTC95; 3rd IFAC, pages 467-472. May 1995.
Abstract: The main purpose of this paper is to present the integrated use of= different formalisms and paradigms to specify control for discrete event systems targeted for real time operation. A synchronized colored Petri net model is used as a common formalism to accomodate the global specification; it integrates fuzzy control and rule based approximate reasoning, associated with other classical methodologies to specify control for discrete event systems. A set of criteria and procedures will be presented in order to accomodate those different paradigms in one global specification.