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]

Authors

Kuize Zhang

This author has not been identified. Look up 'Kuize Zhang' in Google

Lijun Zhang

This author has not been identified. It may be one of the following persons: Look up 'Lijun Zhang' in Google

Lihua Xie

This author has not been identified. Look up 'Lihua Xie' in Google

Zhe Jiang

This author has not been identified. Look up 'Zhe Jiang' in Google