Automatic error correction based on discrete controller synthesis - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Automatic error correction based on discrete controller synthesis

Mingming Ren
  • Fonction : Auteur
  • PersonId : 859577
Emil Dumitrescu

Résumé

The Discrete Controller Synthesis technique is used for automatic correction of design bugs in discrete event systems. A design method is proposed and illustrated extensively on a simple yet realistic example, modelling a serial to parallel converter. Simulation results show that this automatic error correction method can effectively mask errors without human intervention inside the design code. This automatic approach is more efficient and reliable than the traditional manual bug correction.
Fichier non déposé

Dates et versions

hal-00375504 , version 1 (15-04-2009)

Identifiants

  • HAL Id : hal-00375504 , version 1

Citer

Mingming Ren, Emil Dumitrescu. Automatic error correction based on discrete controller synthesis. 4th IFAC Conference on Management and Control of Production and Logistics, Sep 2007, Sibiu, Romania. ⟨hal-00375504⟩
146 Consultations
0 Téléchargements

Partager

More