Login / Signup

WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving.

Yunus Emre SahinNecmiye Ozay
Published in: ICCPS (2016)
Keyphrases
  • sat solving
  • control system
  • sat solvers
  • electric power systems
  • neural network
  • optimal control
  • manufacturing systems
  • search tree