Login / Signup
WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving.
Yunus Emre Sahin
Necmiye Ozay
Published in:
ICCPS (2016)
Keyphrases
</>
sat solving
control system
sat solvers
electric power systems
neural network
optimal control
manufacturing systems
search tree