Login / Signup

Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems.

Sergio GuarroÜmit ÖzgünerTunc AldemirMatt KnudsonArda KurtMichael YauMohammad HejaseSteve Kwon
Published in: NFM (2016)
Keyphrases
  • control system
  • main contribution
  • data driven
  • database
  • formal model
  • real time
  • conceptual framework
  • neural network
  • artificial intelligence
  • social networks
  • decision making
  • formal methods