Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming [PDF]
2020 59th IEEE Conference on Decision and Control (CDC), 2020 There has been an increasing interest in using neural networks in closed-loop control systems to improve performance and reduce computational costs for on-line implementation. However, providing safety and stability guarantees for these systems is challenging due to the nonlinear and compositional structure of neural networks. In this paper, we propose
Hu, Haimin +3 more
openaire +2 more sources
Sieve-SDP: a simple facial reduction algorithm to preprocess semidefinite programs [PDF]
Mathematical Programming Computation, 2019 Changes wrt to previous version: very minor.
Yuzixuan +3 more
openaire +2 more sources
SDP Relaxation Methods for RSS/AOA-Based Localization in Sensor Networks
IEEE Access, 2020 With the fast development of new array technology and intelligent antenna, it is easier to obtain angle of arrival (AOA) measurements. Hybrid received signal strength (RSS) and AOA measurement techniques are proposed for the position computing in sensor ...
Hengnian Qi, Lufeng Mo, Xiaoping Wu
doaj +1 more source
New upper bounds for kissing numbers from semidefinite programming [PDF]
, 2006 Recently A. Schrijver derived new upper bounds for binary codes using semidefinite programming. In this paper we adapt this approach to codes on the unit sphere and we compute new upper bounds for the kissing number in several dimensions.
Bachoc, Christine, Vallentin, Frank
core +13 more sources
Journal of Modern Power Systems and Clean Energy, 2022 This paper proposes a voltage stability constrained optimal power flow (VSC-OPF) for an unbalanced distribution system with distributed generators (DGs) based on semidefinite programming (SDP).
Yanling Lin +4 more
doaj +1 more source
Linear semidefinite programming problems: regularisation and strong dual formulations
Журнал Белорусского государственного университета: Математика, информатика, 2020 Regularisation consists in reducing a given optimisation problem to an equivalent form where certain regularity conditions, which guarantee the strong duality, are fulfilled.
Olga I. Kostyukova +1 more
doaj +1 more source
Source Localization Using RSS Measurements with Sensor Position Uncertainty
International Journal of Distributed Sensor Networks, 2023 Received signal strength- (RSS-) based localization has attracted considerable attention for its low cost and easy implementation. In plenty of existing work, sensor positions, which play an important role in source localization, are usually assumed ...
Qi Wang, Xianqing Li
doaj +1 more source
Algebraic IDA-PBC for Polynomial Systems with Input Saturation: An SOS-based Approach
Revista Politécnica, 2019 : The necessity to deal with partial differential equations (PDEs) and the dissipation condition are the mainadversities in the application of Interconnection and Damping Assignment Passivity-Based Control (IDA-PBC). Recently,an algebraic solution of IDA-
Oscar B Cieza, Johann Reger
doaj +3 more sources
Quantum key distribution rates from semidefinite programming [PDF]
Quantum, 2023 Computing the key rate in quantum key distribution (QKD) protocols is a long standing challenge. Analytical methods are limited to a handful of protocols with highly symmetric measurement bases.
Mateus Araújo +4 more
doaj +1 more source
Motion Parameter Capturing of Multiple Mobile Targets in Robotic Sensor Networks
IEEE Access, 2018 A motion parameter capturing method is proposed to jointly estimate the initial positions and velocities of multiple mobile targets in robotic sensor networks.
Xiaoping Wu +4 more
doaj +1 more source