Synthese des Controleurs Optimaux pour les Systemes a Evenements Discrets

Autor:	Ndeko, Jean Marie Moanda, Mongo, Junior Jugis Bakola
Rok vydání:	2011
Předmět:	Computer Science - Formal Languages and Automata Theory Computer Science - Systems and Control
Druh dokumentu:	Working Paper
Popis:	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. Comment: l'article pr\'esent\'e \`a 6 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1102.0371 Zobrazit plný text záznamu View this record from Arxiv