Automatic generation of formal models for diagnosability of DES.

Roberto Nardone Gianmaria De Tommasi Nicola Mazzocca Alfredo Pironti Valeria Vittorini

Published in: ETFA (2018)

Keyphrases

formal models
formal model
automatically generate
rule based systems
discrete event
discrete event systems
fault diagnosis
process model
global consistency
neural network
knowledge discovery
generation method
real time
petri net
dynamic systems
database systems
artificial intelligence
automatically generating