Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications

Boyan Yordanov and Calin Belta

Details

Publication typeInproceedings
Published inProceedings of the 11th international workshop on Hybrid Systems (HSCC)
URLpdf/hscc08.pdf
Pages542–555
ISBN978-3-540-78928-4
AddressBerlin, Heidelberg
PublisherSpringer-Verlag
> Publications > Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications