-
A Sequential Deep Learning Algorithm for Sampled Mixed-integer Optimisation Problems
Authors:
Mohammadreza Chamanbaz,
Roland Bouffanais
Abstract:
Mixed-integer optimisation problems can be computationally challenging. Here, we introduce and analyse two efficient algorithms with a specific sequential design that are aimed at dealing with sampled problems within this class. At each iteration step of both algorithms, we first test the feasibility of a given test solution for each and every constraint associated with the sampled optimisation at…
▽ More
Mixed-integer optimisation problems can be computationally challenging. Here, we introduce and analyse two efficient algorithms with a specific sequential design that are aimed at dealing with sampled problems within this class. At each iteration step of both algorithms, we first test the feasibility of a given test solution for each and every constraint associated with the sampled optimisation at hand, while also identifying those constraints that are violated. Subsequently, an optimisation problem is constructed with a constraint set consisting of the current basis -- namely, the smallest set of constraints that fully specifies the current test solution -- as well as constraints related to a limited number of the identified violating samples. We show that both algorithms exhibit finite-time convergence towards the optimal solution. Algorithm 2 features a neural network classifier that notably improves the computational performance compared to Algorithm 1. We quantitatively establish these algorithms' efficacy through three numerical tests: robust optimal power flow, robust unit commitment, and robust random mixed-integer linear program.
△ Less
Submitted 5 March, 2023; v1 submitted 25 January, 2023;
originally announced January 2023.
-
A Physics-Based Attack Detection Technique in Cyber-Physical Systems: A Model Predictive Control Co-Design Approach
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Roland Bouffanais
Abstract:
In this paper a novel approach to co-design controller and attack detector for nonlinear cyber-physical systems affected by false data injection (FDI) attack is proposed. We augment the model predictive controller with an additional constraint requiring the future---in some steps ahead---trajectory of the system to remain in some time-invariant neighborhood of a properly designed reference traject…
▽ More
In this paper a novel approach to co-design controller and attack detector for nonlinear cyber-physical systems affected by false data injection (FDI) attack is proposed. We augment the model predictive controller with an additional constraint requiring the future---in some steps ahead---trajectory of the system to remain in some time-invariant neighborhood of a properly designed reference trajectory. At any sampling time, we compare the real-time trajectory of the system with the designed reference trajectory, and construct a residual. The residual is then used in a nonparametric cumulative sum (CUSUM) anomaly detector to uncover FDI attacks on input and measurement channels. The effectiveness of the proposed approach is tested with a nonlinear model regarding level control of coupled tanks.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
Robust Stabilization of Resource Limited Networked Control Systems Under Denial-of-Service Attack
Authors:
Niladri Sekhar Tripathy,
Mohammadreza Chamanbaz,
Roland Bouffanais
Abstract:
In this paper, we consider a class of denial-of-service (DoS) attacks, which aims at overloading the communication channel. On top of the security issue, continuous or periodic transmission of information within feedback loop is necessary for the effective control and stabilization of the system. In addition, uncertainty---originating from variation of parameters or unmodeled system dynamics---pla…
▽ More
In this paper, we consider a class of denial-of-service (DoS) attacks, which aims at overloading the communication channel. On top of the security issue, continuous or periodic transmission of information within feedback loop is necessary for the effective control and stabilization of the system. In addition, uncertainty---originating from variation of parameters or unmodeled system dynamics---plays a key role in the system's stability. To address these three critical factors, we solve the joint control and security problem for an uncertain discrete-time Networked Control System (NCS) subject to limited availability of the shared communication channel. An event-triggered-based control and communication strategy is adopted to reduce bandwidth consumption. To tackle the uncertainty in the system dynamics, a robust control law is derived using an optimal control approach based on a virtual nominal dynamics associated with a quadratic cost-functional. The conditions for closed-loop stability and aperiodic transmission rule of feedback information are derived using the discrete-time Input-to-State Stability theory. We show that the proposed control approach withstands a general class of DoS attacks, and the stability analysis rests upon the characteristics of the attack signal. The results are illustrated and validated numerically with a classical NCS batch reactor system.
△ Less
Submitted 12 September, 2019;
originally announced September 2019.
-
Randomized Constraints Consensus for Distributed Robust Mixed-Integer Programming
Authors:
Mohammadreza Chamanbaz,
Giuseppe Notarstefano,
Francesco Sasso,
Roland Bouffanais
Abstract:
In this paper, we consider a network of processors aiming at cooperatively solving mixed-integer convex programs subject to uncertainty. Each node only knows a common cost function and its local uncertain constraint set. We propose a randomized, distributed algorithm working under asynchronous, unreliable and directed communication. The algorithm is based on a local computation and communication p…
▽ More
In this paper, we consider a network of processors aiming at cooperatively solving mixed-integer convex programs subject to uncertainty. Each node only knows a common cost function and its local uncertain constraint set. We propose a randomized, distributed algorithm working under asynchronous, unreliable and directed communication. The algorithm is based on a local computation and communication paradigm. At each communication round, nodes perform two updates: (i) a verification in which they check---in a randomized fashion---the robust feasibility of a candidate optimal point, and (ii) an optimization step in which they exchange their candidate basis (the minimal set of constraints defining a solution) with neighbors and locally solve an optimization problem. As main result, we show that processors can stop the algorithm after a finite number of communication rounds (either because verification has been successful for a sufficient number of rounds or because a given threshold has been reached), so that candidate optimal solutions are consensual. The common solution is proven to be---with high confidence---feasible and hence optimal for the entire set of uncertainty except a subset having an arbitrary small probability measure. We show the effectiveness of the proposed distributed algorithm using two examples: a random, uncertain mixed-integer linear program and a distributed localization in wireless sensor networks. The distributed algorithm is implemented on a multi-core platform in which the nodes communicate asynchronously.
△ Less
Submitted 9 July, 2019;
originally announced July 2019.
-
Algorithms for Optimal AC Power Flow in the Presence of Renewable Sources
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Constantino Lagoa
Abstract:
This chapter presents recent solutions to the optimal power flow (OPF) problem in the presence of renewable energy sources (RES), {such} as solar photo-voltaic and wind generation. After introducing the original formulation of the problem, arising from the combination of economic dispatch and power flow, we provide a brief overview of the different solution methods proposed in the literature to so…
▽ More
This chapter presents recent solutions to the optimal power flow (OPF) problem in the presence of renewable energy sources (RES), {such} as solar photo-voltaic and wind generation. After introducing the original formulation of the problem, arising from the combination of economic dispatch and power flow, we provide a brief overview of the different solution methods proposed in the literature to solve it. Then, we explain the main difficulties arising from the increasing RES penetration, and the ensuing necessity of deriving robust solutions. Finally, we present the state-of-the-art techniques, with a special focus on recent methods we developed, based on the application on randomization-based methodologies.
△ Less
Submitted 22 May, 2019; v1 submitted 13 November, 2018;
originally announced November 2018.
-
Optimal Network Topology for Effective Collective Response
Authors:
David Mateo,
Nikolaj Horsevad,
Vahid Hassani,
Mohammadreza Chamanbaz,
Roland Bouffanais
Abstract:
Natural, social, and artificial multi-agent systems usually operate in dynamic environments, where the ability to respond to changing circumstances is a crucial feature. An effective collective response requires suitable information transfer among agents, and thus is critically dependent on the agents' interaction network. In order to investigate the influence of the network topology on collective…
▽ More
Natural, social, and artificial multi-agent systems usually operate in dynamic environments, where the ability to respond to changing circumstances is a crucial feature. An effective collective response requires suitable information transfer among agents, and thus is critically dependent on the agents' interaction network. In order to investigate the influence of the network topology on collective response, we consider an archetypal model of distributed decision-making---the leader-follower linear consensus---and study the collective capacity of the system to follow a dynamic driving signal (the "leader") for a range of topologies and system sizes. The analysis reveals a nontrivial relationship between optimal topology and frequency of the driving signal. Interestingly, the response is optimal when each individual interacts with a certain number of agents which decreases monotonically with the frequency and, for large enough systems, is independent of the size of the system. This phenomenology is investigated in experiments of collective motion using a swarm of land robots. The emergent collective response to both a slow- and a fast-changing leader is measured and analyzed for a range of interaction topologies. These results have far-reaching practical implications for the design and understanding of distributed systems, since they highlight that a dynamic rewiring of the interaction network is paramount to the effective collective operations of multi-agent systems at different time-scales.
△ Less
Submitted 21 December, 2018; v1 submitted 10 July, 2018;
originally announced July 2018.
-
Randomized Constraints Consensus for Distributed Robust Linear Programming
Authors:
Mohammadreza Chamanbaz,
Giuseppe Notarstefano,
Roland Bouffanais
Abstract:
In this paper we consider a network of processors aiming at cooperatively solving linear programming problems subject to uncertainty. Each node only knows a common cost function and its local uncertain constraint set. We propose a randomized, distributed algorithm working under time-varying, asynchronous and directed communication topology. The algorithm is based on a local computation and communi…
▽ More
In this paper we consider a network of processors aiming at cooperatively solving linear programming problems subject to uncertainty. Each node only knows a common cost function and its local uncertain constraint set. We propose a randomized, distributed algorithm working under time-varying, asynchronous and directed communication topology. The algorithm is based on a local computation and communication paradigm. At each communication round, nodes perform two updates: (i) a verification in which they check-in a randomized setup-the robust feasibility (and hence optimality) of the candidate optimal point, and (ii) an optimization step in which they exchange their candidate bases (minimal sets of active constraints) with neighbors and locally solve an optimization problem whose constraint set includes: a sampled constraint violating the candidate optimal point (if it exists), agent's current basis and the collection of neighbor's basis. As main result, we show that if a processor successfully performs the verification step for a sufficient number of communication rounds, it can stop the algorithm since a consensus has been reached. The common solution is-with high confidence-feasible (and hence optimal) for the entire set of uncertainty except a subset having arbitrary small probability measure. We show the effectiveness of the proposed distributed algorithm on a multi-core platform in which the nodes communicate asynchronously.
△ Less
Submitted 1 June, 2017;
originally announced June 2017.
-
Adapting Low-Cost Platforms for Robotics Research
Authors:
Thommen George Karimpanal,
Mohammadreza Chamanbaz,
Wenzheng Li,
Timothy Jeruzalski,
Abhishek Gupta,
Erik Wilhelm
Abstract:
Validation of robotics theory on real-world hardware platforms is important to prove the practical feasibility of algorithms. This paper discusses some of the lessons learned while adapting the EvoBot, a low-cost robotics platform that we designed and prototyped, for research in diverse areas in robotics. The EvoBot platform was designed to be a low cost, open source, general purpose robotics plat…
▽ More
Validation of robotics theory on real-world hardware platforms is important to prove the practical feasibility of algorithms. This paper discusses some of the lessons learned while adapting the EvoBot, a low-cost robotics platform that we designed and prototyped, for research in diverse areas in robotics. The EvoBot platform was designed to be a low cost, open source, general purpose robotics platform intended to enable testing and validation of algorithms from a wide variety of sub-fields of robotics. Throughout the paper, we outline and discuss some common failures, practical limitations and inconsistencies between theory and practice that one may encounter while adapting such low-cost platforms for robotics research. We demonstrate these aspects through four representative common robotics tasks- localization, real-time control, swarm consensus and path planning applications, performed using the EvoBots. We also propose some potential solutions to the encountered problems and try to generalize them.
△ Less
Submitted 19 May, 2017;
originally announced May 2017.
-
Swarm-Enabling Technology for Multi-Robot Systems
Authors:
Mohammadreza Chamanbaz,
David Mateo,
Brandon M. Zoss,
Grgur Tokić,
Erik Wilhelm,
Roland Bouffanais,
and Dick K. P. Yue
Abstract:
Swarm robotics has experienced a rapid expansion in recent years, primarily fueled by specialized multi-robot systems developed to achieve dedicated collective actions. These specialized platforms are in general designed with swarming considerations at the front and center. Key hardware and software elements required for swarming are often deeply embedded and integrated with the particular system.…
▽ More
Swarm robotics has experienced a rapid expansion in recent years, primarily fueled by specialized multi-robot systems developed to achieve dedicated collective actions. These specialized platforms are in general designed with swarming considerations at the front and center. Key hardware and software elements required for swarming are often deeply embedded and integrated with the particular system. However, given the noticeable increase in the number of low-cost mobile robots readily available, practitioners and hobbyists may start considering to assemble full-fledged swarms by minimally retrofitting such mobile platforms with a swarm-enabling technology. Here, we report one possible embodiment of such a technology designed to enable the assembly and the study of swarming in a range of general-purpose robotic systems. This is achieved by combining a modular and transferable software toolbox with a hardware suite composed of a collection of low-cost and off-the-shelf components. The developed technology can be ported to a relatively vast range of robotic platforms with minimal changes and high levels of scalability. This swarm-enabling technology has successfully been implemented on two distinct distributed multi-robot systems, a swarm of mobile marine buoys and a team of commercial terrestrial robots. We have tested the effectiveness of both of these distributed robotic systems in performing collective exploration and search scenarios, as well as other classical cooperative behaviors. Experimental results on different swarm behaviors are reported for the two platforms in uncontrolled environments and without any supporting infrastructure. The design of the associated software library allows for a seamless switch to other cooperative behaviors, and also offers the possibility to simulate newly designed collective behaviors prior to their implementation onto the platforms.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
AC optimal power flow in the presence of renewable sources and uncertain loads
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Constantino Lagoa
Abstract:
The increasing penetration of renewable energy resources, paired with the fact that load can vary significantly, introduce a high degree of uncertainty in the behavior of modern power grids. Given that classical dispatch solutions are "rigid," their performance in such an uncertain environment is in general far from optimal. For this reason, in this paper, we consider AC optimal power flow (AC-OPF…
▽ More
The increasing penetration of renewable energy resources, paired with the fact that load can vary significantly, introduce a high degree of uncertainty in the behavior of modern power grids. Given that classical dispatch solutions are "rigid," their performance in such an uncertain environment is in general far from optimal. For this reason, in this paper, we consider AC optimal power flow (AC-OPF) problems in the presence of uncertain loads and (uncertain) renewable energy generators. The goal of AC-OPF design is to guarantee that controllable generation is dispatched at minimum cost, while satisfying constraints on generation and transmission for "almost all" realizations of the uncertainty.
We propose an approach based on a randomized technique recently developed, named "scenario with certificates", which allows to tackle the problem without assuming any a-priori dependence of the voltages in the network on the uncertain generators/loads. The proposed solution can exploit the usually available probabilistic description of the uncertainty and variability, and provides solutions with a-priori probabilistic guarantees on the risk of violating the constraints on generation and transmission.
△ Less
Submitted 30 May, 2019; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Randomized and robust methods for uncertain systems using R-RoMulOC, with applications to DEMETER satellite benchmark
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Dimitri Peaucelle,
Christelle Pittet,
Roberto Tempo
Abstract:
R-RoMulOC is a freely distributed toolbox which aims at making easily available to the users different optimization-based methods for dealing with uncertain systems. It implements both deterministic LMI-based results, that provide guaranteed performances for all values of the uncertainties, and probabilistic randomization-based approaches, that guarantee performances for all values of the uncertai…
▽ More
R-RoMulOC is a freely distributed toolbox which aims at making easily available to the users different optimization-based methods for dealing with uncertain systems. It implements both deterministic LMI-based results, that provide guaranteed performances for all values of the uncertainties, and probabilistic randomization-based approaches, that guarantee performances for all values of the uncertainties except for a subset with arbitrary small probability measure. The paper is devoted to the description of these two approaches for analysis and control design when applied to a satellite benchmark proposed by CNES, the French Space Agency. The paper also describes the modeling of the DEMETER satellite and its integration into the R-RoMulOC toolbox as a challenging test example. Design of state-feedback controllers and closed-loop performance analysis are carried out with the randomized and robust methods available in the R-RoMulOC toolbox.
△ Less
Submitted 21 December, 2016;
originally announced December 2016.
-
A Statistical Learning Theory Approach for Uncertain Linear and Bilinear Matrix Inequalities
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Roberto Tempo,
Venkatakrishnan Venkataramanan,
Qing-Guo Wang
Abstract:
In this paper, we consider the problem of minimizing a linear functional subject to uncertain linear and bilinear matrix inequalities, which depend in a possibly nonlinear way on a vector of uncertain parameters. Motivated by recent results in statistical learning theory, we show that probabilistic guaranteed solutions can be obtained by means of randomized algorithms. In particular, we show that…
▽ More
In this paper, we consider the problem of minimizing a linear functional subject to uncertain linear and bilinear matrix inequalities, which depend in a possibly nonlinear way on a vector of uncertain parameters. Motivated by recent results in statistical learning theory, we show that probabilistic guaranteed solutions can be obtained by means of randomized algorithms. In particular, we show that the Vapnik-Chervonenkis dimension (VC-dimension) of the two problems is finite, and we compute upper bounds on it. In turn, these bounds allow us to derive explicitly the sample complexity of these problems. Using these bounds, in the second part of the paper, we derive a sequential scheme, based on a sequence of optimization and validation steps. The algorithm is on the same lines of recent schemes proposed for similar problems, but improves both in terms of complexity and generality. The effectiveness of this approach is shown using a linear model of a robot manipulator subject to uncertain parameters.
△ Less
Submitted 13 March, 2014; v1 submitted 21 May, 2013;
originally announced May 2013.
-
Sequential Randomized Algorithms for Convex Optimization in the Presence of Uncertainty
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Roberto Tempo,
Venkatakrishnan Venkataramanan,
Qing-Guo Wang
Abstract:
In this paper, we propose new sequential randomized algorithms for convex optimization problems in the presence of uncertainty. A rigorous analysis of the theoretical properties of the solutions obtained by these algorithms, for full constraint satisfaction and partial constraint satisfaction, respectively, is given. The proposed methods allow to enlarge the applicability of the existing randomize…
▽ More
In this paper, we propose new sequential randomized algorithms for convex optimization problems in the presence of uncertainty. A rigorous analysis of the theoretical properties of the solutions obtained by these algorithms, for full constraint satisfaction and partial constraint satisfaction, respectively, is given. The proposed methods allow to enlarge the applicability of the existing randomized methods to real-world applications involving a large number of design variables. Since the proposed approach does not provide a priori bounds on the sample complexity, extensive numerical simulations, dealing with an application to hard-disk drive servo design, are provided. These simulations testify the goodness of the proposed solution.
△ Less
Submitted 27 September, 2015; v1 submitted 8 April, 2013;
originally announced April 2013.
