Verification of Control Properties in the Polyhedral Model

David Cachera 1 Katell Morin-Allory 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00071830
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 6:55:13 PM
Last modification on : Friday, November 16, 2018 - 1:21:51 AM
Long-term archiving on : Sunday, April 4, 2010 - 10:40:12 PM

Identifiers

  • HAL Id : inria-00071830, version 1

Citation

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

Share

Metrics

Record views

121

Files downloads

138