-
Discrete-Time Conewise Linear Systems with Finitely Many Switches
Authors:
Jamal Daafouz,
Jérôme Lohéac,
Constantin Morărescu,
Romain Postoyan
Abstract:
We investigate discrete-time conewise linear systems (CLS) for which all the solutions exhibit a finite number of switches. By switches, we mean transitions of a solution from one cone to another. Our interest in this class of CLS comes from the optimization-based control of an insulin infusion model for which the fact that solutions switch finitely many times appears to be key to establish the gl…
▽ More
We investigate discrete-time conewise linear systems (CLS) for which all the solutions exhibit a finite number of switches. By switches, we mean transitions of a solution from one cone to another. Our interest in this class of CLS comes from the optimization-based control of an insulin infusion model for which the fact that solutions switch finitely many times appears to be key to establish the global exponential stability of the origin. The stability analysis of this class of CLS greatly simplifies compared to general CLS as all solutions eventually exhibit linear dynamics. The main challenge is to characterize CLS satisfying this finite number of switches property. We first present general conditions in terms of set intersections for this purpose. To ease the testing of these conditions, we translate them as a non-negativity test of linear forms using Farkas lemma. As a result, the problem reduces to verify the non-negativity of a single solution to an auxiliary linear discrete-time system. Interestingly, this property differs from the classical non-negativity problem, where any solution to a system must remain non-negative (component-wise) for any non-negative initial condition, and thus requires novel tools to test it. We finally illustrate the relevance of the presented results on the optimal insulin infusion problem.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Near-optimal control of nonlinear systems with hybrid inputs and dwell-time constraints
Authors:
Ioana Lal,
Constantin Morarescu,
Jamal Daafouz,
Lucian Busoniu
Abstract:
We propose two new optimistic planning algorithms for nonlinear hybrid-input systems, in which the input has both a continuous and a discrete component, and the discrete component must respect a dwell-time constraint. Both algorithms select sets of input sequences for refinement at each step, along with a continuous or discrete step to refine (split). The dwell-time constraint means that the discr…
▽ More
We propose two new optimistic planning algorithms for nonlinear hybrid-input systems, in which the input has both a continuous and a discrete component, and the discrete component must respect a dwell-time constraint. Both algorithms select sets of input sequences for refinement at each step, along with a continuous or discrete step to refine (split). The dwell-time constraint means that the discrete splits must keep the discrete mode constant if the required dwell-time is not yet reached. Convergence rate guarantees are provided for both algorithms, which show the dependency between the near-optimality of the sequence returned and the computational budget. The rates depend on a novel complexity measure of the dwell-time constrained problem. We present simulation results for two problems, an adaptive-quantization networked control system and a model for the COVID pandemic.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Analysis of the tradeoff between health and economic impacts of the Covid-19 epidemic
Authors:
Samson Lasaulce,
Chao Zhang,
Vineeth Varma,
Irinel Constantin Morarescu
Abstract:
Various measures have been taken in different countries to mitigate the Covid-19 epidemic. But, throughout the world, many citizens don't understand well how these measures are taken and even question the decisions taken by their government. Should the measures be more (or less) restrictive? Are they taken for a too long (or too short) period of time? To provide some quantitative elements of respo…
▽ More
Various measures have been taken in different countries to mitigate the Covid-19 epidemic. But, throughout the world, many citizens don't understand well how these measures are taken and even question the decisions taken by their government. Should the measures be more (or less) restrictive? Are they taken for a too long (or too short) period of time? To provide some quantitative elements of response to these questions, we consider the well-known SEIR model for the Covid-19 epidemic propagation and propose a pragmatic model of the government decision-making operation. Although simple and obviously improvable, the proposed model allows us to study the tradeoff between health and economic aspects in a pragmatic and insightful way. Assuming a given number of phases for the epidemic and a desired tradeoff between health and economic aspects, it is then possible to determine the optimal duration of each phase and the optimal severity level for each of them. The numerical analysis is performed for the case of France but the adopted approach can be applied to any country. One of the takeaway messages of this analysis is that being able to implement the optimal 4-phase epidemic management strategy in France would have led to 1.05 million infected people and a GDP loss of 231 billion euro instead of 6.88 million of infected and a loss of 241 billion euro. This indicates that, seen from the proposed model perspective, the effectively implemented epidemic management strategy is good economically, whereas substantial improvements might have been obtained in terms of health impact. Our analysis indicates that the lockdown/severe phase should have been more severe but shorter, and the adjustment phase occurred earlier. Due to the natural tendency of people to deviate from the official rules, updating measures every month over the whole epidemic episode seems to be more appropriate.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Space-time budget allocation policy design for viral marketing
Authors:
I. C. Morarescu,
V. S. Varma,
L. Busoniu,
S. Lasaulce
Abstract:
We address formally the problem of opinion dynamics when the agents of a social network (e.g., consumers) are not only influenced by their neighbors but also by an external influential entity referred to as a marketer. The influential entity tries to sway the overall opinion as close as possible to a desired opinion by using a specific influence budget. We assume that the exogenous influences of t…
▽ More
We address formally the problem of opinion dynamics when the agents of a social network (e.g., consumers) are not only influenced by their neighbors but also by an external influential entity referred to as a marketer. The influential entity tries to sway the overall opinion as close as possible to a desired opinion by using a specific influence budget. We assume that the exogenous influences of the entity happen during discrete-time advertising campaigns; consequently, the overall closed-loop opinion dynamics becomes a linear-impulsive (hybrid) one. The main technical issue addressed is finding how the marketer should allocate its budget over time (through marketing campaigns) and over space (among the agents) such that the agents' opinion be as close as possible to the desired opinion. Our main results show that the marketer has to prioritize certain agents over others based on their initial condition, their influence power in the social graph and the size of the cluster they belong to. The corresponding space-time allocation problem is formulated and solved for several special cases of practical interest. Valuable insights can be extracted from our analysis. For instance, for most cases, we prove that the marketer has an interest in investing most of its budget at the beginning of the process and that budget should be shared among agents according to the famous water-filling allocation rule. Numerical examples illustrate the analysis.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
Opinion Dynamics with Decaying Confidence: Application to Community Detection in Graphs
Authors:
Irinel Constantin Morarescu,
Antoine Girard
Abstract:
We study a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. We consider a network of agents where each agent has an opinion. At each time step, the agents exchange their opinion with their neighbors and update it by taking into account only the opinions that differ from their own less than some confidence bound. This confidence bound is decaying: an a…
▽ More
We study a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. We consider a network of agents where each agent has an opinion. At each time step, the agents exchange their opinion with their neighbors and update it by taking into account only the opinions that differ from their own less than some confidence bound. This confidence bound is decaying: an agent gives repetitively confidence only to its neighbors that approach sufficiently fast its opinion. Essentially, the agents try to reach an agreement with the constraint that it has to be approached no slower than a prescribed convergence rate. Under that constraint, global consensus may not be achieved and only local agreements may be reached. The agents reaching a local agreement form communities inside the network. In this paper, we analyze this opinion dynamics model: we show that communities correspond to asymptotically connected component of the network and give an algebraic characterization of communities in terms of eigenvalues of the matrix defining the collective dynamics. Finally, we apply our opinion dynamics model to address the problem of community detection in graphs. We propose a new formulation of the community detection problem based on eigenvalues of normalized Laplacian matrix of graphs and show that this problem can be solved using our opinion dynamics model. We consider three examples of networks, and compare the communities we detect with those obtained by existing algorithms based on modularity optimization. We show that our opinion dynamics model not only provides an appealing approach to community detection but that it is also effective.
△ Less
Submitted 2 June, 2010; v1 submitted 27 November, 2009;
originally announced November 2009.