Login / Signup
Synthesis of asynchronous controllers using integer linear programming.
Josep Carmona
José Manuel Colom
Jordi Cortadella
Fernando García-Vallés
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)
Keyphrases
</>
integer linear programming
bicriteria
controller synthesis
column generation
linear inequalities
control system
symmetry breaking
global constraints
boolean optimization
reinforcement learning
pseudo boolean
constraint programming