• R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S.A. Smolka and E. Bartocci.  From Cardiac Cells to Genetic Regulatory Networks.   In Proc. of CAV'11, the 23rd International Conference on Computer Aided Verification, Cliff Lodge, Snowbird, Utah, USA, July, 2011, pages 396-411, Springer, LNCS, 6806  

Flavio's Fenton Minimal Conductance Model written in matlab (Single Cell):	Minimal Resistor Model written in matlab (Single Cell):  single_cell_mrm4V.m (E. Bartocci)
Global Optimal Linear Approximation Algorithm: optimalLinearApproximation.m segmentErr.m (R. Grosu, E. Bartocci)
Segmentation of Mode 1: mode1segmentation.m	Segmentation of Mode 2: mode2segmentation.m
Segmentation of Mode 3: mode3segmentation.m	Segmentation of Mode 4: mode4segmentation.m
1D Cable Comparison among the Minimal Resistor Model and the Piecewise MultiAffine Model:
Comparison with a Stimulus every 100 ms	Comparison with a Stimulus every 160 ms:
Comparison with a Stimulus every 200 ms	Comparison with a Stimulus every 310 ms:
Restitution:
Rovergene for Mac (64 bit for Matlab2009R updated) (Author G. Batt): RoVerGeNeMac64BitMatLab2009R.zip
Model File for Rovergene: (Authors: E. Bartocci, G. Batt, Colas Le Guernic, R. Grosu): cell_model.txt
Simulator of Rovergene Cell Model: (Author: E. Bartocci): sim_cell_model.m
Analysis Results: analysis_result.txt, KS_existsP.smv, KS_forallP.smv

This site is powered by: