Verification of Control Properties in the Polyhedral Model - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2003

Verification of Control Properties in the Polyhedral Model

David Cachera

Résumé

We propose a combination of heuristic methods to prove properties of control signals for regular systems defined by means of affine recurrence equations (AREs). We benefit from the intrinsic regularity of the polyhedral model to handle parameterized systems in a symbolic way. Despite some restrictions on the form of equations we are able to handle, our techniques apply well for a useful set of properties and led us to discover some errors in actual systems. These techniques have been implemented in the MMAlpha environment.
Fichier principal
Vignette du fichier
RR-4756.pdf (214.52 Ko) Télécharger le fichier

Dates et versions

inria-00071830 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071830 , version 1

Citer

David Cachera, Katell Morin-Allory. Verification of Control Properties in the Polyhedral Model. [Research Report] RR-4756, INRIA. 2003. ⟨inria-00071830⟩
60 Consultations
101 Téléchargements

Partager

Gmail Facebook X LinkedIn More