Showing 1–12 of 12 results for author: Silvestre, D

Hybrid Lyapunov and Barrier Function-Based Control with Stabilization Guarantees

Authors: Hugo Matias, Daniel Silvestre

Abstract: Control Lyapunov Functions (CLFs) and Control Barrier Functions (CBFs) can be combined, typically by means of Quadratic Programs (QPs), to design controllers that achieve performance and safety objectives. However, a significant limitation of this framework is the introduction of asymptotically stable equilibrium points besides the minimizer of the CLF, leading to deadlock situations even for simp… ▽ More Control Lyapunov Functions (CLFs) and Control Barrier Functions (CBFs) can be combined, typically by means of Quadratic Programs (QPs), to design controllers that achieve performance and safety objectives. However, a significant limitation of this framework is the introduction of asymptotically stable equilibrium points besides the minimizer of the CLF, leading to deadlock situations even for simple systems and bounded convex unsafe sets. To address this problem, we propose a hybrid CLF-CBF control framework with global asymptotic stabilization and safety guarantees, offering a more flexible and systematic design methodology compared to current alternatives available in the literature. We further extend this framework to higher-order systems via a recursive procedure based on a joint CLF-CBF backstepping approach. The proposed solution is assessed through several simulation examples. △ Less

Submitted 13 April, 2025; originally announced April 2025.

Average consensus with resilience and privacy guarantees without losing accuracy

Authors: Guilherme Ramos, Daniel Silvestre, André M. H. Teixeira, Sérgio Pequito

Abstract: This paper addresses the challenge of achieving private and resilient average consensus among a group of discrete-time networked agents without compromising accuracy. State-of-the-art solutions to attain privacy and resilient consensus entail an explicit trade-off between the two with an implicit compromise on accuracy. In contrast, in the present work, we propose a methodology that avoids trade-o… ▽ More This paper addresses the challenge of achieving private and resilient average consensus among a group of discrete-time networked agents without compromising accuracy. State-of-the-art solutions to attain privacy and resilient consensus entail an explicit trade-off between the two with an implicit compromise on accuracy. In contrast, in the present work, we propose a methodology that avoids trade-offs between privacy, resilience, and accuracy. We design a methodology that, under certain conditions, enables non-faulty agents, i.e., agents complying with the established protocol, to reach average consensus in the presence of faulty agents, while keeping the non-faulty agents' initial states private. For privacy, agents strategically add noise to obscure their original state, while later withdrawing a function of it to ensure accuracy. Besides, and unlikely many consensus methods, our approach does not require each agent to compute the left-eigenvector of the dynamics matrix associated with the eigenvalue one. Moreover, the proposed framework has a polynomial time complexity relative to the number of agents and the maximum quantity of faulty agents. Finally, we illustrate our method with examples covering diverse faulty agents scenarios. △ Less

Submitted 25 March, 2025; originally announced March 2025.

Sharp Hybrid Zonotopes: Set Operations and the Reformulation-linearization Technique

Authors: Jonah J. Glunt, Joshua A. Robbins, Daniel Silvestre, Herschel C. Pangborn

Abstract: Mixed integer set representations, and specifically hybrid zonotopes, have enabled new techniques for reachability and verification of nonlinear and hybrid systems. Mixed-integer sets which have the property that their convex relaxation is equal to their convex hull are said to be sharp. This property allows the convex hull to be computed with minimal overhead, and is known to be important for imp… ▽ More Mixed integer set representations, and specifically hybrid zonotopes, have enabled new techniques for reachability and verification of nonlinear and hybrid systems. Mixed-integer sets which have the property that their convex relaxation is equal to their convex hull are said to be sharp. This property allows the convex hull to be computed with minimal overhead, and is known to be important for improving the convergence rates of mixed-integer optimization algorithms that rely on convex relaxations. This paper examines methods for formulating sharp hybrid zonotopes and provides sharpness-preserving methods for performing several key set operations. The paper then shows how the reformulation-linearization technique can be applied to create a sharp realization of a hybrid zonotope that is initially not sharp. A numerical example applies this technique to find the convex hull of a level set of a feedforward ReLU neural network. △ Less

Submitted 21 March, 2025; originally announced March 2025.

Convex MPC and Thrust Allocation with Deadband for Spacecraft Rendezvous

Authors: Pedro Taborda, Hugo Matias, Daniel Silvestre, Pedro Lourenço

Abstract: This paper delves into a rendezvous scenario involving a chaser and a target spacecraft, focusing on the application of Model Predictive Control (MPC) to design a controller capable of guiding the chaser toward the target. The operational principle of spacecraft thrusters, requiring a minimum activation time that leads to the existence of a control deadband, introduces mixed-integer constraints in… ▽ More This paper delves into a rendezvous scenario involving a chaser and a target spacecraft, focusing on the application of Model Predictive Control (MPC) to design a controller capable of guiding the chaser toward the target. The operational principle of spacecraft thrusters, requiring a minimum activation time that leads to the existence of a control deadband, introduces mixed-integer constraints into the optimization, posing a considerable computational challenge due to the exponential complexity on the number of integer constraints. We address this complexity by presenting two solver algorithms that efficiently approximate the optimal solution in significantly less time than standard solvers, making them well-suited for real-time applications. △ Less

Submitted 21 June, 2024; v1 submitted 5 April, 2024; originally announced April 2024.

Comments: Published in IEEE Control Systems Letters

Model-Predictive Trajectory Generation for Aerial Search and Coverage

Authors: Hugo Matias, Daniel Silvestre

Abstract: This paper introduces a trajectory planning algorithm for search and coverage missions with an Unmanned Aerial Vehicle (UAV) based on an uncertainty map that represents prior knowledge of the target region, modeled by a Gaussian Mixture Model (GMM). The trajectory planning problem is formulated as an Optimal Control Problem (OCP), which aims to maximize the uncertainty reduction within a specified… ▽ More This paper introduces a trajectory planning algorithm for search and coverage missions with an Unmanned Aerial Vehicle (UAV) based on an uncertainty map that represents prior knowledge of the target region, modeled by a Gaussian Mixture Model (GMM). The trajectory planning problem is formulated as an Optimal Control Problem (OCP), which aims to maximize the uncertainty reduction within a specified mission duration. However, this results in an intractable OCP whose objective functional cannot be expressed in closed form. To address this, we propose a Model Predictive Control (MPC) algorithm based on a relaxed formulation of the objective function to approximate the optimal solutions. This relaxation promotes efficient map exploration by penalizing overlaps in the UAV's visibility regions along the trajectory. The algorithm can produce efficient and smooth trajectories, and it can be efficiently implemented using standard Nonlinear Programming solvers, being suitable for real-time planning. Unlike traditional methods, which often rely on discretizing the mission space and using complex mixed-integer formulations, our approach is computationally efficient and easier to implement. The MPC algorithm is initially assessed in MATLAB, followed by Gazebo simulations and actual experimental tests conducted in an outdoor environment. The results demonstrate that the proposed strategy can generate efficient and smooth trajectories for search and coverage missions. △ Less

Submitted 27 March, 2025; v1 submitted 9 March, 2024; originally announced March 2024.

Exact Set-valued Estimation using Constrained Convex Generators for uncertain Linear Systems

Authors: Daniel Silvestre

Abstract: Set-valued state estimation when in the presence of uncertainties in the model have been addressed in the literature essentially following three main approaches: i) interval arithmetic of the uncertain dynamics with the estimates; ii) factorizing the uncertainty into matrices with unity rank; and, iii) performing the convex hull for the vertices of the uncertainty space. Approach i) and ii) introd… ▽ More Set-valued state estimation when in the presence of uncertainties in the model have been addressed in the literature essentially following three main approaches: i) interval arithmetic of the uncertain dynamics with the estimates; ii) factorizing the uncertainty into matrices with unity rank; and, iii) performing the convex hull for the vertices of the uncertainty space. Approach i) and ii) introduce a lot of conservatism because both disregard the relationship of the parameters with the entries of the dynamics matrix. On the other hand, approach iii) has a large growth on the number of variables required to represent the set or is approximated losing its main advantage in comparison with i) and ii). In this paper, with the application of autonomous vehicles in GPS-denied areas that resort to beacon signals for localization, we develop an exact (meaning no added conservatism) and optimal (smallest growth in the number of variables) closed-form definition for the convex hull of Convex Constrained Generators (CCGs). This results in a more efficient method to represent the minimum volume convex set corresponding to the state estimation. Given that reductions methods are still lacking in the literature for CCGs, we employ an approximation using ray-shooting that is comparable in terms of accuracy with methods for Constrained Zonotopes as the ones implemented in CORA. Simulations illustrate the greater accuracy of CCGs with the proposed convex hull operation in comparison to Constrained Zonotopes. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: IFAC paper to be presented at the World Congress in July 2023

A Discrete-time Reputation-based Resilient Consensus Algorithm for Synchronous or Asynchronous Communications

Authors: Guilherme Ramos, Daniel Silvestre, Carlos Silvestre

Abstract: We tackle the problem of a set of agents achieving resilient consensus in the presence of attacked agents. We present a discrete-time reputation-based consensus algorithm for synchronous and asynchronous networks by developing a local strategy where, at each time, each agent assigns a reputation (between zero and one) to each neighbor. The reputation is then used to weigh the neighbors' values in… ▽ More We tackle the problem of a set of agents achieving resilient consensus in the presence of attacked agents. We present a discrete-time reputation-based consensus algorithm for synchronous and asynchronous networks by developing a local strategy where, at each time, each agent assigns a reputation (between zero and one) to each neighbor. The reputation is then used to weigh the neighbors' values in the update of its state. Under mild assumptions, we show that: (i) the proposed method converges exponentially to the consensus of the regular agents; (ii) if a regular agent identifies a neighbor as an attacked node, then it is indeed an attacked node; (iii) if the consensus value of the normal nodes differs from that of any of the attacked nodes' values, then the reputation that a regular agent assigns to the attacked neighbors goes to zero. Further, we extend our method to achieve resilience in the scenarios where there are noisy nodes, dynamic networks and stochastic node selection. Finally, we illustrate our algorithm with several examples, and we delineate some attacking scenarios that can be dealt by the current proposal but not by the state-of-the-art approaches. △ Less

Submitted 1 July, 2021; originally announced July 2021.

The information capacity of hypercycles

Authors: Daniel A. M. M. Silvestre, Jose F. Fontanari

Abstract: Hypercycles are information integration systems which are thought to overcome the information crisis of prebiotic evolution by ensuring the coexistence of several short templates. For imperfect template replication, we derive a simple expression for the maximum number of distinct templates $n_m$ that can coexist in a hypercycle and show that it is a decreasing function of the length $L$ of the t… ▽ More Hypercycles are information integration systems which are thought to overcome the information crisis of prebiotic evolution by ensuring the coexistence of several short templates. For imperfect template replication, we derive a simple expression for the maximum number of distinct templates $n_m$ that can coexist in a hypercycle and show that it is a decreasing function of the length $L$ of the templates. In the case of high replication accuracy we find that the product $n_m L$ tends to a constant value, limiting thus the information content of the hypercycle. Template coexistence is achieved either as a stationary equilibrium (stable fixed point) or a stable periodic orbit in which the total concentration of functional templates is nonzero. For the hypercycle system studied here we find numerical evidence that the existence of an unstable fixed point is a necessary condition for the presence of periodic orbits. △ Less

Submitted 12 June, 2008; originally announced June 2008.

Comments: 4 pages, 1 figure, submitted to J. Theor. Biol

Package models and the information crisis of prebiotic evolution

Authors: Daniel A. M. M. Silvestre, José F. Fontanari

Abstract: The coexistence between different types of templates has been the choice solution to the information crisis of prebiotic evolution, triggered by the finding that a single RNA-like template cannot carry enough information to code for any useful replicase. In principle, confining $d$ distinct templates of length $L$ in a package or protocell, whose survival depends on the coexistence of the templa… ▽ More The coexistence between different types of templates has been the choice solution to the information crisis of prebiotic evolution, triggered by the finding that a single RNA-like template cannot carry enough information to code for any useful replicase. In principle, confining $d$ distinct templates of length $L$ in a package or protocell, whose survival depends on the coexistence of the templates it holds in, could resolve this crisis provided that $d$ is made sufficiently large. Here we review the prototypical package model of Niesert et al. 1981 which guarantees the greatest possible region of viability of the protocell population, and show that this model, and hence the entire package approach, does not resolve the information crisis. This is so because to secure survival the total information content of the protocell, $Ld$, must tend to a constant value that depends only on the spontaneous error rate per nucleotide of the template replication mechanism. As a result, an increase of $d$ must be followed by a decrease of $L$ to ensure the protocell viability, so that the net information gain is null. △ Less

Submitted 17 October, 2007; originally announced October 2007.

Comments: 11 pages, two columns, 11 figures, submitted to J. Theor. Biol

Preservation of information in a prebiotic package model

Authors: Daniel A. M. M. Silvestre, Jose F. Fontanari

Abstract: The coexistence between different informational molecules has been the preferred mode to circumvent the limitation posed by imperfect replication on the amount of information stored by each of these molecules. Here we reexamine a classic package model in which distinct information carriers or templates are forced to coexist within vesicles, which in turn can proliferate freely through binary div… ▽ More The coexistence between different informational molecules has been the preferred mode to circumvent the limitation posed by imperfect replication on the amount of information stored by each of these molecules. Here we reexamine a classic package model in which distinct information carriers or templates are forced to coexist within vesicles, which in turn can proliferate freely through binary division. The combined dynamics of vesicles and templates is described by a multitype branching process which allows us to write equations for the average number of the different types of vesicles as well as for their extinction probabilities. The threshold phenomenon associated to the extinction of the vesicle population is studied quantitatively using finite-size scaling techniques. We conclude that the resultant coexistence is too frail in the presence of parasites and so confinement of templates in vesicles without an explicit mechanism of cooperation does not resolve the information crisis of prebiotic evolution. △ Less

Submitted 19 April, 2007; v1 submitted 25 December, 2006; originally announced December 2006.

Comments: 9 pages, 8 figures, accepted version, to be published in PRE

Periodical cicadas: a minimal automaton model

Authors: Giovano de O. Cardozo, Daniel de A. M. M. Silvestre, Alexandre Colato

Abstract: The Magicicada spp. life cycles with its prime periods and highly synchronized emergence have defied reasonable scientific explanation since its discovery. During the last decade several models and explanations for this phenomenon appeared in the literature along with a great deal of discussion. Despite this considerable effort, there is no final conclusion about this long standing biological pr… ▽ More The Magicicada spp. life cycles with its prime periods and highly synchronized emergence have defied reasonable scientific explanation since its discovery. During the last decade several models and explanations for this phenomenon appeared in the literature along with a great deal of discussion. Despite this considerable effort, there is no final conclusion about this long standing biological problem. Here, we construct a minimal automaton model without predation/parasitism which reproduces some of these aspects. Our results point towards competition between different strains with limited dispersal threshold as the main factor leading to the emergence of prime numbered life cycles. △ Less

Submitted 28 March, 2007; v1 submitted 20 November, 2006; originally announced November 2006.

Comments: 13 pages, 6 figures, final version, conditionally accepted (Physica A)

Template coexistence in prebiotic vesicle models

Authors: Daniel G. M. Silvestre, Jose F. Fontanari

Abstract: The coexistence of distinct templates is a common feature of the diverse proposals advanced to resolve the information crisis of prebiotic evolution. However, achieving robust template coexistence turned out to be such a difficult demand that only a class of models, the so-called package models, seems to have met it so far. Here we apply Wright's Island formulation of group selection to study th… ▽ More The coexistence of distinct templates is a common feature of the diverse proposals advanced to resolve the information crisis of prebiotic evolution. However, achieving robust template coexistence turned out to be such a difficult demand that only a class of models, the so-called package models, seems to have met it so far. Here we apply Wright's Island formulation of group selection to study the conditions for the coexistence of two distinct template types confined in packages (vesicles) of finite capacity. In particular, we show how selection acting at the level of the vesicles can neutralize the pressures towards the fixation of any one of the template types (random drift) and of the type with higher replication rate (deterministic competition). We give emphasis to the role of the distinct generation times of templates and vesicles as yet another obstacle to coexistence. △ Less

Submitted 30 November, 2006; v1 submitted 25 May, 2005; originally announced May 2005.

Comments: 7 pages, 8 figures

Journal ref: Eur. Phys. J. B 47, 423-429 (2005)