Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto, Davide Pezzuti. Design of decentralized critical observers for networks of finite state machines: A formal method approach. Automatica, 86:174-182, 2017. [doi]
@article{PolaSBP17,
title = {Design of decentralized critical observers for networks of finite state machines: A formal method approach},
author = {Giordano Pola and Elena De Santis and Maria Domenica Di Benedetto and Davide Pezzuti},
year = {2017},
doi = {10.1016/j.automatica.2017.08.025},
url = {https://doi.org/10.1016/j.automatica.2017.08.025},
researchr = {https://researchr.org/publication/PolaSBP17},
cites = {0},
citedby = {0},
journal = {Automatica},
volume = {86},
pages = {174-182},
}