Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-30579-8_1 ◽

2005 ◽

pp. 1-24 ◽

Author(s):

Patrick Cousot

Keyword(s):

Semidefinite Programming ◽

Lagrangian Relaxation

Download Full-text

A Proximal‐Projection Bundle Method for Lagrangian Relaxation, Including Semidefinite Programming

SIAM Journal on Optimization ◽

10.1137/050639284 ◽

2007 ◽

Vol 17 (4) ◽

pp. 1015-1034 ◽

Author(s):

Krzysztof C. Kiwiel

Keyword(s):

Semidefinite Programming ◽

Lagrangian Relaxation ◽

Download Full-text

Lagrangian Relaxation Based Inter-Layer Signal Via Assignment for 3-D ICs

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e92.a.1080 ◽

2009 ◽

Vol E92-A (4) ◽

pp. 1080-1087 ◽

Author(s):

Song CHEN ◽

Liangwei GE ◽

Mei-Fang CHIANG ◽

Takeshi YOSHIMURA

Keyword(s):

Lagrangian Relaxation

Download Full-text

A Semidefinite Programming Approach to Source Localization Using Differential Received Signal Strength

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e98.a.745 ◽

2015 ◽

Vol E98.A (2) ◽

pp. 745-748

Author(s):

Yan Shen DU ◽

Ping WEI ◽

Hua Guo ZHANG ◽

Hong Shu LIAO

Keyword(s):

Semidefinite Programming ◽

Source Localization ◽

Signal Strength ◽

Received Signal Strength ◽

Programming Approach

Download Full-text

Distributed Model Predictive Control for a Class of Hybrid System Based on Lagrangian Relaxation

4th IFAC Conference on Analysis and Design of Hybrid Systems ◽

10.3182/20120606-3-nl-3011.00008 ◽

2012 ◽

Author(s):

Bourdais, Romain

Keyword(s):

Model Predictive Control ◽

Lagrangian Relaxation ◽

Predictive Control ◽

Hybrid System ◽

Distributed Model ◽

Distributed Model Predictive Control

Download Full-text

Review for "Combining Lagrangian relaxation, benders decomposition, and the level bundle method in the stochastic hydrothermal unit‐commitment problem"

10.1002/2050-7038.12514/v2/review2 ◽

2020 ◽

Keyword(s):

Lagrangian Relaxation ◽

Benders Decomposition ◽

Unit Commitment ◽

Bundle Method ◽

Unit Commitment Problem ◽

Commitment Problem ◽

Level Bundle Method

Download Full-text

Opportunistic Lagrangian Relaxation for Joint Replacement Policy

ACTA AUTOMATICA SINICA ◽

10.3724/sp.j.1004.2013.00263 ◽

2014 ◽

Vol 39 (3) ◽

pp. 263-271

Author(s):

Guo-Yu TU ◽

Peter B LUH ◽

Qian-Chuan ZHAO

Keyword(s):

Lagrangian Relaxation ◽

Joint Replacement ◽

Replacement Policy

Download Full-text

Homogeneous Self-Dual Algorithms for Stochastic Semidefinite Programming

10.21236/ada544763 ◽

2011 ◽

Author(s):

Shengping Jin ◽

K. A. Ariyawansa ◽

Yuntao Zhu

Keyword(s):

Semidefinite Programming ◽

Stochastic Semidefinite Programming

Download Full-text

Stochastic Semidefinite Programming: Applications and Algorithms

10.21236/ada573242 ◽

2012 ◽

Author(s):

K. A. Ariyawansa

Keyword(s):

Semidefinite Programming ◽

Stochastic Semidefinite Programming

Download Full-text

Formulations and a Lagrangian relaxation approach for the prize collecting traveling salesman problem

International Transactions in Operational Research ◽

10.1111/itor.13039 ◽

2021 ◽

Author(s):

Guido Pantuza ◽

Mauricio C. de Souza

Keyword(s):

Traveling Salesman Problem ◽

Lagrangian Relaxation ◽

Traveling Salesman ◽

Prize Collecting

Download Full-text

Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares

Journal of Symbolic Computation ◽

10.1016/j.jsc.2021.01.003 ◽

2021 ◽

Vol 107 ◽

pp. 67-105

Author(s):

Elisabeth Gaar ◽

Daniel Krenn ◽

Susan Margulies ◽

Angelika Wiegele

Keyword(s):

Semidefinite Programming ◽

Sums Of Squares

Download Full-text