Learn More
In this survey we review the many faces of the S-lemma, a result about the cor-rectness of the S-procedure. The basic idea of this widely used method came from control theory but it has important consequences in quadratic and semidefinite optimization, convex geometry and linear algebra as well. These were active research areas, but as there was little(More)
In this paper we investigate families of quadrics that have fixed intersections with two given hyperplanes. The cases when the two hyperplanes are parallel and when they are nonparallel are discussed. We show that these families can be described with only one parameter. In particular we show how the quadrics are transformed as the parameter changes. This(More)
Detecting infeasibility in conic optimization and providing certificates for infea-sibility pose a bigger challenge than in the linear case due to the lack of strong duality. In this paper we generalize the approximate Farkas lemma of Todd and Ye [12] from the linear to the general conic setting, and use it to propose stopping criteria for interior point(More)
We study the convex hull of the intersection of a convex set E and a disjunctive set. This intersection is at the core of solution techniques for Mixed Integer Convex Optimization. We prove that if there exists a cone K (resp., a cylinder C) that has the same intersection with the boundary of the disjunction as E, then the convex hull is the intersection of(More)
In this paper we introduce a novel reinforcement learning algorithm called event-learning. The algorithm uses events, ordered pairs of two consecutive states. We define event-value function and we derive learning rules. Combining our method with a well-known robust control method, the SDS algorithm, we introduce Robust Policy Heuristics (RPH). It is shown(More)
We investigate the derivation of disjunctive conic cuts for mixed integer second order cone optimization (MISOCO). These conic cuts characterize the convex hull of the intersection of a disjunctive set and the feasible set of a MISOCO problem. We present a full characterization of these inequalities when the disjunctive set considered is defined by parallel(More)