# Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm

> Research article (2015 54th IEEE Conference on Decision and Control (CDC), 2015) · cited 34× · AI/ML

**Wikidata**: [openalex:W2962992763](https://www.wikidata.org/wiki/openalex:W2962992763)  
**Source**: https://4ort.xyz/entity/controller-synthesis-with-inductive-proofs-for-piecewise-linear-systems-an-smt-based-algorithm