-
Parameter identification for an uncertain reaction-diffusion equation via setpoint regulation
Authors:
Gildas Besançon,
Andrea Cristofaro,
Francesco Ferrante
Abstract:
The problem of estimating the reaction coefficient of a system governed by a reaction-diffusion partial differential equation is tackled. An estimator relying on boundary measurements only is proposed. The estimator is based upon a setpoint regulation strategy and leads to an asymptotically converging estimate of the unknown reaction coefficient. The proposed estimator is combined with a state obs…
▽ More
The problem of estimating the reaction coefficient of a system governed by a reaction-diffusion partial differential equation is tackled. An estimator relying on boundary measurements only is proposed. The estimator is based upon a setpoint regulation strategy and leads to an asymptotically converging estimate of the unknown reaction coefficient. The proposed estimator is combined with a state observer and shown to provide an asymptotic estimate of the actual system state. A numerical example supports and illustrates the theoretical results.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Exponential stabilization of infinite-dimensional systems by finite-dimensional controllers
Authors:
Tian Xia,
Giacomo Casadei,
Francesco Ferrante,
Luca Scardovi
Abstract:
This paper studies the feedback stabilization of abstract Cauchy problems with unbounded output operators by finite-dimensional controllers. Both necessary conditions and sufficient conditions for feedback stabilizability are presented. The proof of closed-loop stability is based on a novel input-output gain introduced in this paper. For systems satisfying a property we call quasi-finite, an equiv…
▽ More
This paper studies the feedback stabilization of abstract Cauchy problems with unbounded output operators by finite-dimensional controllers. Both necessary conditions and sufficient conditions for feedback stabilizability are presented. The proof of closed-loop stability is based on a novel input-output gain introduced in this paper. For systems satisfying a property we call quasi-finite, an equivalent characterization of feedback stabilizability is obtained. Quasi-finiteness is verified for classes of parabolic and hyperbolic equations.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Output Regulation of Stochastic Sampled-Data Systems with Post-processing Internal Model
Authors:
Himadri Basu,
Francesco Ferrante,
Mirko Fiacchini
Abstract:
This paper deals with the output regulation problem (ORP) of a linear time-invariant (LTI) system in the presence of sporadically sampled measurement streams with the inter-sampling intervals following a stochastic process. Under such sporadically available measurement streams, a regulator consisting of a hybrid observer, continuous-time post-processing internal model, and stabilizer are proposed,…
▽ More
This paper deals with the output regulation problem (ORP) of a linear time-invariant (LTI) system in the presence of sporadically sampled measurement streams with the inter-sampling intervals following a stochastic process. Under such sporadically available measurement streams, a regulator consisting of a hybrid observer, continuous-time post-processing internal model, and stabilizer are proposed, which resets with the arrival of new measurements. The resulting system exhibits a deterministic behavior except for the jumps that occur at random sampling times and therefore the overall closed-loop system can be categorized as a piecewise deterministic Markov process (PDMP). In existing works on ORPs with aperiodic sampling, the requirement of boundedness on inter-sampling intervals precludes extending the solution to the random sampling intervals with possibly unbounded support. Using the Lyapunov-like theorem for the stability analysis of stochastic systems, we offer sufficient conditions to ensure that the overall closed-loop system is mean exponentially stable (MES) and the objectives of the ORP are achieved under stochastic sampling of measurement streams. The resulting LMI conditions lead to a numerically tractable design of the hybrid regulator. Finally, with the help of an illustrative example, the effectiveness of the theoretical results are verified.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
A Physics-Based Hybrid Dynamical Model of Hysteresis in Polycrystalline Shape Memory Alloy Wire Transducers
Authors:
M. Mandolino,
D. Scholtes,
F. Ferrante,
G. Rizzello
Abstract:
Shape Memory Alloys (SMAs) are a class of smart materials that exhibit a macroscopic contraction of up to 5% when heated via an electric current. This effect can be exploited for the development of novel unconventional actuators. Despite having many features such as compactness, lightweight, and high energy density, commercial SMA wires are characterized by a highly nonlinear behavior, which manif…
▽ More
Shape Memory Alloys (SMAs) are a class of smart materials that exhibit a macroscopic contraction of up to 5% when heated via an electric current. This effect can be exploited for the development of novel unconventional actuators. Despite having many features such as compactness, lightweight, and high energy density, commercial SMA wires are characterized by a highly nonlinear behavior, which manifests itself as a load-, temperature-, and rate-dependent hysteresis exhibiting a complex shape and minor loops. Accurate modeling and compensation of such hysteresis are fundamental for the development of high-performance SMA applications. In this work, we propose a new dynamical model to describe the complex hysteresis of polycrystalline SMA wires. The approach is based on a reformulation of the Muller-Achenbach-Seelecke model for uniaxial SMA wires within a hybrid dynamical framework. In this way, we can significantly reduce the numerical complexity and computation time without losing accuracy and physical interpretability. After describing the model, an extensive experimental validation campaign is carried out on a 75 μm diameter SMA wire specimen. The new hybrid model will pave the development of hybrid controllers and observers for SMA actuators.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Unknown Input Observer Design for a class of Semilinear Hyperbolic Systems with Dynamic Boundary Conditions
Authors:
Andrea Cristofaro,
Francesco Ferrante
Abstract:
The problem of unknown input observer design is considered for coupled PDE/ODE systems subject to incremental sector bounded nonlinearities and unknown boundary inputs. Assuming available measurements at the boundary of the distributed domain, the synthesis of the unknown input observer is based on Lyapunov methods and convex optimization. Numerical simulations support and confirm the theoretical…
▽ More
The problem of unknown input observer design is considered for coupled PDE/ODE systems subject to incremental sector bounded nonlinearities and unknown boundary inputs. Assuming available measurements at the boundary of the distributed domain, the synthesis of the unknown input observer is based on Lyapunov methods and convex optimization. Numerical simulations support and confirm the theoretical findings, illustrating the robust estimation performances of the proposed nonlinear unknown input observer.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
On DoS Resiliency Analysis of Networked Control Systems: Trade-Off Between Jamming Actions and Network Delays
Authors:
Roberto Merco,
Francesco Ferrante,
Pierluigi Pisu
Abstract:
This letter deals with the problem of quantifying resiliency of Networked Control Systems (NCSs) to Denial-of-Service (DoS) attacks and variable network delays. Internal exponential stability and $\mathcal{L}_2$ external stability are studied. The closed-loop system is augmented with an auxiliary timer variable and analyzed in a hybrid system framework. Lyapunov-like conditions are given to ensure…
▽ More
This letter deals with the problem of quantifying resiliency of Networked Control Systems (NCSs) to Denial-of-Service (DoS) attacks and variable network delays. Internal exponential stability and $\mathcal{L}_2$ external stability are studied. The closed-loop system is augmented with an auxiliary timer variable and analyzed in a hybrid system framework. Lyapunov-like conditions are given to ensure $0$-input global exponential stability and $\mathcal{L}_2$ external stability. A computationally affordable algorithm based on linear matrix inequalities is devised to provide trade-off curves between maximum length of DoS attacks and largest network delays. Finally, the effectiveness of the proposed approach is shown in a numerical example.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
Control Design under Actuator Saturation and Multi-Rate Sampling
Authors:
Francesco Ferrante,
Ricardo G. Sanfelice,
Sophie Tarbouriech
Abstract:
The problem of designing a stabilizing feedback controller in the presence of saturating actuators and multi-rate (asynchronous) aperiodic state measurements is studied. Specifically, we consider a scenario in which measurements of the plant states are collected at the controller end in a sporadic and asynchronous fashion. A hybrid controller is used to perform a fusion of measurements sampled at…
▽ More
The problem of designing a stabilizing feedback controller in the presence of saturating actuators and multi-rate (asynchronous) aperiodic state measurements is studied. Specifically, we consider a scenario in which measurements of the plant states are collected at the controller end in a sporadic and asynchronous fashion. A hybrid controller is used to perform a fusion of measurements sampled at different times. In between sampling events, the controller behaves as a copy of the plant and provides a feedback control signal based on the reconstruction of the plant state. The presence of saturation at the plant input limits the value of the components of this signal to a bounded range. When a new measurement is available, the controller state undergoes an instantaneous jump. The resulting system is augmented with a set of timers triggering the arrival of new measurements and analyzed in a hybrid systems framework. Relying on Lyapunov tools for hybrid systems and techniques for control design under saturation, we propose sufficient conditions in the form of matrix inequalities to ensure regional exponential stability of a closed-set containing the origin of the plant, i.e., exponential stability with a guaranteed region of attraction. Specifically, explicit estimates of the basin of attraction are provided in the form of ellipsoidal sets. Leveraging those conditions, a design procedure based on semidefinite programming is proposed to design a stabilizing controller with maximized size of the basin attraction. The effectiveness of the proposed methodology is shown in an example.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
Velocity Stabilization of a Wave Equation with a Nonlinear Dynamic Boundary Condition
Authors:
Nicolas Vanspranghe,
Francesco Ferrante,
Christophe Prieur
Abstract:
This paper deals with a one-dimensional wave equation with a nonlinear dynamic boundary condition and a Neumann-type boundary control acting on the other extremity. We consider a class of nonlinear stabilizing feedbacks that only depend on the velocity at the controlled extremity. The uncontrolled boundary is subject to a nonlinear first-order term, which may represent nonlinear boundary anti-damp…
▽ More
This paper deals with a one-dimensional wave equation with a nonlinear dynamic boundary condition and a Neumann-type boundary control acting on the other extremity. We consider a class of nonlinear stabilizing feedbacks that only depend on the velocity at the controlled extremity. The uncontrolled boundary is subject to a nonlinear first-order term, which may represent nonlinear boundary anti-dam**. Initial data is taken in the optimal energy space associated with the problem. Exponential decay of the mechanical energy is investigated in different cases. Stability and attractivity of suitable invariant sets are established.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Stabilization of the wave equation through nonlinear Dirichlet actuation
Authors:
Nicolas Vanspranghe,
Francesco Ferrante,
Christophe Prieur
Abstract:
In this paper, we consider the problem of nonlinear (in particular, saturated) stabilization of the high-dimensional wave equation with Dirichlet boundary conditions. The wave dynamics are subject to a dissipative nonlinear velocity feedback and generate a strongly continuous semigroup of contractions on the optimal energy space $L^2(Ω) \times H^{-1}(Ω)$. It is first proved that any solution to th…
▽ More
In this paper, we consider the problem of nonlinear (in particular, saturated) stabilization of the high-dimensional wave equation with Dirichlet boundary conditions. The wave dynamics are subject to a dissipative nonlinear velocity feedback and generate a strongly continuous semigroup of contractions on the optimal energy space $L^2(Ω) \times H^{-1}(Ω)$. It is first proved that any solution to the closed-loop equations converges to zero in the aforementioned topology. Secondly, under the condition that the feedback nonlinearity has linear growth around zero, polynomial energy decay rates are established for solutions with smooth initial data. This constitutes new Dirichlet counterparts to well-known results pertaining to nonlinear stabilization in $H^1(Ω)\times L^2(Ω)$ of the wave equation with Neumann boundary conditions.
△ Less
Submitted 29 August, 2022;
originally announced August 2022.
-
Stability Analysis of a Class of Discontinuous Discrete-Time Systems
Authors:
Francesco Ferrante,
Giorgio Valmorbida
Abstract:
The stability analysis of a class of discontinuous discrete-time systems is studied in this paper. The system under study is modeled as a feedback interconnection of a linear system and a set-valued nonlinearity. An equivalent representation, based on a constrained optimization problem, is proposed to represent the set-valued nonlinearity via a collection of linear and quadratic constraints. Relyi…
▽ More
The stability analysis of a class of discontinuous discrete-time systems is studied in this paper. The system under study is modeled as a feedback interconnection of a linear system and a set-valued nonlinearity. An equivalent representation, based on a constrained optimization problem, is proposed to represent the set-valued nonlinearity via a collection of linear and quadratic constraints. Relying on this description and on the use of a generalized quadratic set-valued Lyapunov functions, sufficient conditions in the form of linear matrix inequalities for global exponential stability are obtained. Numerical examples corroborate the theoretical findings.
△ Less
Submitted 11 August, 2022;
originally announced August 2022.
-
Sampled-data control design for systems with quantized actuators
Authors:
Francesco Ferrante,
Sophie Tarbouriech
Abstract:
This paper deals with the problem of designing a sampled-data state feedback control law for continuous-time linear control systems subject to uniform input quantization. The sampled-data state feedback is designed to ensure the uniform global asymptotic stability (UGAS) of an attractor surrounding the origin. The closed-loop system is rewritten as a hybrid dynamical system. To do this, an auxilia…
▽ More
This paper deals with the problem of designing a sampled-data state feedback control law for continuous-time linear control systems subject to uniform input quantization. The sampled-data state feedback is designed to ensure the uniform global asymptotic stability (UGAS) of an attractor surrounding the origin. The closed-loop system is rewritten as a hybrid dynamical system. To do this, an auxiliary clock variable triggering the occurrence of sampling events is introduced. A numerically tractable algorithm with feasibility guarantees, based on concave-convex decomposition, is then proposed allowing to minimize the size of the attractor. Theoretical results are illustrated in a numerical example.
△ Less
Submitted 6 July, 2023; v1 submitted 11 August, 2022;
originally announced August 2022.
-
Robust Output Feedback Control Design in the Presence of Sporadic Measurements
Authors:
Roberto Merco,
Francesco Ferrante,
Ricardo G. Sanfelice,
Pierluigi Pisu
Abstract:
Output feedback control design for linear time-invariant systems in the presence of sporadic measurements and exogenous perturbations is addressed. To cope with the sporadic availability of measurements of the output, a hybrid dynamic output feedback controller equipped with a holding device whose state is reset when a new measurement is available is designed. The closed-loop system, resulting fro…
▽ More
Output feedback control design for linear time-invariant systems in the presence of sporadic measurements and exogenous perturbations is addressed. To cope with the sporadic availability of measurements of the output, a hybrid dynamic output feedback controller equipped with a holding device whose state is reset when a new measurement is available is designed. The closed-loop system, resulting from the interconnection of the controller and the plant, is augmented with a timer variable triggering the arrival of new measurements and its properties are analyzed using hybrid system tools. Building upon Lyapunov theory for hybrid systems, sufficient conditions for internal and L2 input-to-output stability are proposed. An LMI-based design methodology for the co-design of the gains of the controller and the parameters of the holding device is presented. The effectiveness of the proposed LMI-based design approach is showcased in a numerical example.
△ Less
Submitted 19 October, 2022; v1 submitted 9 August, 2022;
originally announced August 2022.
-
Design of saturated boundary control for hyperbolic systems with in-domain disturbances
Authors:
Suha Shreim,
Francesco Ferrante,
Christophe Prieur
Abstract:
Boundary feedback control design is studied for 1D hyperbolic systems with an in-domain disturbance and a boundary feedback controller under the effect of actuator saturation. Nonlinear semigroup theory is used to prove well-posedness of mild solution pairs to the closed-loop system. Sufficient conditions in the form of dissipation functional inequalities are derived to establish global stability…
▽ More
Boundary feedback control design is studied for 1D hyperbolic systems with an in-domain disturbance and a boundary feedback controller under the effect of actuator saturation. Nonlinear semigroup theory is used to prove well-posedness of mild solution pairs to the closed-loop system. Sufficient conditions in the form of dissipation functional inequalities are derived to establish global stability for the closed-loop system and $\mathcal{L}^2$-stability in presence of in-domain disturbances. The control design problem is then recast as an optimization problem over linear matrix inequality constraints. Numerical results are shown to validate the effectiveness of the proposed control design.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Anti-windup-like Compensator Synthesis for Discrete-Time Quantized Control Systems
Authors:
Samer AlSamadi,
Francesco Ferrante,
Sophie Tarbouriech
Abstract:
This paper addresses the problem of designing an anti-windup like compensator for discrete-time linear control systems with quantized input. The proposed compensator provides a correction signal proportional to the quantization error that fed to the controller. The compensator is designed to ensure that solutions to the closed-loop systems converge in finite time into a compact set containing the…
▽ More
This paper addresses the problem of designing an anti-windup like compensator for discrete-time linear control systems with quantized input. The proposed compensator provides a correction signal proportional to the quantization error that fed to the controller. The compensator is designed to ensure that solutions to the closed-loop systems converge in finite time into a compact set containing the origin that can be tuned by the designer. A numerically tractable algorithm with feasibility guarantees is provided for the design of the compensator. The proposed results are illustrated on an academic example and an open-loop unstable aircraft system.
△ Less
Submitted 23 June, 2022; v1 submitted 9 February, 2022;
originally announced February 2022.
-
Leader-Follower Synchronization of a Network of Boundary-Controlled Parabolic Equations With In-Domain Coupling
Authors:
Abbas Kabalan,
Francesco Ferrante,
Giacomo Casadei,
Andrea Cristofaro,
Christophe Prieur
Abstract:
In this letter, we study the leader-synchronization problem for a class of partial differential equations with boundary control and in-domain coupling. We describe the problem in an abstract formulation and we specialize it to a network of parabolic partial differential equations. We consider a setting in which a subset of the followers is connected to the leader through a boundary control, while…
▽ More
In this letter, we study the leader-synchronization problem for a class of partial differential equations with boundary control and in-domain coupling. We describe the problem in an abstract formulation and we specialize it to a network of parabolic partial differential equations. We consider a setting in which a subset of the followers is connected to the leader through a boundary control, while interconnections among the followers are enforced by distributed in-domain couplings. Sufficient conditions in the form of matrix inequalities for the selection of the control parameters enforcing exponential synchronization are given. Numerical simulations illustrate and corroborate the theoretical findings.
△ Less
Submitted 2 January, 2022;
originally announced January 2022.
-
On sensor quantization in linear control systems: Krasovskii solutions meet semidefinite programming
Authors:
Francesco Ferrante,
Frédéric Gouaisbaut,
Sophie Tarbouriech
Abstract:
Stability and stabilization for linear state feedback control systems in the presence of sensor quantization are studied. As the closed-loop system is described by a discontinuous right-hand side differential equation, Krasovskii solutions (to the closed-loop system) are considered. Sufficient conditions in the form of matrix inequalities are proposed to characterize uniform global asymptotic stab…
▽ More
Stability and stabilization for linear state feedback control systems in the presence of sensor quantization are studied. As the closed-loop system is described by a discontinuous right-hand side differential equation, Krasovskii solutions (to the closed-loop system) are considered. Sufficient conditions in the form of matrix inequalities are proposed to characterize uniform global asymptotic stability of a compact set containing the origin. Such conditions are shown to be always feasible whenever the quantization-free closed-loop system is asymptotically stable. Building on the obtained conditions, computationally affordable algorithms for the solution to the considered problems are illustrated. The effectiveness of the proposed methodology is shown in three examples.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Robust interaction control of a dielectric elastomer actuator with variable stiffness
Authors:
Gianluca Rizzello,
Francesco Ferrante,
David Naso,
Stefan Seelecke
Abstract:
This paper presents an interaction control algorithm for a dielectric elastomer membrane actuator. The proposed method permits efficient exploitation of the controllable stiffness of the material, allowing to use the membrane as a "programmable spring" in applications such as robotic manipulation or haptic devices. To achieve this goal, we propose a design algorithm based on robust control theory…
▽ More
This paper presents an interaction control algorithm for a dielectric elastomer membrane actuator. The proposed method permits efficient exploitation of the controllable stiffness of the material, allowing to use the membrane as a "programmable spring" in applications such as robotic manipulation or haptic devices. To achieve this goal, we propose a design algorithm based on robust control theory and linear matrix inequalities. The resulting controller permits to arbitrarily shape the stiffness of the elastomer, while providing robust stability and performance with respect to model nonlinearities. A self-sensing displacement estimation algorithm allows implementation of the method without the need of a deformation sensor, thus reducing cost and size of the system. The approach is validated on an experimental prototype consisting of an elastomer membrane preloaded with a bistable biasing spring.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Synchronization of Identical Boundary-Actuated Semilinear Infinite-Dimensional Systems
Authors:
Francesco Ferrante,
Giacomo Casadei,
Christophe Prieur
Abstract:
This paper deals with synchronization of a class of infinite-dimensional systems. The considered network is described by a collection of semilinear Lipschitz boundary-actuated infinite-dimensional dynamics. For undirected connected graphs, sufficient conditions for asymptotic synchronization are established. We show that the proposed conditions when applied to systems of hyperbolic semilinear cons…
▽ More
This paper deals with synchronization of a class of infinite-dimensional systems. The considered network is described by a collection of semilinear Lipschitz boundary-actuated infinite-dimensional dynamics. For undirected connected graphs, sufficient conditions for asymptotic synchronization are established. We show that the proposed conditions when applied to systems of hyperbolic semilinear conservation laws can be recast into a set of matrix inequalities. For this class of systems, sufficient conditions in the form of linear matrix inequalities for the design of synchronizing policies are provided.
△ Less
Submitted 25 November, 2021; v1 submitted 14 April, 2021;
originally announced April 2021.
-
A Hybrid Dynamical Modeling Framework for Shape Memory Alloy Wire Actuated Structures
Authors:
Michele A. Mandolino,
Francesco Ferrante,
Gianluca Rizzello
Abstract:
In this paper, a hybrid model for single-crystal Shape Memory Alloy (SMA) wire actuators is presented. The result is based on a mathematical reformulation of the Müller-Achenbach-Seelecke (MAS) model, which provides an accurate and interconnection-oriented description of the SMA hysteretic response. The strong nonlinearity and high numerical stiffness of the MAS model, however, hinder its practica…
▽ More
In this paper, a hybrid model for single-crystal Shape Memory Alloy (SMA) wire actuators is presented. The result is based on a mathematical reformulation of the Müller-Achenbach-Seelecke (MAS) model, which provides an accurate and interconnection-oriented description of the SMA hysteretic response. The strong nonlinearity and high numerical stiffness of the MAS model, however, hinder its practical use for simulation and control of complex SMA-driven systems. The main idea behind the hybrid reformulation is based on dividing the mechanical hysteresis of the SMA into five operating modes, each one representing a different physical state of the material. By properly deriving the switching conditions among those modes in a physically-consistent way, the MAS model is effectively reformulated within a hybrid dynamical setting. The main advantage of the hybrid reformulation is the possibility of describing the material dynamics with a simplified set of state equations while maintaining all benefits of the physics-based description offered by the MAS model After describing the novel approach, simulation studies are conducted on a flexible robotic module actuated by protagonist-antagonist SMA wires. Through comparative numerical analysis, it is shown how the hybrid model provides the same accuracy as the MAS model while saving up to 80% of the simulation time. Moreover, the new modeling framework opens up the possibility of addressing SMA control from a hybrid systems perspective.
△ Less
Submitted 5 March, 2021;
originally announced March 2021.
-
On Angular Speed Estimation of Rigid Bodies
Authors:
Francesco Ferrante,
Gildas Besançon
Abstract:
The problem of estimating the angular speed of a solid body from attitude measurements is addressed. To solve this problem, we propose an observer whose dynamics are not constrained to evolve on any specific manifold. This drastically simplifies the analysis of the proposed observer. Using Lyapunov analysis, sufficient conditions for global asymptotic stability of a set wherein the estimation erro…
▽ More
The problem of estimating the angular speed of a solid body from attitude measurements is addressed. To solve this problem, we propose an observer whose dynamics are not constrained to evolve on any specific manifold. This drastically simplifies the analysis of the proposed observer. Using Lyapunov analysis, sufficient conditions for global asymptotic stability of a set wherein the estimation error is equal to zero are established. In addition, the proposed methodology is adapted to deal with angular speed estimation for systems evolving on the unit circle. The approach is illustrated through several numerical simulations.
△ Less
Submitted 1 December, 2021; v1 submitted 4 March, 2021;
originally announced March 2021.
-
A Hybrid Controller for DOS-Resilient String-Stable Vehicle Platoons
Authors:
Roberto Merco,
Francesco Ferrante,
Pierluigi Pisu
Abstract:
This paper deals with the design of resilient Cooperative Adaptive Cruise Control (CACC) for homogeneous vehicle platoons in which communication is vulnerable to Denial-of-Service (DOS) attacks. We consider DOS attacks as consecutive packet dropouts. We present a controller tuning procedure based on linear matrix inequalities (LMI) that maximizes the resiliency to DOS attacks, while guaranteeing p…
▽ More
This paper deals with the design of resilient Cooperative Adaptive Cruise Control (CACC) for homogeneous vehicle platoons in which communication is vulnerable to Denial-of-Service (DOS) attacks. We consider DOS attacks as consecutive packet dropouts. We present a controller tuning procedure based on linear matrix inequalities (LMI) that maximizes the resiliency to DOS attacks, while guaranteeing performance and string stability. The design procedure returns controller gains and gives a lower bound on the maximum allowable number of successive packet dropouts. A numerical example is employed to illustrate the effectiveness of the proposed approach.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
Observer Design for Linear Aperiodic Sampled-Data Systems: A Hybrid Systems Approach
Authors:
Francesco Ferrante,
Alexandre Seuret
Abstract:
Observer design for linear systems with aperiodic sampled-data measurements is addressed. To solve this problem, a novel hybrid observer is designed. The main peculiarity of the proposed observer consists of the use two output injection terms, one acting at the sampling instants and one providing an intersample injection. The error dynamics are augmented with a timer variable triggering the arriva…
▽ More
Observer design for linear systems with aperiodic sampled-data measurements is addressed. To solve this problem, a novel hybrid observer is designed. The main peculiarity of the proposed observer consists of the use two output injection terms, one acting at the sampling instants and one providing an intersample injection. The error dynamics are augmented with a timer variable triggering the arrival of a new measurement and analyzed via hybrid system tools. Using Lyapunov theory, sufficient conditions for the convergence of the observer are provided. Relying on those conditions, an optimal LMI-based design is proposed for the observer gains. The effectiveness of the approach is illustrated in an example.
△ Less
Submitted 22 December, 2021; v1 submitted 21 February, 2021;
originally announced February 2021.
-
Observer Design for Systems of Conservation Laws with Lipschitz Nonlinear Boundary Dynamics
Authors:
Francesco Ferrante,
Andrea Cristofaro
Abstract:
The problem of state estimation for a system of coupled hyperbolic PDEs and ODEs with Lipschitz nonlinearities with boundary measurements is considered. An infinite dimensional observer with a linear boundary injection term is used to solve the state estimation problem. The interconnection of the observer and the system is written in estimation error coordinates and analyzed as an abstract dynamic…
▽ More
The problem of state estimation for a system of coupled hyperbolic PDEs and ODEs with Lipschitz nonlinearities with boundary measurements is considered. An infinite dimensional observer with a linear boundary injection term is used to solve the state estimation problem. The interconnection of the observer and the system is written in estimation error coordinates and analyzed as an abstract dynamical system. The observer is designed to achieve global exponential stability of estimation error with respect to a suitable norm. Sufficient conditions in the form of matrix inequalities are proposed to design the observer. Numerical simulations support and corroborate the theoretical results.
△ Less
Submitted 17 January, 2021;
originally announced January 2021.
-
On the Design of Structured Stabilizers for LTI Systems
Authors:
Francesco Ferrante,
Fabrizio Dabbene,
Chiara Ravazzi
Abstract:
Designing a static state-feedback controller subject to structural constraint achieving asymptotic stability is a relevant problem with many applications, including network decentralized control, coordinated control, and sparse feedback design. Leveraging on the Projection Lemma, this work presents a new solution to a class of state-feedback control problems, in which the controller is constrained…
▽ More
Designing a static state-feedback controller subject to structural constraint achieving asymptotic stability is a relevant problem with many applications, including network decentralized control, coordinated control, and sparse feedback design. Leveraging on the Projection Lemma, this work presents a new solution to a class of state-feedback control problems, in which the controller is constrained to belong to a given linear space. We show through extensive discussion and numerical examples that our approach leads to several advantages with respect to existing methods: first, it is computationally efficient; second, it is less conservative than previous methods, since it relaxes the requirement of restricting the Lyapunov matrix to a block-diagonal form.
△ Less
Submitted 2 June, 2021; v1 submitted 17 January, 2021;
originally announced January 2021.
-
Output Regulation of Linear Aperiodic Sampled-Data Systems
Authors:
Himadri Basu,
Francesco Ferrante,
Se Young Yoon
Abstract:
This paper deals with the output regulation problem of a linear time-invariant system in the presence of sporadically available measurement streams. A regulator with a continuous intersample injection term is proposed, where the intersample injection is provided by a linear dynamical system and the state of which is reset with the arrival of every new measurement updates. The resulting system is a…
▽ More
This paper deals with the output regulation problem of a linear time-invariant system in the presence of sporadically available measurement streams. A regulator with a continuous intersample injection term is proposed, where the intersample injection is provided by a linear dynamical system and the state of which is reset with the arrival of every new measurement updates. The resulting system is augmented with a timer triggering an instantaneous update of the new measurement and the overall system is then analyzed in a hybrid system framework. With the Lyapunov based stability analysis, we offer sufficient conditions to ensure the objectives of the output regulation problem are achieved under intermittency of the measurement streams. Then, from the solution to linear matrix inequalities, a numerically tractable regulator design procedure is presented. Finally, with the help of an illustrative example, the effectiveness of the theoretical results are validated.
△ Less
Submitted 15 February, 2022; v1 submitted 12 January, 2021;
originally announced January 2021.
-
Boundary stabilization of systems of high order PDEs arising from flexible robotics
Authors:
Andrea Cristofaro,
Francesco Ferrante
Abstract:
The problem of stabilization of a system of coupled PDEs of the forth-order by means of boundary control is investigated. The considered setup arises from the classical Euler-Bernoulli beam model, and constitutes a generalization of flexible mechanical systems. A linear feedback controller is proposed, and using an abstract formulation based on operator semigroup theory, we are able to prove the w…
▽ More
The problem of stabilization of a system of coupled PDEs of the forth-order by means of boundary control is investigated. The considered setup arises from the classical Euler-Bernoulli beam model, and constitutes a generalization of flexible mechanical systems. A linear feedback controller is proposed, and using an abstract formulation based on operator semigroup theory, we are able to prove the well-posedness and the stability of the closed-loop system. The performances of the proposed controller are illustrated by means of numerical simulations.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
Robust Almost Global Splay State Stabilization of Pulse Coupled Oscillators
Authors:
Francesco Ferrante,
Yongqiang Wang
Abstract:
This technical note deals with the problem of asymptotically stabilizing the splay state configuration of a network of identical pulse coupled oscillators through the design of the their phase response function. The network of pulse coupled oscillators is modeled as a hybrid system. The design of the phase response function is performed to achieve almost global asymptotic stability of a set wherei…
▽ More
This technical note deals with the problem of asymptotically stabilizing the splay state configuration of a network of identical pulse coupled oscillators through the design of the their phase response function. The network of pulse coupled oscillators is modeled as a hybrid system. The design of the phase response function is performed to achieve almost global asymptotic stability of a set wherein oscillators' phases are evenly distributed on the unit circle. To establish such a result, a novel Lyapunov function is proposed. Robustness with respect to frequency perturbation is assessed. Finally, the effectiveness of the proposed methodology is shown in an example.
△ Less
Submitted 13 April, 2021; v1 submitted 2 August, 2019;
originally announced August 2019.
-
$\mathcal{L}_2$ State Estimation with Guaranteed Convergence Speed in the Presence of Sporadic Measurements
Authors:
Francesco Ferrante,
Frédéric Gouaisbaut,
Ricardo G. Sanfelice,
Sophie Tarbouriech
Abstract:
This paper deals with the problem of estimating the state of a linear time-invariant system in the presence of sporadically available measurements and external perturbations. An observer with a continuous intersample injection term is proposed. Such an intersample injection is provided by a linear dynamical system, whose state is reset to the measured output estimation error at each sampling time.…
▽ More
This paper deals with the problem of estimating the state of a linear time-invariant system in the presence of sporadically available measurements and external perturbations. An observer with a continuous intersample injection term is proposed. Such an intersample injection is provided by a linear dynamical system, whose state is reset to the measured output estimation error at each sampling time. The resulting system is augmented with a timer triggering the arrival of a new measurement and analyzed in a hybrid system framework. The design of the observer is performed to achieve global exponential stability with a given decay rate to a set wherein the estimation error is equal to zero. Robustness with respect to external perturbations and $\mathcal{L}_2$-external stability from the plant perturbation to a given performance output are considered. Moreover, computationally efficient algorithms based on the solution to linear matrix inequalities are proposed to design the observer. Finally, the effectiveness of the proposed methodology is shown in three examples.
△ Less
Submitted 5 November, 2020; v1 submitted 4 November, 2018;
originally announced November 2018.
-
The Continuing Story of SN IIb 2013df: New Optical and IR Observations and Analysis
Authors:
Tamás Szalai,
József Vinkó,
Andrea P. Nagy,
Jeffrey M. Silverman,
J. Craig Wheeler,
Govinda Dhungana,
G. Howie Marion,
Robert Kehoe,
Ori D. Fox,
Krisztián Sárneczky,
Gábor Marschalkó,
Barna I. Bíró,
Tamás Borkovits,
Tibor Hegedüs,
Róbert Szakáts,
Farley V. Ferrante,
Evelin Bányai,
Gabriella Hodosán,
János Kelemen,
András Pál
Abstract:
SN 2013df is a nearby Type IIb supernova that seems to be the spectroscopic twin of the well-known SN 1993J. Previous studies revealed many, but not all interesting properties of this event. Our goal was to add new understanding of both the early and late-time phases of SN 2013df. Our spectral analysis is based on 6 optical spectra obtained with the 9.2m Hobby-Eberly Telescope during the first mon…
▽ More
SN 2013df is a nearby Type IIb supernova that seems to be the spectroscopic twin of the well-known SN 1993J. Previous studies revealed many, but not all interesting properties of this event. Our goal was to add new understanding of both the early and late-time phases of SN 2013df. Our spectral analysis is based on 6 optical spectra obtained with the 9.2m Hobby-Eberly Telescope during the first month after explosion, complemented by a near-infrared spectrum. We applied the SYNAPPS spectral synthesis code to constrain the chemical composition and physical properties of the ejecta. A principal result is the identification of "high-velocity" He I lines in the early spectra of SN 2013df, manifest as the blue component of the double-troughed profile at ~5650 A. This finding, together with the lack of clear separation of H and He lines in velocity space, indicates that both H and He features form at the outer envelope during the early phases. We also obtained ground-based BVRI and g'r'i'z' photometric data up to +45 days and unfiltered measurements with the ROTSE-IIIb telescope up to +168 days. From the modelling of the early-time quasi-bolometric light curve, we find $M_{ej} \sim 3.2-4.6 M_{\odot}$ and $E_{kin} \sim 2.6-2.8 \times 10^{51}$ erg for the initial ejecta mass and the initial kinetic energy, respectively, which agree well with the values derived from the separate modelling of the light-curve tail. Late-time mid-infrared excess indicates circumstellar interaction starting ~1 year after explosion, in accordance with previously published optical, X-ray, and radio data.
△ Less
Submitted 27 April, 2016;
originally announced April 2016.
-
Extensive Spectroscopy and Photometry of the Type IIP Supernova 2013ej
Authors:
G. Dhungana,
R. Kehoe,
J. Vinko,
J. M. Silverman,
J. C. Wheeler,
G. H. Marion,
W. Zheng,
O. D. Fox,
C. Akerlof,
B. I. Biro,
T. Borkovits,
S. B. Cenko,
K. I. Clubb,
A. V. Filippenko,
F. V. Ferrante,
C. A. Gibson,
M. L. Graham,
T. Hegedus,
P. Kelly,
J. Kelemen,
W. H. Lee,
G. Marschalko,
L. Molnár,
A. P. Nagy,
A. Ordasi
, et al. (10 additional authors not shown)
Abstract:
We present extensive optical ($UBVRI$, $g'r'i'z'$, and open CCD) and near-infrared ($ZYJH$) photometry for the very nearby Type IIP SN ~2013ej extending from +1 to +461 days after shock breakout, estimated to be MJD $56496.9\pm0.3$. Substantial time series ultraviolet and optical spectroscopy obtained from +8 to +135 days are also presented. Considering well-observed SNe IIP from the literature, w…
▽ More
We present extensive optical ($UBVRI$, $g'r'i'z'$, and open CCD) and near-infrared ($ZYJH$) photometry for the very nearby Type IIP SN ~2013ej extending from +1 to +461 days after shock breakout, estimated to be MJD $56496.9\pm0.3$. Substantial time series ultraviolet and optical spectroscopy obtained from +8 to +135 days are also presented. Considering well-observed SNe IIP from the literature, we derive $UBVRIJHK$ bolometric calibrations from $UBVRI$ and unfiltered measurements that potentially reach 2\% precision with a $B-V$ color-dependent correction. We observe moderately strong Si II $\lambda6355$ as early as +8 days. The photospheric velocity ($v_{\rm ph}$) is determined by modeling the spectra in the vicinity of Fe II $\lambda5169$ whenever observed, and interpolating at photometric epochs based on a semianalytic method. This gives $v_{\rm ph} = 4500\pm500$ km s$^{-1}$ at +50 days. We also observe spectral homogeneity of ultraviolet spectra at +10--12 days for SNe IIP, while variations are evident a week after explosion. Using the expanding photosphere method, from combined analysis of SN 2013ej and SN 2002ap, we estimate the distance to the host galaxy to be $9.0_{-0.6}^{+0.4}$ Mpc, consistent with distance estimates from other methods. Photometric and spectroscopic analysis during the plateau phase, which we estimated to be $94\pm7$ days long, yields an explosion energy of $0.9\pm0.3\times10^{51}$ ergs, a final pre-explosion progenitor mass of $15.2\pm4.2$~M$_\odot$ and a radius of $250\pm70$~R$_\odot$. We observe a broken exponential profile beyond +120 days, with a break point at +$183\pm16$ days. Measurements beyond this break time yield a $^{56}$Ni mass of $0.013\pm0.001$~M$_\odot$.
△ Less
Submitted 26 April, 2016; v1 submitted 5 September, 2015;
originally announced September 2015.
-
A Trio of GRB-SNe: GRB 120729A, GRB 130215A / SN 2013ez and GRB 130831A / SN 2013fu
Authors:
Z. Cano,
A. de Ugarte Postigo,
A. Pozanenko,
N. Butler,
C. C. Thone,
C. Guidorzi,
T. Kruhler,
J. Gorosabel,
P. Jakobsson,
G. Leloudas,
D. Malesani,
J. Hjorth,
A. Melandri,
C. Mundell,
K. Wiersema,
P. D'Avanzo,
S. Schulze,
A. Gomboc,
A. Johansson,
W. Zheng,
D. A. Kann,
F. Knust,
K. Varela,
C. W. Akerlof,
J. Bloom
, et al. (40 additional authors not shown)
Abstract:
We present optical and near-infrared (NIR) photometry for three gamma-ray burst supernovae (GRB-SNe): GRB 120729A, GRB 130215A / SN 2013ez and GRB 130831A / SN 2013fu. In the case of GRB 130215A / SN 2013ez, we also present optical spectroscopy at t-t0=16.1 d, which covers rest-frame 3000-6250 Angstroms. Based on Fe II (5169) and Si (II) (6355), our spectrum indicates an unusually low expansion ve…
▽ More
We present optical and near-infrared (NIR) photometry for three gamma-ray burst supernovae (GRB-SNe): GRB 120729A, GRB 130215A / SN 2013ez and GRB 130831A / SN 2013fu. In the case of GRB 130215A / SN 2013ez, we also present optical spectroscopy at t-t0=16.1 d, which covers rest-frame 3000-6250 Angstroms. Based on Fe II (5169) and Si (II) (6355), our spectrum indicates an unusually low expansion velocity of 4000-6350 km/s, the lowest ever measured for a GRB-SN. Additionally, we determined the brightness and shape of each accompanying SN relative to a template supernova (SN 1998bw), which were used to estimate the amount of nickel produced via nucleosynthesis during each explosion. We find that our derived nickel masses are typical of other GRB-SNe, and greater than those of SNe Ibc that are not associated with GRBs. For GRB 130831A / SN 2013fu, we use our well-sampled R-band light curve (LC) to estimate the amount of ejecta mass and the kinetic energy of the SN, finding that these too are similar to other GRB-SNe. For GRB 130215A, we take advantage of contemporaneous optical/NIR observations to construct an optical/NIR bolometric LC of the afterglow. We fit the bolometric LC with the millisecond magnetar model of Zhang & Meszaros (2001), which considers dipole radiation as a source of energy injection to the forward shock powering the optical/NIR afterglow. Using this model we derive an initial spin period of P=12 ms and a magnetic field of B=1.1 x 10^15 G, which are commensurate with those found for proposed magnetar central engines of other long-duration GRBs.
△ Less
Submitted 13 May, 2014;
originally announced May 2014.