Formalizing a Policy-based Compliance Control Solution with Event-B.

Laura González Raúl Ruggia

Published in: ICSOFT (2019)

Keyphrases

control policy
optimal solution
control system
genetic algorithm
solution quality
data sets
linear equations
control problems
integer programming
stochastic control
policy making
control theory
optimal control
control strategy
solution space
closed form
multi agent
objective function
image sequences