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

Xiaoguang Han, Zengqiang Chen. A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata. J. Franklin Institute, 355(17):8642-8663, 2018. [doi]

Abstract

Abstract is missing.