Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks

Kuize Zhang, Lijun Zhang, Lihua Xie, Zhe Jiang. Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks. In 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015. pages 4214-4219, IEEE, 2015. [doi]

Abstract

Abstract is missing.