Login / Signup
Exactness verification of upper-bound relaxations derived via parameter-dependent multipliers for rational uncertainty blocks.
Daisuke Maruyama
Izumi Masubuchi
Published in:
CACSD (2010)
Keyphrases
</>
upper bound
lower bound
upper bounding
worst case
branch and bound algorithm
closed form expressions
formal verification
linear programming
model checking
lagrangian relaxation
branch and bound
decision making
genetic algorithm
lower and upper bounds
data sets
digital images
fractal image coding