Login / Signup

Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.

Guillaume DupontYamine Aït AmeurNeeraj Kumar SinghMarc Pantel
Published in: ACM Trans. Embed. Comput. Syst. (2021)
Keyphrases
  • hybrid systems
  • black box
  • intelligent systems
  • neural network
  • artificial intelligence
  • decision making
  • soft computing
  • learning algorithm
  • multi agent systems
  • expert systems
  • multi class
  • meta learning