Login / Signup
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
Published in:
Autom. (2017)
Keyphrases
</>
high accuracy
high precision
preprocessing
dynamic programming
finite state machines
design process
similarity measure
cooperative
cost function
data management
knowledge base
high level
database systems
query processing
computational cost
clustering method