The Synthesis Toolbox - From modal automata to controller synthesis - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2005

The Synthesis Toolbox - From modal automata to controller synthesis

Résumé

In this paper we present the "Synthesis" software which is used to generate centralized or decentralized controllers for discrete event systems. This tool implements algorithms taken from several publications in the domain of the controller synthesis. This report can be used as a User's Guide for Synthesis but it presents also, some parts of the theoretical foundations of the software. In particular it presents an algorithm to translate multi-parity conditions into parity conditions. We illustrates the main features of the software on the generation of centralized and decentralized controllers for a simple railroad system.
Fichier principal
Vignette du fichier
RR-134205.pdf (283.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00349874 , version 1 (05-01-2009)

Identifiants

  • HAL Id : hal-00349874 , version 1

Citer

Gérald Point. The Synthesis Toolbox - From modal automata to controller synthesis. 2005. ⟨hal-00349874⟩

Collections

CNRS TDS-MACS
51 Consultations
49 Téléchargements

Partager

More