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]

@article{HanC18-2,
  title = {A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata},
  author = {Xiaoguang Han and Zengqiang Chen},
  year = {2018},
  doi = {10.1016/j.jfranklin.2018.09.009},
  url = {https://doi.org/10.1016/j.jfranklin.2018.09.009},
  researchr = {https://researchr.org/publication/HanC18-2},
  cites = {0},
  citedby = {0},
  journal = {J. Franklin Institute},
  volume = {355},
  number = {17},
  pages = {8642-8663},
}