Synthese des Controleurs Optimaux pour les Systemes a Evenements Discrets

TL;DR

This paper presents a method for synthesizing optimal controllers for discrete event systems using finite automata, integrating formal methods and UML to improve system development quality.

Contribution

It introduces a systematic procedure for controller synthesis in discrete event systems, combining control theory with formal methods and UML for practical industrial application.

Findings

Method successfully synthesizes controllers for complex systems

Integrates formal methods with UML for system development

Enhances quality and reliability of discrete event system control

Abstract

In this paper, we introduce the problem of synthesizing optimal controllers for discrete event systems and we propose a procedure for solving this problem, where the method and specifications are represented by finite state automata and with increasing complexity. We will subscribe to the synthetic methodology by the control theory initiated by supervision by Ramadge and Wonham. For an illustration on a simple example, then a model with a complexity high. In this spirit, languages, methods and tools development used to specify and development must reach a level of quality to meet the requirements expressed. Face this situation, we are helping in this work the systematic use of formal methods in systems development cycles in the equipping and adapting the UML (Unified Modeling Language) which is the most exploited in industrial projects.