Sign in

Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability.

Raphael Julio BarcelosJoã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