# Input-to-State Stability Mapping for Nonlinear Control Systems Using Quantifier Elimination

> Research article (2018 European Control Conference (ECC), 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2903360697](https://www.wikidata.org/wiki/openalex:W2903360697)  
**Source**: https://4ort.xyz/entity/input-to-state-stability-mapping-for-nonlinear-control-systems-using-quantifier-elimination