Login / Signup
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