Login / Signup

New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems.

Raja OueslatiOlfa MosbahiMohamed KhalguiSamir Ben Ahmed
Published in: ICINCO (1) (2014)
Keyphrases
  • control system
  • low cost
  • model checking
  • solution quality
  • data sets
  • learning algorithm
  • search engine
  • computer vision
  • information systems
  • optimal solution
  • search algorithm
  • modeling language
  • control strategies