Design of decentralized critical observers for networks of finite state machines: A formal method approach

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]

Abstract

Abstract is missing.