Verification of Control Properties in the Polyhedral Model - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2003

Verification of Control Properties in the Polyhedral Model

David Cachera

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00071830 , version 1

Cite

David Cachera, Katell Morin-Allory. Verification of Control Properties in the Polyhedral Model. [Research Report] RR-4756, INRIA. 2003. ⟨inria-00071830⟩
54 View
99 Download

Share

Gmail Facebook X LinkedIn More