loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03)
Verification of Control Properties in the Polyhedral Model
Mont Saint-Michel, France
June 24-June 26
ISBN: 0-7695-1923-7
ASCII Text
x 
 
David Cachera, Katell Morin-Allory, "Verification of Control Properties in the Polyhedral Model," Formal Methods and Models for Co-Design, ACM/IEEE International Conference on, pp. 265, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/MEMCOD.2003.1210111,
author = {David Cachera and Katell Morin-Allory},
title = {Verification of Control Properties in the Polyhedral Model},
journal ={Formal Methods and Models for Co-Design, ACM/IEEE International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-1923-7},
pages = {265},
doi = {http://doi.ieeecomputersociety.org/10.1109/MEMCOD.2003.1210111},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Formal Methods and Models for Co-Design, ACM/IEEE International Conference on
TI - Verification of Control Properties in the Polyhedral Model
SN - 0-7695-1923-7
SP
EP
A1 - David Cachera,
A1 - Katell Morin-Allory,
PY - 2003
KW - null
VL - 0
JA - Formal Methods and Models for Co-Design, ACM/IEEE International Conference on
ER -
 
David Cachera, IRISA, Campus de Beaulieu
Katell Morin-Allory, IRISA, Campus de Beaulieu
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.
Citation:
David Cachera, Katell Morin-Allory, "Verification of Control Properties in the Polyhedral Model," memocode, pp.265, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03), 2003
Usage of this product signifies your acceptance of the Terms of Use.