Login / Signup
Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability.
Raphael Julio Barcelos
João Carlos Basilio
Published in:
Autom. (2023)
Keyphrases
</>
discrete event systems
petri net
databases
neural network
cooperative
user interface
distributed systems
optimal solution
special case
formal methods