Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications

DOI10.1007/978-3-540-78929-1_39MaRDI QIDQ3523135zbMATH OpenOpenAlexFDO

Authors Boyan Yordanov, Calin Belta

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

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

Recommendations

• Parameter synthesis through temporal logic specifications
• Temporal Logic Control of Discrete-Time Piecewise Affine Systems
• LTL parameter synthesis of parametric timed automata
• A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
• Parameter Synthesis for Timed Kripke Structures
• scientific article; zbMATH DE number 1318522
• Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
• Time-constrained temporal logic control of multi-affine systems
• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic

Cited in

(3)

• Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications
• Parameter synthesis through temporal logic specifications
• Reachability and stabilization of discrete-time affine systems with disturbances

Describes a project that uses

Uses Software

• RoVerGeNe

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523135)