Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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