Login / Signup

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.

Robert P. GoldmanDaniel BryceMichael J. S. PelicanDavid J. MuslinerKyungmin Bae
Published in: NFM (2016)
Keyphrases
  • hybrid architecture
  • process management
  • control system
  • agent architecture
  • database systems
  • artificial intelligence
  • information systems
  • object oriented
  • power system
  • planning problems