Control Synthesis for Large Collections of Systems with Mode-Counting Constraints.

Petter Nilsson Necmiye Ozay

Published in: HSCC (2016)

Keyphrases

building blocks
control system
complex systems
databases
expert systems
data mining
constrained optimization
document collections
management system
logic programs
constraint programming
optimal control
metadata
global constraints
control strategies
linear constraints
dynamic constraints