Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications

DOI10.1007/978-3-540-78929-1_39zbMath1144.93321OpenAlexW1568845987MaRDI QIDQ3523135

Calin Belta, Boyan Yordanov

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_39

zbMATH Keywords

formal verificationpiecewise affine systems

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Control/observation systems in abstract spaces (93C25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Reachability and stabilization of discrete-time affine systems with disturbances ⋮ Parameter Synthesis Through Temporal Logic Specifications

Uses Software

• RoVerGeNe

This page was built for publication: Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications