# A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata

> Research article (Journal of the Franklin Institute, 2018) · cited 18× · AI/ML

**Wikidata**: [openalex:W2893826376](https://www.wikidata.org/wiki/openalex:W2893826376)  
**Source**: https://4ort.xyz/entity/a-matrix-based-approach-to-verifying-stability-and-synthesizing-optimal-stabilizing-controllers-for-finite-state-automat