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]
@inproceedings{ZhangZXJ15,
title = {Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks},
author = {Kuize Zhang and Lijun Zhang and Lihua Xie and Zhe Jiang},
year = {2015},
doi = {10.1109/CDC.2015.7402876},
url = {http://dx.doi.org/10.1109/CDC.2015.7402876},
researchr = {https://researchr.org/publication/ZhangZXJ15},
cites = {0},
citedby = {0},
pages = {4214-4219},
booktitle = {54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015},
publisher = {IEEE},
isbn = {978-1-4799-7886-1},
}