2011/02/02 by Jean Marie Moanda Ndeko, Ndeko, Jean Marie Moanda, Junior Jugis Bakola Mongo +1
Computer Science · Decision Sciences · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Petri Nets in System Modeling #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1102.0371
openalex publication_date 2011/02/02 · openalex created_date 2022/09/12 · openalex updated_date 2026/07/28
In this paper, we introduce the problem of synthesizing optimal controllers\nfor discrete event systems and we propose a procedure for solving this problem,\nwhere the method and specifications are represented by finite state automata\nand with increasing complexity. We will subscribe to the synthetic methodology\nby the control theory initiated by supervision by Ramadge and Wonham. For an\nillustration on a simple example, then a model with a complexity high. In this\nspirit, languages, methods and tools development used to specify and\ndevelopment must reach a level of quality to meet the requirements expressed.\nFace this situation, we are helping in this work the systematic use of formal\nmethods in systems development cycles in the equipping and adapting the UML\n(Unified Modeling Language) which is the most exploited in industrial projects.\n