Model checking discrete time piecewise affine systems: application to gene networks

Boyan Yordanov, Calin Belta, and Grégory Batt

Details

Publication typeInproceedings
Published inEuropean Control Conference (ECC)
URLpdf/ecc07.pdf
> Publications > Model checking discrete time piecewise affine systems: application to gene networks