Showing 1–50 of 56 results for author: Vázquez, R

Adaptive refinement in defeaturing problems via an equilibrated flux a posteriori error estimator

Authors: Annalisa Buffa, Denise Grappein, Rafael Vázquez

Abstract: An adaptive refinement strategy, based on an equilibrated flux a posteriori error estimator, is proposed in the context of defeaturing problems. Defeaturing consists in removing features from complex domains in order to ease the meshing process, and to reduce the computational burden of simulations. It is a common procedure, for example, in computer aided design for simulation based manufacturing.… ▽ More An adaptive refinement strategy, based on an equilibrated flux a posteriori error estimator, is proposed in the context of defeaturing problems. Defeaturing consists in removing features from complex domains in order to ease the meshing process, and to reduce the computational burden of simulations. It is a common procedure, for example, in computer aided design for simulation based manufacturing. However, depending on the problem at hand, the effect of geometrical simplification on the accuracy of the solution may be detrimental. The proposed adaptive strategy is hence twofold: starting from a defeatured geometry it allows both for standard mesh refinement and geometrical refinement, which consists in choosing, at each step, which features need to be included into the geometry in order to significantly increase the accuracy of the solution. With respect to other estimators that were previously proposed in the context of defeaturing, the use of an equilibrated flux reconstruction allows us to avoid the evaluation of the numerical flux on the boundary of features. This makes the estimator and the adaptive strategy particularly well-suited for finite element discretizations, in which the numerical flux is typically discontinuous across element edges. The inclusion of the features during the adaptive process is tackled by a CutFEM strategy, in order to preserve the non conformity of the mesh to the feature boundary and never remesh the computational domain as the features are added. Hence, the estimator also accounts for the error introduced by weakly imposing the boundary conditions on the boundary of the added features. △ Less

Submitted 25 March, 2025; originally announced March 2025.

MSC Class: 65N15; 65N30; 65N50

Backstepping Control Laws for Higher-Dimensional PDEs: Spatial Invariance and Domain Extension Methods

Authors: Rafael Vazquez

Abstract: This paper extends backstepping to higher-dimensional PDEs by leveraging domain symmetries and structural properties. We systematically address three increasingly complex scenarios. First, for rectangular domains, we characterize boundary stabilization with finite-dimensional actuation by combining backstepping with Fourier analysis, deriving explicit necessary conditions. Second, for reaction-dif… ▽ More This paper extends backstepping to higher-dimensional PDEs by leveraging domain symmetries and structural properties. We systematically address three increasingly complex scenarios. First, for rectangular domains, we characterize boundary stabilization with finite-dimensional actuation by combining backstepping with Fourier analysis, deriving explicit necessary conditions. Second, for reaction-diffusion equations on sector domains, we use angular eigenfunction expansions to obtain kernel solutions in terms of modified Bessel functions. Finally, we outline a domain extension method for irregular domains, transforming the boundary control problem into an equivalent one on a target domain. This framework unifies and extends previous backstepping results, offering new tools for higher-dimensional domains where classical separation of variables is inapplicable. △ Less

Submitted 28 February, 2025; originally announced March 2025.

Comments: Preprint submitted to IMA Journal of Mathematical Control and Information

Construction of exact refinements for the two-dimensional HB/THB-spline de Rham complex

Authors: Diogo C. Cabanas, Kendrick M. Shepherd, Deepesh Toshniwal, Rafael Vázquez

Abstract: Studying the de Rham complex is a natural choice when working with problems in electromagnetics and fluid mechanics. By discretizing the complex correctly, it is possible to attain stable numerical methods to tackle these problems. An important consideration when constructing the discrete complex is that it must preserve the cohomology structure of the original one. This property is not guaranteed… ▽ More Studying the de Rham complex is a natural choice when working with problems in electromagnetics and fluid mechanics. By discretizing the complex correctly, it is possible to attain stable numerical methods to tackle these problems. An important consideration when constructing the discrete complex is that it must preserve the cohomology structure of the original one. This property is not guaranteed when the discrete function spaces chosen are hierarchical B-splines. Research shows that a poor choice of refinement domains may give rise to spurious harmonic forms that ruin the accuracy of solutions, even for the simplest partial differential equations. Another crucial aspect to consider in the hierarchical setting is the notion of admissibility, as it is possible to obtain optimal convergence rates of numerical solutions by limiting the multi-level interaction of basis functions. We will focus on the two-dimensional de Rham complex over the unit square $Ω\subseteq \mathbb{R}^2$. In this scenario, the discrete de Rham complex should be exact, and we provide both the theoretical and the algorithm-implementation framework to ensure this is the case. Moreover, we show that, under a common restriction, the admissibility class of the first space of the discrete complex persists throughout the remaining spaces. Finally, we include numerical results that motivate the importance of the previous concerns for the vector Laplace and Maxwell eigenvalue problems. △ Less

Submitted 28 February, 2025; v1 submitted 26 February, 2025; originally announced February 2025.

Comments: 22 pages, 8 figures, 1 table; fixed typos

MSC Class: 58A12; 58J10; 65D07; 65N30

Backstepping for Partial Differential Equations

Authors: Rafael Vazquez, Jean Auriol, Federico Bribiesca-Argomedo, Miroslav Krstic

Abstract: Systems modeled by partial differential equations (PDEs) are at least as ubiquitous as systems that are by nature finite-dimensional and modeled by ordinary differential equations (ODEs). And yet, systematic and readily usable methodologies, for such a significant portion of real systems, have been historically scarce. Around the year 2000, the backstepping approach to PDE control began to offer n… ▽ More Systems modeled by partial differential equations (PDEs) are at least as ubiquitous as systems that are by nature finite-dimensional and modeled by ordinary differential equations (ODEs). And yet, systematic and readily usable methodologies, for such a significant portion of real systems, have been historically scarce. Around the year 2000, the backstepping approach to PDE control began to offer not only a less abstract alternative to PDE control techniques replicating optimal and spectrum assignment techniques of the 1960s, but also enabled the methodologies of adaptive and nonlinear control, matured in the 1980s and 1990s, to be extended from ODEs to PDEs, allowing feedback synthesis for physical and engineering systems that are uncertain, nonlinear, and infinite-dimensional. The PDE backstepping literature has grown in its nearly a quarter century of development to many hundreds of papers and nearly a dozen books. This survey aims to facilitate the entry, for a new researcher, into this thriving area of overwhelming size and topical diversity. Designs of controllers and observers, for parabolic, hyperbolic, and other classes of PDEs, in one and more dimensions (in box and spherical geometries), with nonlinear, adaptive, sampled-data, and event-triggered extensions, are covered in the survey. The lifeblood of control are technology and physics. The survey places a particular emphasis on applications that have motivated the development of the theory and which have benefited from the theory and designs: applications involving flows, flexible structures, materials, thermal and chemically reacting dynamics, energy (from oil drilling to batteries and magnetic confinement fusions), and vehicles. △ Less

Submitted 18 April, 2025; v1 submitted 19 October, 2024; originally announced October 2024.

Comments: Preprint submitted to Automatica, final submitted version

Tree-Cotree-Based Tearing and Interconnecting for 3D Magnetostatics: A Dual-Primal Approach

Authors: Mario Mally, Bernard Kapidani, Melina Merkel, Sebastian Schöps, Rafael Vázquez

Abstract: The simulation of electromagnetic devices with complex geometries and large-scale discrete systems benefits from advanced computational methods like IsoGeometric Analysis and Domain Decomposition. In this paper, we employ both concepts in an Isogeometric Tearing and Interconnecting method to enable the use of parallel computations for magnetostatic problems. We address the underlying non-uniquenes… ▽ More The simulation of electromagnetic devices with complex geometries and large-scale discrete systems benefits from advanced computational methods like IsoGeometric Analysis and Domain Decomposition. In this paper, we employ both concepts in an Isogeometric Tearing and Interconnecting method to enable the use of parallel computations for magnetostatic problems. We address the underlying non-uniqueness by using a graph-theoretic approach, the tree-cotree decomposition. The classical tree-cotree gauging is adapted to be feasible for parallelization, which requires that all local subsystems are uniquely solvable. Our contribution consists of an explicit algorithm for constructing compatible trees and combining it with a dual-primal approach to enable parallelization. The correctness of the proposed approach is proved and verified by numerical experiments, showing its accuracy, scalability and optimal convergence. △ Less

Submitted 7 January, 2025; v1 submitted 31 July, 2024; originally announced July 2024.

Comments: Preprint submitted to Computer Methods in Applied Mechanics and Engineering

Journal ref: Computer Methods in Applied Mechanics and Engineering (2025)

Gain-Only Neural Operators for PDE Backstepping

Authors: Rafael Vazquez, Miroslav Krstic

Abstract: In this work we advance the recently-introduced deep learning-powered approach to PDE backstepping control by proposing a method that approximates only the control gain function -- a function of one variable -- instead of the entire kernel function of the backstepping transformation, which depends on two variables. This idea is introduced using several benchmark unstable PDEs, including hyperbolic… ▽ More In this work we advance the recently-introduced deep learning-powered approach to PDE backstepping control by proposing a method that approximates only the control gain function -- a function of one variable -- instead of the entire kernel function of the backstepping transformation, which depends on two variables. This idea is introduced using several benchmark unstable PDEs, including hyperbolic and parabolic types, and extended to 2X2 hyperbolic systems. By employing a backstepping transformation that utilizes the exact kernel (suitable for gain scheduling) rather than an approximated one (suitable for adaptive control), we alter the quantification of the approximation error. This leads to a significant simplification in the target system, shifting the perturbation due to approximation from the domain to the boundary condition. Despite the notable differences in the Lyapunov analysis, we are able to retain stability guarantees with this simplified approximation approach. Approximating only the control gain function simplifies the operator being approximated and the training of its neural approximation, potentially reducing the neural network size. The trade-off for these simplifications is a more intricate Lyapunov analysis, involving higher Sobolev spaces for some PDEs, and certain restrictions on initial conditions arising from these spaces. It is crucial to carefully consider the specific requirements and constraints of each problem to determine the most suitable approach; indeed, recent works have demonstrated successful applications of both full-kernel and gain-only approaches in adaptive control and gain scheduling contexts. △ Less

Submitted 20 October, 2024; v1 submitted 28 March, 2024; originally announced March 2024.

Comments: Preprint submitted to CAM

Towards a MATLAB Toolbox to compute backstepping kernels using the power series method

Authors: Xin Lin, Rafael Vazquez, Miroslav Krstic

Abstract: In this paper, we extend our previous work on the power series method for computing backstepping kernels. Our first contribution is the development of initial steps towards a MATLAB toolbox dedicated to backstepping kernel computation. This toolbox would exploit MATLAB's linear algebra and sparse matrix manipulation features for enhanced efficiency; our initial findings show considerable improveme… ▽ More In this paper, we extend our previous work on the power series method for computing backstepping kernels. Our first contribution is the development of initial steps towards a MATLAB toolbox dedicated to backstepping kernel computation. This toolbox would exploit MATLAB's linear algebra and sparse matrix manipulation features for enhanced efficiency; our initial findings show considerable improvements in computational speed with respect to the use of symbolical software without loss of precision at high orders. Additionally, we tackle limitations observed in our earlier work, such as slow convergence (due to oscillatory behaviors) and non-converging series (due to loss of analiticity at some singular points). To overcome these challenges, we introduce a technique that mitigates this behaviour by computing the expansion at different points, denoted as localized power series. This approach effectively navigates around singularities, and can also accelerates convergence by using more local approximations. Basic examples are provided to demonstrate these enhancements. Although this research is still ongoing, the significant potential and simplicity of the method already establish the power series approach as a viable and versatile solution for solving backstepping kernel equations, benefiting both novel and experienced practitioners in the field. We anticipate that these developments will be particularly beneficial in training the recently introduced neural operators that approximate backstepping kernels and gains. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Comments: Preprint submitted to CDC 2024

MPC for Tracking applied to rendezvous with non-cooperative tumbling targets ensuring stability and feasibility

Authors: Jose Antonio Rebollo, Rafael Vazquez, Ignacio Alvarado, Daniel Limon

Abstract: A Model Predictive Controller for Tracking is introduced for rendezvous with non-cooperative tumbling targets in active debris removal applications. The target's three-dimensional non-periodic rotational dynamics as well as other state and control constraints are considered. The approach is based on applying an intermediate coordinate transformation that eliminates the time-dependency due to rotat… ▽ More A Model Predictive Controller for Tracking is introduced for rendezvous with non-cooperative tumbling targets in active debris removal applications. The target's three-dimensional non-periodic rotational dynamics as well as other state and control constraints are considered. The approach is based on applying an intermediate coordinate transformation that eliminates the time-dependency due to rotations in the constraints. The control law is then found as the solution to a QP problem with linear constraints and dynamics, as derived from the HCW equations, that provides feasibility and stability guarantees by means of a terminal LQR and dead-beat region. The proposed control algorithm performs well in a realistic simulation scenario, namely a near rendezvous with the Envisat spacecraft. △ Less

Submitted 16 March, 2024; originally announced March 2024.

Comments: extended version of paper submitted to CDC'24

A hybrid dynamical system approach to the impulsive control of spacecraft rendezvous (extended version)

Authors: Alexandre Seuret, Rafael Vazquez, Luca Zaccarian

Abstract: This paper introduces a hybrid dynamical system methodology for managing impulsive control in spacecraft rendezvous and proximity operations under the Hill-Clohessy-Wiltshire model. We address the control design problem by isolating the out-of-plane from the in-plane dynamics and present a feedback control law for each of them. This law is based on a Lyapunov function tailored to each of the dynam… ▽ More This paper introduces a hybrid dynamical system methodology for managing impulsive control in spacecraft rendezvous and proximity operations under the Hill-Clohessy-Wiltshire model. We address the control design problem by isolating the out-of-plane from the in-plane dynamics and present a feedback control law for each of them. This law is based on a Lyapunov function tailored to each of the dynamics, capable of addressing thruster saturation and also a minimum impulse bit. These Lyapunov functions were found by reformulating the system's dynamics into coordinates that more intuitively represent their physical behavior. The effectiveness of our control laws is then shown through numerical simulation. This is an extended version of an ECC24 article of the same name, which includes the proofs omitted for lack of space. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Comments: Extended version of ECC24 article

Gain Scheduling with a Neural Operator for a Transport PDE with Nonlinear Recirculation

Authors: Maxence Lamarque, Luke Bhan, Rafael Vazquez, Miroslav Krstic

Abstract: To stabilize PDE models, control laws require space-dependent functional gains mapped by nonlinear operators from the PDE functional coefficients. When a PDE is nonlinear and its "pseudo-coefficient" functions are state-dependent, a gain-scheduling (GS) nonlinear design is the simplest approach to the design of nonlinear feedback. The GS version of PDE backstepping employs gains obtained by solvin… ▽ More To stabilize PDE models, control laws require space-dependent functional gains mapped by nonlinear operators from the PDE functional coefficients. When a PDE is nonlinear and its "pseudo-coefficient" functions are state-dependent, a gain-scheduling (GS) nonlinear design is the simplest approach to the design of nonlinear feedback. The GS version of PDE backstepping employs gains obtained by solving a PDE at each value of the state. Performing such PDE computations in real time may be prohibitive. The recently introduced neural operators (NO) can be trained to produce the gain functions, rapidly in real time, for each state value, without requiring a PDE solution. In this paper we introduce NOs for GS-PDE backstepping. GS controllers act on the premise that the state change is slow and, as a result, guarantee only local stability, even for ODEs. We establish local stabilization of hyperbolic PDEs with nonlinear recirculation using both a "full-kernel" approach and the "gain-only" approach to gain operator approximation. Numerical simulations illustrate stabilization and demonstrate speedup by three orders of magnitude over traditional PDE gain-scheduling. Code (Github) for the numerical implementation is published to enable exploration. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: 16 pages, 5 figures

An equilibrated flux a posteriori error estimator for defeaturing problems

Authors: Annalisa Buffa, Ondine Chanon, Denise Grappein, Rafael Vázquez, Martin Vohralík

Abstract: An a posteriori error estimator based on an equilibrated flux reconstruction is proposed for defeaturing problems in the context of finite element discretizations. Defeaturing consists in the simplification of a geometry by removing features that are considered not relevant for the approximation of the solution of a given PDE. In this work, the focus is on Poisson equation with Neumann boundary co… ▽ More An a posteriori error estimator based on an equilibrated flux reconstruction is proposed for defeaturing problems in the context of finite element discretizations. Defeaturing consists in the simplification of a geometry by removing features that are considered not relevant for the approximation of the solution of a given PDE. In this work, the focus is on Poisson equation with Neumann boundary conditions on the feature boundary. The estimator accounts both for the so-called defeaturing error and for the numerical error committed by approximating the solution on the defeatured domain. Unlike other estimators that were previously proposed for defeaturing problems, the use of the equilibrated flux reconstruction allows to obtain a sharp bound for the numerical component of the error. Furthermore, it does not require the evaluation of the normal trace of the numerical flux on the feature boundary: this makes the estimator well-suited for finite element discretizations, in which the normal trace of the numerical flux is typically discontinuous across elements. The reliability of the estimator is proven and verified on several numerical examples. Its capability to identify the most relevant features is also shown, in anticipation of a future application to an adaptive strategy. △ Less

Submitted 26 December, 2023; originally announced December 2023.

MSC Class: 65N15; 65N30

Energy conservative isogeometric techniques for the wave equation

Authors: Andrea Bressan, Annalisa Buffa, Alen Kushova, Rafael Vázquez

Abstract: We analyze the wave equation in mixed form, with periodic and/or Dirichlet homogeneous boundary conditions, and nonconstant coefficients that depend on the spatial variable. For the discretization, the weak form of the second equation is replaced by a strong form, written in terms of a projection operator. The system of equations is discretized with B-splines forming a De Rham complex along with s… ▽ More We analyze the wave equation in mixed form, with periodic and/or Dirichlet homogeneous boundary conditions, and nonconstant coefficients that depend on the spatial variable. For the discretization, the weak form of the second equation is replaced by a strong form, written in terms of a projection operator. The system of equations is discretized with B-splines forming a De Rham complex along with suitable commutative projectors for the approximation of the second equation. The discrete scheme is energy conservative when discretized in time with a conservative method such as Crank-Nicolson. We propose a convergence analysis of the method to study the dependence with respect to the mesh size $h$, with focus on the consistency error. Numerical results show optimal convergence of the error in energy norm, and a relative error in energy conservation for long-time simulations of the order of machine precision. △ Less

Submitted 30 November, 2023; originally announced November 2023.

MSC Class: 65

Arbitrary order spline representation of cohomology generators for isogeometric analysis of eddy current problems

Authors: Bernard Kapidani, Melina Merkel, Sebastian Schöps, Rafael Vázquez

Abstract: The eddy current problem has many relevant practical applications in science, ranging from non-destructive testing to magnetic confinement of plasma in fusion reactors. It arises when electrical conductors are immersed in an external time-varying magnetic field operating at frequencies for which electromagnetic wave propagation effects can be neglected. Popular formulations of the eddy current p… ▽ More The eddy current problem has many relevant practical applications in science, ranging from non-destructive testing to magnetic confinement of plasma in fusion reactors. It arises when electrical conductors are immersed in an external time-varying magnetic field operating at frequencies for which electromagnetic wave propagation effects can be neglected. Popular formulations of the eddy current problem either use the magnetic vector potential or the magnetic scalar potential. They have individual advantages and disadvantages. One challenge is related to differential geometry: Scalar potential based formulations run into trouble when conductors are present in non-trivial topology, as approximation spaces must be then augmented with generators of the first cohomology group of the non-conducting domain. For all existing algorithms based on lowest order methods it is assumed that the extension of the graph-based algorithms to high-order approximations requires hierarchical bases for the curl-conforming discrete spaces. However, building on insight on de Rham complexes approximation with splines, we will show in the present submission that the hierarchical basis condition is not necessary. Algorithms based on spanning tree techniques can instead be adapted to work on an underlying hexahedral mesh arising from isomorphisms between spline spaces of differential forms and de Rham complexes on an auxiliary control mesh. △ Less

Submitted 22 October, 2023; originally announced October 2023.

Block Backstepping for Isotachic Hyperbolic PDEs and Multilayer Timoshenko Beams

Authors: Guangwei Chen, Rafael Vazquez, Junfei Qiao, Miroslav Krstic

Abstract: In this paper, we investigate the rapid stabilization of N-layer Timoshenko composite beams with anti-damping and anti-stiffness at the uncontrolled boundaries. The problem of stabilization for a two-layer composite beam has been previously studied by transforming the model into a 1-D hyperbolic PIDE-ODE form and then applying backstepping to this new system. In principle this approach is generali… ▽ More In this paper, we investigate the rapid stabilization of N-layer Timoshenko composite beams with anti-damping and anti-stiffness at the uncontrolled boundaries. The problem of stabilization for a two-layer composite beam has been previously studied by transforming the model into a 1-D hyperbolic PIDE-ODE form and then applying backstepping to this new system. In principle this approach is generalizable to any number of layers. However, when some of the layers have the same physical properties (as e.g. in lamination of repeated layers), the approach leads to isotachic hyperbolic PDEs (i.e. where some states have the same transport speed). This particular yet physical and interesting case has not received much attention beyond a few remarks in the early hyperbolic design. Thus, this work starts by extending the theory of backstepping control of (m + n) hyperbolic PIDEs and m ODEs to blocks of isotachic states, leading to a block backstepping design. Then, returning to multilayer Timoshenko beams, the Riemann transformation is used to transform the states of N-layer Timoshenko beams into a 1-D hyperbolic PIDE-ODE system. The block backstepping method is then applied to this model, obtaining closed-loop stability of the origin in the L2 sense. An arbitrarily rapid convergence rate can be obtained by adjusting control parameters. Finally, numerical simulations are presented corroborating the theoretical developments. △ Less

Submitted 18 April, 2025; v1 submitted 17 October, 2023; originally announced October 2023.

Comments: Latest preprint version

Adaptive isogeometric phase-field modeling of the Cahn-Hilliard equation: Suitably graded hierarchical refinement and coarsening on multi-patch geometries

Authors: Cesare Bracco, Carlotta Giannelli, Alessandro Reali, Michele Torre, Rafael Vázquez

Abstract: We present an adaptive scheme for isogeometric phase-field modeling, to perform suitably graded hierarchical refinement and coarsening on both single- and multi-patch geometries by considering truncated hierarchical spline constructions which ensures $C^1$ continuity between patches. We apply the proposed algorithms to the Cahn-Hilliard equation, describing the time-evolving phase separation proce… ▽ More We present an adaptive scheme for isogeometric phase-field modeling, to perform suitably graded hierarchical refinement and coarsening on both single- and multi-patch geometries by considering truncated hierarchical spline constructions which ensures $C^1$ continuity between patches. We apply the proposed algorithms to the Cahn-Hilliard equation, describing the time-evolving phase separation processes of immiscible fluids. We first verify the accuracy of the hierarchical spline scheme by comparing two classical indicators usually considered in phase-field modeling, for then demonstrating the effectiveness of the grading strategy in terms of accuracy per degree of freedom. A selection of numerical examples confirms the performance of the proposed scheme to simulate standard modes of phase separation using adaptive isogeometric analysis with smooth THB-spline constructions. △ Less

Submitted 12 June, 2023; originally announced June 2023.

High order geometric methods with splines: fast solution with explicit time-stepping for Maxwell equations

Authors: Bernard Kapidani, Rafael Vázquez

Abstract: We introduce a high-order spline geometric approach for the initial boundary value problem for Maxwell's equations. The method is geometric in the sense that it discretizes in structure preserving fashion the two de Rham sequences of differential forms involved in the formulation of the continuous system. Both the Ampere--Maxwell and the Faraday equations are required to hold strongly, while to ma… ▽ More We introduce a high-order spline geometric approach for the initial boundary value problem for Maxwell's equations. The method is geometric in the sense that it discretizes in structure preserving fashion the two de Rham sequences of differential forms involved in the formulation of the continuous system. Both the Ampere--Maxwell and the Faraday equations are required to hold strongly, while to make the system solvable two discrete Hodge star operators are used. By exploiting the properties of the chosen spline spaces and concepts from exterior calculus, a non-standard explicit in time formulation is introduced, based on the solution of linear systems with matrices presenting Kronecker product structure, rather than mass matrices as in the standard literature. These matrices arise from the application of the exterior (wedge) product in the discrete setting, and they present Kronecker product structure independently of the geometry of the domain or the material parameters. The resulting scheme preserves the desirable energy conservation properties of the known approaches. The computational advantages of the newly proposed scheme are studied both through a complexity analysis and through numerical experiments in three dimensions. △ Less

Submitted 2 March, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

Comments: 22 pages, 8 figures, 1 table

MSC Class: 65M20; 65M60; 65F05

Adaptive analysis-aware defeaturing: the case of Neumann boundary conditions

Authors: Annalisa Buffa, Ondine Chanon, Rafael Vázquez

Abstract: Removing geometrical details from a complex domain is a classical operation in computer aided design. This procedure simplifies the meshing process, and it enables faster simulations with less memory requirements. However, depending on the partial differential equation that one wants to solve, removing some important geometrical features may greatly impact the solution accuracy. Unfortunately, the… ▽ More Removing geometrical details from a complex domain is a classical operation in computer aided design. This procedure simplifies the meshing process, and it enables faster simulations with less memory requirements. However, depending on the partial differential equation that one wants to solve, removing some important geometrical features may greatly impact the solution accuracy. Unfortunately, the effect of geometrical simplification on the accuracy of the problem solution is often neglected or its evaluation is based on engineering expertise, only due to the lack of reliable tools. It is therefore important to have a better understanding of the effect of geometrical model simplification, also called defeaturing, to improve our control on the simulation accuracy along the design and analysis phases. In this work, we consider as a model problem the Poisson equation on a geometry with Neumann features, we consider some finite element discretization of it, and we build an adaptive strategy that is twofold. Firstly, it is able to perform geometrical refinements, that is, to choose at each iteration step which geometrical feature is important to obtain an accurate solution. Secondly, it performs standard mesh refinements; since the geometry changes at each iteration, the algorithm is designed to be used with an immersed method. To drive this adaptive strategy, we introduce an a posteriori estimator of the energy error between the exact solution defined in the exact fully-featured geometry, and the numerical approximation of the solution defined in the defeatured geometry. The reliability of the estimator is proven for very general (potentially trimmed multipatch) geometric configurations, and in particular for IGA with hierarchical B-splines. Finally, numerical experiments are performed to validate the presented theory and to illustrate the capabilities of the proposed adaptive strategy. △ Less

Submitted 16 July, 2024; v1 submitted 9 December, 2022; originally announced December 2022.

Comments: 50 pages

Backstepping Control of a Hyperbolic PDE System with Zero Characteristic Speed States

Authors: Gustavo A. de Andrade, Rafael Vazquez, Iasson Karafyllis, Miroslav Krstic

Abstract: While for coupled hyperbolic PDEs of first order there now exist numerous PDE backstepping designs, systems with zero speed, i.e., without convection but involving infinite-dimensional ODEs, which arise in many applications, from environmental engineering to lasers to manufacturing, have received virtually no attention. In this paper, we introduce single-input boundary feedback designs for a linea… ▽ More While for coupled hyperbolic PDEs of first order there now exist numerous PDE backstepping designs, systems with zero speed, i.e., without convection but involving infinite-dimensional ODEs, which arise in many applications, from environmental engineering to lasers to manufacturing, have received virtually no attention. In this paper, we introduce single-input boundary feedback designs for a linear 1-D hyperbolic system with two counterconvecting PDEs and $n$ equations (infinite-dimensional ODEs) with zero characteristic speed. The inclusion of zero-speed states, which we refer to as {\em atachic}, may result in non-stabilizability of the plant. We give a verifiable condition for the model to be stabilizable and design a full-state backstepping controller which exponentially stabilizes the origin in the $\mathcal{L}^{2}$ sense. In particular, to employ the backstepping method in the presence of atachic states, we use an invertible Volterra transformation only for the PDEs with nonzero speeds, leaving the zero-speed equations unaltered in the target system input-to-state stable with respect to the decoupled and stable counterconvecting nonzero-speed equations. Simulation results are presented to illustrate the effectiveness of the proposed control design. △ Less

Submitted 25 November, 2022; originally announced November 2022.

Output Feedback Control of Radially-Dependent Reaction-Diffusion PDEs on Balls of Arbitrary Dimensions

Authors: Rafael Vazquez, Jing Zhang, Jie Qi, Miroslav Krstic

Abstract: Recently, the problem of boundary stabilization and estimation for unstable linear constant-coefficient reaction-diffusion equation on n-balls (in particular, disks and spheres) has been solved by means of the backstepping method. However, the extension of this result to spatially-varying coefficients is far from trivial. Some early success has been achieved under simplifying conditions, such as r… ▽ More Recently, the problem of boundary stabilization and estimation for unstable linear constant-coefficient reaction-diffusion equation on n-balls (in particular, disks and spheres) has been solved by means of the backstepping method. However, the extension of this result to spatially-varying coefficients is far from trivial. Some early success has been achieved under simplifying conditions, such as radially-varying reaction coefficients under revolution symmetry, on a disk or a sphere. These particular cases notwithstanding, the problem remains open. The main issue is that the equations become singular in the radius; when applying the backstepping method, the same type of singularity appears in the kernel equations. Traditionally, well-posedness of these equations has been proved by transforming them into integral equations and then applying the method of successive approximations. In this case, with the resulting integral equation becoming singular, successive approximations do not easily apply. This paper takes a different route and directly addresses the kernel equations via a power series approach, finding in the process the required conditions for the radially-varying reaction (namely, analyticity and evenness) and showing the existence and convergence of the series solution. This approach provides a direct numerical method that can be readily applied, despite singularities, to both control and observer boundary design problems. △ Less

Submitted 20 July, 2022; originally announced July 2022.

Comments: Preprint submitted to Systems and Control Letters

Rapid Stabilization of Timoshenko Beam by PDE Backstepping

Authors: Guangwei Chen, Rafael Vazquez, Miroslav Krstic

Abstract: In this paper, we present a rapid boundary stabilization of a Timoshenko beam with anti-damping and anti-stiffness at the uncontrolled boundary, by using PDE backstepping. We introduce a transformation to map the Timoshenko beam states into a (2+2) x (2+2) hyperbolic PIDE-ODE system. Then backstepping is applied to obtain a control law guaranteeing closed-loop stability of the origin in the H^1 se… ▽ More In this paper, we present a rapid boundary stabilization of a Timoshenko beam with anti-damping and anti-stiffness at the uncontrolled boundary, by using PDE backstepping. We introduce a transformation to map the Timoshenko beam states into a (2+2) x (2+2) hyperbolic PIDE-ODE system. Then backstepping is applied to obtain a control law guaranteeing closed-loop stability of the origin in the H^1 sense. Arbitrarily rapid stabilization can be achieved by adjusting control parameters. Finally, a numerical simulation shows that the proposed controller can rapidly stabilize the Timoshenko beam. This result extends a previous work which considered a slender Timoshenko beam with Kelvin-Voigt damping, allowing destabilizing boundary conditions at the uncontrolled boundary and attaining an arbitrarily rapid convergence rate. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Comments: paper submitted to IEEE Transactions on Automatic Control

Adaptive isogeometric methods with $C^1$ (truncated) hierarchical splines on planar multi-patch domains

Authors: Cesare Bracco, Carlotta Giannelli, Mario Kapl, Rafael Vázquez

Abstract: Isogeometric analysis is a powerful paradigm which exploits the high smoothness of splines for the numerical solution of high order partial differential equations. However, the tensor-product structure of standard multivariate B-spline models is not well suited for the representation of complex geometries, and to maintain high continuity on general domains special constructions on multi-patch geom… ▽ More Isogeometric analysis is a powerful paradigm which exploits the high smoothness of splines for the numerical solution of high order partial differential equations. However, the tensor-product structure of standard multivariate B-spline models is not well suited for the representation of complex geometries, and to maintain high continuity on general domains special constructions on multi-patch geometries must be used. In this paper we focus on adaptive isogeometric methods with hierarchical splines, and extend the construction of $C^1$ isogeometric spline spaces on multi-patch planar domains to the hierarchical setting. We introduce a new abstract framework for the definition of hierarchical splines, which replaces the hypothesis of local linear independence for the basis of each level by a weaker assumption. We also develop a refinement algorithm that guarantees that the assumption is fulfilled by $C^1$ splines on certain suitably graded hierarchical multi-patch mesh configurations, and prove that it has linear complexity. The performance of the adaptive method is tested by solving the Poisson and the biharmonic problems. △ Less

Submitted 31 January, 2023; v1 submitted 21 April, 2022; originally announced April 2022.

MSC Class: 65D07; 65D17; 65N30; 65N50

Manoeuvre detection in Low Earth Orbit with Radar Data

Authors: Jose M. Montilla, Julio C. Sanchez, Rafael Vazquez, Jorge Galan-Vioque, Javier Rey Benayas, Jan Siminski

Abstract: This work outlines and assesses several methods for the detection of manoeuvres in Low Earth Orbit (LEO) from surveillance radar data. To be able to detect manoeuvres, the main starting assumption is that the object under analysis has an orbit known with a sufficient degree of precision. Based on the precise (a posteriori) orbit and radar data, several manoeuvre detection methods are presented; on… ▽ More This work outlines and assesses several methods for the detection of manoeuvres in Low Earth Orbit (LEO) from surveillance radar data. To be able to detect manoeuvres, the main starting assumption is that the object under analysis has an orbit known with a sufficient degree of precision. Based on the precise (a posteriori) orbit and radar data, several manoeuvre detection methods are presented; one is based on unscented Kalman filtering, whereas two others algorithms are based on reachability analysis of the state, which correlates its prediction set with the next track from the radar. The filtering algorithm can be extended for several radar tracks, whereas the reachability-based methods are more precise in detecting manoeuvres. Then, to inherit the best properties of both classes of algorithms, a manoeuvre detection filter that combines both concepts is finally presented. Manoeuvre detection results are presented first for simulated scenarios -- for validation and calibration purposes -- and later for real data. Radar information comes from the Spanish Space Surveillance Radar (S3TSR), with real manoeuvre information and high-quality ephemerides. The results show promise, taking into account that a single surveillance radar is the only source of data, obtaining manoeuvre detection rates of more than 50% and false positive rates of less than 10%. △ Less

Submitted 7 March, 2022; originally announced March 2022.

Comments: Preprint submitted to Advances in Space Research

MSC Class: 70M20

High order geometric methods with splines: an analysis of discrete Hodge--star operators

Authors: Bernard Kapidani, Rafael Vázquez

Abstract: A new kind of spline geometric method approach is presented. Its main ingredient is the use of well established spline spaces forming a discrete de Rham complex to construct a primal sequence $\{X^k_h\}^n_{k=0}$, starting from splines of degree $p$, and a dual sequence $\{\tilde{X}^k_h\}_{k=0}^n$, starting from splines of degree $p-1$. By imposing homogeneous boundary conditions to the spaces of t… ▽ More A new kind of spline geometric method approach is presented. Its main ingredient is the use of well established spline spaces forming a discrete de Rham complex to construct a primal sequence $\{X^k_h\}^n_{k=0}$, starting from splines of degree $p$, and a dual sequence $\{\tilde{X}^k_h\}_{k=0}^n$, starting from splines of degree $p-1$. By imposing homogeneous boundary conditions to the spaces of the primal sequence, the two sequences can be isomorphically mapped into one another. Within this setup, many familiar second order partial differential equations can be finally accommodated by explicitly constructing appropriate discrete versions of constitutive relations, called Hodge--star operators. Several alternatives based on both global and local projection operators between spline spaces will be proposed. The appeal of the approach with respect to similar published methods is twofold: firstly, it exhibits high order convergence. Secondly, it does not rely on the geometric realization of any (topologically) dual mesh. Several numerical examples in various space dimensions will be employed to validate the central ideas of the proposed approach and compare its features with the standard Galerkin approach in Isogeometric Analysis. △ Less

Submitted 15 July, 2022; v1 submitted 1 March, 2022; originally announced March 2022.

Comments: Updated with revised version: 25 pages, 8 figures, 4 tables

MSC Class: 65D07; 65N12; 65N30

Torque Computation with the Isogeometric Mortar Method for the Simulation of Electric Machines

Authors: Melina Merkel, Bernard Kapidani, Sebastian Schöps, Rafael Vázquez

Abstract: In this work isogeometric mortaring is used for the simulation of a six pole permanent magnet synchronous machine. Isogeometric mortaring is especially well suited for the efficient computation of rotating electric machines as it allows for an exact geometry representation for arbitrary rotation angles without the need of remeshing. The appropriate B-spline spaces needed for the solution of Maxwel… ▽ More In this work isogeometric mortaring is used for the simulation of a six pole permanent magnet synchronous machine. Isogeometric mortaring is especially well suited for the efficient computation of rotating electric machines as it allows for an exact geometry representation for arbitrary rotation angles without the need of remeshing. The appropriate B-spline spaces needed for the solution of Maxwell's equations and the corresponding mortar spaces are introduced. Unlike in classical finite element methods their construction is straightforward in the isogeometric case. The torque in the machine is computed using two different methods, i.e., Arkkio's method and by using the Lagrange multipliers from the mortaring. △ Less

Submitted 11 February, 2022; originally announced February 2022.

Journal ref: IEEE Transactions on Magnetics, vol. 58, no. 9, Sept. 2022, Art no. 8107604

An a posteriori error estimator for isogeometric analysis on trimmed geometries

Authors: Annalisa Buffa, Ondine Chanon, Rafael Vázquez

Abstract: Trimming consists of cutting away parts of a geometric domain, without reconstructing a global parametrization (meshing). It is a widely used operation in computer aided design, which generates meshes that are unfitted with the described physical object. This paper develops an adaptive mesh refinement strategy on trimmed geometries in the context of hierarchical B-spline based isogeometric analysi… ▽ More Trimming consists of cutting away parts of a geometric domain, without reconstructing a global parametrization (meshing). It is a widely used operation in computer aided design, which generates meshes that are unfitted with the described physical object. This paper develops an adaptive mesh refinement strategy on trimmed geometries in the context of hierarchical B-spline based isogeometric analysis. A residual a posteriori estimator of the energy norm of the numerical approximation error is derived, in the context of the Poisson equation. The estimator is proven to be reliable, independently of the number of hierarchical levels and of the way the trimmed boundaries cut the underlying mesh. Numerical experiments are performed to validate the presented theory, and to show that the estimator's effectivity index is independent of the size of the active part of the trimmed mesh elements. △ Less

Submitted 9 August, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 24 pages, 5 figures

Tree-Cotree Decomposition of Isogeometric Mortared Spaces in H(curl) on Multi-Patch Domains

Authors: Bernard Kapidani, Melina Merkel, Sebastian Schöps, Rafael Vázquez

Abstract: When applying isogeometric analysis to engineering problems, one often deals with multi-patch spline spaces that have incompatible discretisations, e.g. in the case of moving objects. In such cases mortaring has been shown to be advantageous. This contribution discusses the appropriate B-spline spaces needed for the solution of Maxwell's equations in the functions space H(curl) and the correspondi… ▽ More When applying isogeometric analysis to engineering problems, one often deals with multi-patch spline spaces that have incompatible discretisations, e.g. in the case of moving objects. In such cases mortaring has been shown to be advantageous. This contribution discusses the appropriate B-spline spaces needed for the solution of Maxwell's equations in the functions space H(curl) and the corresponding mortar spaces. The main contribution of this paper is to show that in formulations requiring gauging, as in the vector potential formulation of magnetostatic equations, one can remove the discrete kernel subspace from the mortared spaces by the graph-theoretical concept of a tree-cotree decomposition. The tree-cotree decomposition is done based on the control mesh, it works for non-contractible domains, and it can be straightforwardly applied independently of the degree of the B-spline bases. Finally, the simulation workflow is demonstrated using a realistic model of a rotating permanent magnet synchronous machine. △ Less

Submitted 29 October, 2021; originally announced October 2021.

Journal ref: Computer Methods in Applied Mechanics and Engineering, Vol. 395, pp. 114949, 2022

Mathematical foundations of adaptive isogeometric analysis

Authors: Annalisa Buffa, Gregor Gantner, Carlotta Giannelli, Dirk Praetorius, Rafael Vázquez

Abstract: This paper reviews the state of the art and discusses recent developments in the field of adaptive isogeometric analysis, with special focus on the mathematical theory. This includes an overview of available spline technologies for the local resolution of possible singularities as well as the state-of-the-art formulation of convergence and quasi-optimality of adaptive algorithms for both the finit… ▽ More This paper reviews the state of the art and discusses recent developments in the field of adaptive isogeometric analysis, with special focus on the mathematical theory. This includes an overview of available spline technologies for the local resolution of possible singularities as well as the state-of-the-art formulation of convergence and quasi-optimality of adaptive algorithms for both the finite element method (FEM) and the boundary element method (BEM) in the frame of isogeometric analysis (IGA). △ Less

Submitted 21 September, 2022; v1 submitted 5 July, 2021; originally announced July 2021.

Journal ref: Archives of Computational Methods in Engineering, 29:4479-4555, 2022

Analysis-aware defeaturing: problem setting and a posteriori estimation

Authors: Annalisa Buffa, Ondine Chanon, Rafael Vázquez

Abstract: Defeaturing consists in simplifying geometrical models by removing the geometrical features that are considered not relevant for a given simulation. Feature removal and simplification of computer-aided design models enables faster simulations for engineering analysis problems, and simplifies the meshing problem that is otherwise often unfeasible. The effects of defeaturing on the analysis are then… ▽ More Defeaturing consists in simplifying geometrical models by removing the geometrical features that are considered not relevant for a given simulation. Feature removal and simplification of computer-aided design models enables faster simulations for engineering analysis problems, and simplifies the meshing problem that is otherwise often unfeasible. The effects of defeaturing on the analysis are then neglected and, as of today, there are basically very few strategies to quantitatively evaluate such an impact. Understanding well the effects of this process is an important step for automatic integration of design and analysis. We formalize the process of defeaturing by understanding its effect on the solution of Poisson equation defined on the geometrical model of interest containing a single feature, with Neumann boundary conditions on the feature itself. We derive an a posteriori estimator of the energy error between the solutions of the exact and the defeatured geometries in $\mathbb{R}^n$, $n\in\{2,3\}$, that is simple, reliable and efficient up to oscillations. The dependence of the estimator upon the size of the features is explicit. △ Less

Submitted 30 November, 2021; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: 37 pages, 15 figures, 4 tables

MSC Class: 65N50; 65N30

Predefined-Time Consensus of High-Order Multi-Agent Systems

Authors: J. Armando Colunga, Héctor M. Becerra, Carlos R. Vázquez, David Gómez-Gutiérrez

Abstract: This paper addresses the distributed prescribed-time leader-following consensus problem for a class of high-order multi-agent systems (MASs) with perturbed nonlinear agents dynamics and where the topology of the network contains a directed spanning tree, with the leader as the root. Prescribed-time consensus means that an agreement state of the MAS is achieved in a preset time, introduced as a par… ▽ More This paper addresses the distributed prescribed-time leader-following consensus problem for a class of high-order multi-agent systems (MASs) with perturbed nonlinear agents dynamics and where the topology of the network contains a directed spanning tree, with the leader as the root. Prescribed-time consensus means that an agreement state of the MAS is achieved in a preset time, introduced as a parameter of the control law, and this constant settling time is achieved independently of the agents' initial state. The proposed control method exhibits three main advantages: first, to our best knowledge, it is the first time that prescribed-time convergence in a consensus problem is achieved for agents with high-order nonlinear dynamics, using a robust leader-following protocol, which allows an effective rejection of matched disturbances in the agents' model. Second, the proposed controller provides control signals of lower magnitude than existing approaches. Third, the proposed consensus protocol does not have parameters to be adjusted depending on the connectivity of the considered communication graph. △ Less

Submitted 11 December, 2020; v1 submitted 9 March, 2020; originally announced March 2020.

Journal ref: IEEE Access, vol. 8, pp. 195170-195183, 2020

BPX Preconditioners for Isogeometric Analysis Using (Truncated) Hierarchical B-splines

Authors: Cesare Bracco, Durkbin Cho, Carlotta Giannelli, Rafael Vazquez

Abstract: We present the construction of additive multilevel preconditioners, also known as BPX preconditioners, for the solution of the linear system arising in isogeometric adaptive schemes with (truncated) hierarchical B-splines. We show that the locality of hierarchical spline functions, naturally defined on a multilevel structure, can be suitably exploited to design and analyze efficient multilevel dec… ▽ More We present the construction of additive multilevel preconditioners, also known as BPX preconditioners, for the solution of the linear system arising in isogeometric adaptive schemes with (truncated) hierarchical B-splines. We show that the locality of hierarchical spline functions, naturally defined on a multilevel structure, can be suitably exploited to design and analyze efficient multilevel decompositions. By obtaining smaller subspaces with respect to standard tensor-product B-splines, the computational effort on each level is reduced. We prove that, for suitably graded hierarchical meshes, the condition number of the preconditioned system is bounded independently of the number of levels. A selection of numerical examples validates the theoretical results and the performance of the preconditioner. △ Less

Submitted 27 December, 2019; originally announced December 2019.

Adaptive isogeometric analysis on two-dimensional trimmed domains based on a hierarchical approach

Authors: Luca Coradello, Pablo Antolin, Rafael Vázquez, Annalisa Buffa

Abstract: The focus of this work is on the development of an error-driven isogeometric framework, capable of automatically performing an adaptive simulation in the context of second- and fourth-order, elliptic partial differential equations defined on two-dimensional trimmed domains. The method is steered by an a posteriori error estimator, which is computed with the aid of an auxiliary residual-like proble… ▽ More The focus of this work is on the development of an error-driven isogeometric framework, capable of automatically performing an adaptive simulation in the context of second- and fourth-order, elliptic partial differential equations defined on two-dimensional trimmed domains. The method is steered by an a posteriori error estimator, which is computed with the aid of an auxiliary residual-like problem formulated onto a space spanned by splines with single element support. The local refinement of the basis is achieved thanks to the use of truncated hierarchical B-splines. We prove numerically the applicability of the proposed estimator to various engineering-relevant problems, namely the Poisson problem, linear elasticity and Kirchhoff-Love shells, formulated on trimmed geometries. In particular, we study several benchmark problems which exhibit both smooth and singular solutions, where we recover optimal asymptotic rates of convergence for the error measured in the energy norm and we observe a substantial increase in accuracy per-degree-of-freedom compared to uniform refinement. Lastly, we show the applicability of our framework to the adaptive shell analysis of an industrial-like trimmed geometry modeled in the commercial software Rhinoceros, which represents the B-pillar of a car. △ Less

Submitted 9 October, 2019; originally announced October 2019.

BPX preconditioners for isogeometric analysis using analysis-suitable T-splines

Authors: Durkbin Cho, Rafael Vázquez

Abstract: We propose and analyze optimal additive multilevel solvers for isogeometric discretizations of scalar elliptic problems for locally refined T-meshes. Applying the refinement strategy in Morgenstern and Peterseim (2015, Comput. Aided Geom. Design, 34, 50-66) we can guarantee that the obtained T-meshes have a multilevel structure, and that the associated T-splines are analysis-suitable, for which we… ▽ More We propose and analyze optimal additive multilevel solvers for isogeometric discretizations of scalar elliptic problems for locally refined T-meshes. Applying the refinement strategy in Morgenstern and Peterseim (2015, Comput. Aided Geom. Design, 34, 50-66) we can guarantee that the obtained T-meshes have a multilevel structure, and that the associated T-splines are analysis-suitable, for which we can define a dual basis and a stable projector. Taking advantage of the multilevel structure, we develop two BPX preconditioners: the first on the basis of local smoothing only for the functions affected by a newly added edge by bisection, and the second smoothing for all the functions affected after adding all the edges of the same level. We prove that both methods have optimal complexity, and present several numerical experiments to confirm our theoretical results, and also to compare the practical performance of the proposed preconditioners. △ Less

Submitted 3 July, 2019; originally announced July 2019.

Folding Bilateral Backstepping Output-Feedback Control Design For an Unstable Parabolic PDE

Authors: Stephen Chen, Rafael Vazquez, Miroslav Krstic

Abstract: We present a novel methodology for designing output-feedback backstepping boundary controllers for an unstable 1-D diffusion-reaction partial differential equation with spatially-varying reaction. Using "folding" transforms the parabolic PDE into a 2X2 coupled parabolic PDE system with coupling via folding boundary conditions. The folding approach is novel in the sense that the design of bilateral… ▽ More We present a novel methodology for designing output-feedback backstepping boundary controllers for an unstable 1-D diffusion-reaction partial differential equation with spatially-varying reaction. Using "folding" transforms the parabolic PDE into a 2X2 coupled parabolic PDE system with coupling via folding boundary conditions. The folding approach is novel in the sense that the design of bilateral controllers can be generalized to centering around arbitrary points, which admit additional design parameters for both the state-feedback controller and the state observer. The design can be selectively biased to achieve different performance indicies (e.g. energy, boundedness, etc). A first backstepping transformation is designed to map the unstable system into a strict-feedback intermediate target system. A second backstepping transformation is designed to stabilize the intermediate target system. The invertibility of the two transformations guarantees that the derived state-feedback controllers exponentially stabilize the trivial solution of the parabolic PDE system in the L^2 norm sense. A complementary state observer is likewise designed for the dual problem, where two collocated measurements are considered at an arbitrary point in the interior of the domain. The observer generates state estimates which converge to the true state exponentially fast in the L^2 sense. Finally, the output feedback control law is formulated by composing the state-feedback controller with the state estimates from the observer, and the resulting dynamic feedback is shown to stabilize the trivial solution of the interconnected system in the L^2 norm sense. Some analysis on how the selection of these points affect the responses of the controller and observer are discussed, with simulations illustrating various choices of folding points and their effect on the stabilization. △ Less

Submitted 21 August, 2019; v1 submitted 12 June, 2019; originally announced June 2019.

Bilateral Boundary Control Design for a Cascaded Diffusion-ODE System Coupled at an Arbitrary Interior Point

Authors: Stephen Chen, Rafael Vazquez, Miroslav Krstic

Abstract: We present a methodology for designing bilateral boundary controllers for a class of systems consisting of a coupled diffusion equation with an unstable ODE at an arbitrary interior point. A folding transformation is applied about the coupling point, transforming the system into an ODE with an input channel consisting of two coupled diffusive actuation paths. A target system with an exponentially… ▽ More We present a methodology for designing bilateral boundary controllers for a class of systems consisting of a coupled diffusion equation with an unstable ODE at an arbitrary interior point. A folding transformation is applied about the coupling point, transforming the system into an ODE with an input channel consisting of two coupled diffusive actuation paths. A target system with an exponentially stable trivial solution in the sense of L^2 X R^n is proposed, and the stability property is shown via the Lyapunov method. The stabilizing control laws are formulated via tiered Volterra transformations of the second kind, establishing an equivalence relation between the stable target system and the original plant under boundary feedback. Stability properties of the plant under feedback is inferred from the equivalence relation. The well-posedness of the backstepping transformations involved are studied, and the existence of bounded Volterra kernels is shown, constituting a sufficient condition for the invertibility of the Volterra transformations. △ Less

Submitted 11 June, 2019; originally announced June 2019.

A minimal stabilization procedure for Isogeometric methods on trimmed geometries

Authors: Annalisa Buffa, Riccardo Puppi, Rafael Vázquez

Abstract: Trimming is a common operation in CAD, and, in its simplest formulation, consists in removing superfluous parts from a geometric entity described via splines (a spline patch). After trimming the geometric description of the patch remains unchanged, but the underlying mesh is unfitted with the physical object. We discuss the main problems arising when solving elliptic PDEs on a trimmed domain. Firs… ▽ More Trimming is a common operation in CAD, and, in its simplest formulation, consists in removing superfluous parts from a geometric entity described via splines (a spline patch). After trimming the geometric description of the patch remains unchanged, but the underlying mesh is unfitted with the physical object. We discuss the main problems arising when solving elliptic PDEs on a trimmed domain. First we prove that, even when Dirichlet boundary conditions are weakly enforced using Nitsche's method, the resulting method suffers lack of stability. Then, we develop novel stabilization techniques based on a modification of the variational formulation, which allow us to recover well-posedness and guarantee accuracy. Optimal a priori error estimates are proven, and numerical examples confirming the theoretical results are provided. △ Less

Submitted 12 August, 2020; v1 submitted 13 February, 2019; originally announced February 2019.

MSC Class: 65N12; 65N15; 65N30; 65N85

Journal ref: SIAM J. NUMER. ANAL. \c{opyright} 2020 Society for Industrial and Applied Mathematics Vol. 58, No. 5, pp. 2711-2735

Isogeometric analysis with $C^1$ hierarchical functions on planar two-patch geometries

Authors: Cesare Bracco, Carlotta Giannelli, Mario Kapl, Rafael Vázquez

Abstract: Adaptive isogeometric methods for the solution of partial differential equations rely on the construction of locally refinable spline spaces. A simple and efficient way to obtain these spaces is to apply the multi-level construction of hierarchical splines, that can be used on single-patch domains or in multi-patch domains with $C^0$ continuity across the patch interfaces. Due to the benefits of h… ▽ More Adaptive isogeometric methods for the solution of partial differential equations rely on the construction of locally refinable spline spaces. A simple and efficient way to obtain these spaces is to apply the multi-level construction of hierarchical splines, that can be used on single-patch domains or in multi-patch domains with $C^0$ continuity across the patch interfaces. Due to the benefits of higher continuity in isogeometric methods, recent works investigated the construction of spline spaces with global $C^1$ continuity on two or more patches. In this paper, we show how these approaches can be combined with the hierarchical construction to obtain global $C^1$ continuous hierarchical splines on two-patch domains. A selection of numerical examples is presented to highlight the features and effectivity of the construction. △ Less

Submitted 24 September, 2019; v1 submitted 28 January, 2019; originally announced January 2019.

Isogeometric Mortar Coupling for Electromagnetic Problems

Authors: Annalisa Buffa, Jacopo Corno, Carlo de Falco, Sebastian Schöps, Rafael Vázquez

Abstract: This paper discusses and analyses two domain decomposition approaches for electromagnetic problems that allow the combination of domains discretised by either Nédélec-type polynomial finite elements or spline-based isogeometric analysis. The first approach is a new isogeometric mortar method and the second one is based on a modal basis for the Lagrange multiplier space, called state-space concaten… ▽ More This paper discusses and analyses two domain decomposition approaches for electromagnetic problems that allow the combination of domains discretised by either Nédélec-type polynomial finite elements or spline-based isogeometric analysis. The first approach is a new isogeometric mortar method and the second one is based on a modal basis for the Lagrange multiplier space, called state-space concatenation in the engineering literature. Spectral correctness and in particular inf-sup stability of both approaches are analytically and numerically investigated. The new mortar method is shown to be unconditionally stable. Its construction of the discrete Lagrange multiplier space takes advantage of the high continuity of splines, and does not have an analogue for Nédélec finite elements. On the other hand, the approach with modal basis is easier to implement but relies on application knowledge to ensure stability and correctness. △ Less

Submitted 27 December, 2018; originally announced January 2019.

MSC Class: 35Q60; 49M27; 65D07; 68Q25; 68R10; 68U05; 78M10

Suitably graded THB-spline refinement and coarsening: Towards an adaptive isogeometric analysis of additive manufacturing processes

Authors: Massimo Carraturo, Carlotta Giannelli, Alessandro Reali, Rafael Vázquez

Abstract: In the present work we introduce a complete set of algorithms to efficiently perform adaptive refinement and coarsening by exploiting truncated hierarchical B-splines (THB-splines) defined on suitably graded isogeometric meshes, that are called admissible mesh configurations. We apply the proposed algorithms to two-dimensional linear heat transfer problems with localized moving heat source, as sim… ▽ More In the present work we introduce a complete set of algorithms to efficiently perform adaptive refinement and coarsening by exploiting truncated hierarchical B-splines (THB-splines) defined on suitably graded isogeometric meshes, that are called admissible mesh configurations. We apply the proposed algorithms to two-dimensional linear heat transfer problems with localized moving heat source, as simplified models for additive manufacturing applications. We first verify the accuracy of the admissible adaptive scheme with respect to an overkilled solution, for then comparing our results with similar schemes which consider different refinement and coarsening algorithms, with or without taking into account grading parameters. This study shows that the THB-spline admissible solution delivers an optimal discretization for what concerns not only the accuracy of the approximation, but also the (reduced) number of degrees of freedom per time step. In the last example we investigate the capability of the algorithms to approximate the thermal history of the problem for a more complicated source path. The comparison with uniform and non-admissible hierarchical meshes demonstrates that also in this case our adaptive scheme returns the desired accuracy while strongly improving the computational efficiency. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: 20 pages, 12 figures

On finite-time and fixed-time consensus algorithms for dynamic networks switching among disconnected digraphs

Authors: David Gómez-Gutiérrez, Carlos Renato Vázquez, Sergej Čelikovský, Juan Diego Sánchez-Torres, Javier Ruiz León

Abstract: The aim of this paper is to analyze a class of consensus algorithms with finite-time or fixed-time convergence for dynamic networks formed by agents with first-order dynamics. In particular, in the analyzed class a single evaluation of a nonlinear function of the consensus error is performed per each node. The classical assumption of switching among connected graphs is dropped here, allowing to re… ▽ More The aim of this paper is to analyze a class of consensus algorithms with finite-time or fixed-time convergence for dynamic networks formed by agents with first-order dynamics. In particular, in the analyzed class a single evaluation of a nonlinear function of the consensus error is performed per each node. The classical assumption of switching among connected graphs is dropped here, allowing to represent failures and intermittent communications between agents. Thus, conditions to guarantee finite and fixed-time convergence, even while switching among disconnected graphs, are provided. Moreover, the algorithms of the considered class are shown to be computationally simpler than previously proposed finite-time consensus algorithms for dynamic networks, which is an important feature in scenarios with computationally limited nodes and energy efficiency requirements such as in sensor networks. The performance of the considered consensus algorithms is illustrated through simulations, comparing it to existing approaches for dynamic networks with finite-time and fixed-time convergence. It is shown that the settling time of the considered algorithms grows slower when the number of nodes increases than with other consensus algorithms for dynamic networks. △ Less

Submitted 25 June, 2021; v1 submitted 31 October, 2018; originally announced November 2018.

Comments: Please cite the publisher's version}. For the publisher's version and full citation details see: https://doi.org/10.1080/00207179.2018.1543896 The following links provide access, for a limited time, to a free copy of the publisher's version: https://www.tandfonline.com/eprint/FSW8JJRVPHMXJ3XUUXZH/full?target=10.1080/00207179.2018.1543896

Journal ref: International Journal of Control, 93(9), 2120-2134, 2020

Nonlinear Bilateral Output-Feedback Control for a Class of Viscous Hamilton-Jacobi PDEs

Authors: Nikolaos Bekiaris-Liberis, Rafael Vazquez

Abstract: We tackle the boundary control and estimation problems for a class of viscous Hamilton-Jacobi PDEs, considering bilateral actuation and sensing, i.e., at the two boundaries of a 1-D spatial domain. First, we solve the nonlinear trajectory generation problem for this type of PDEs, providing the necessary feedforward actions at both boundaries. Second, in order to guarantee trajectory tracking with… ▽ More We tackle the boundary control and estimation problems for a class of viscous Hamilton-Jacobi PDEs, considering bilateral actuation and sensing, i.e., at the two boundaries of a 1-D spatial domain. First, we solve the nonlinear trajectory generation problem for this type of PDEs, providing the necessary feedforward actions at both boundaries. Second, in order to guarantee trajectory tracking with an arbitrary decay rate, we construct nonlinear, full-state feedback laws employed at the two boundary ends. Third, a nonlinear observer is constructed, using measurements from both boundaries, which is combined with the full-state feedback designs into an observer-based output-feedback law. All of our designs are explicit since they are constructed interlacing a feedback linearizing transformation (which we introduce) with backstepping. Due to the fact that the linearizing transformation is locally invertible, only regional stability results are established, which are, nevertheless, accompanied with region of attraction estimates. Our stability proofs are based on the utilization of the linearizing transformation together with the employment of backstepping transformations, suitably formulated to handle the case of bilateral actuation and sensing. We illustrate the developed methodologies via application to traffic flow control and we present consistent simulation results. △ Less

Submitted 9 March, 2018; originally announced March 2018.

Comments: Submitted to Automatica on March 8, 2018

Hyperbolicity notions for varieties defined over a non-Archimedean field

Authors: Rita Rodríguez Vázquez

Abstract: Firstly, we pursue the work of W. Cherry on the analogue of the Kobayashi semi distance dCK that he introduced for analytic spaces defined over a non-Archimedean metrized field k. We prove various characterizations of smooth projective varieties for which dCK is an actual distance. Secondly, we explore several notions of hyperbolicity for a smooth algebraic curve X defined over k. We prove a non-A… ▽ More Firstly, we pursue the work of W. Cherry on the analogue of the Kobayashi semi distance dCK that he introduced for analytic spaces defined over a non-Archimedean metrized field k. We prove various characterizations of smooth projective varieties for which dCK is an actual distance. Secondly, we explore several notions of hyperbolicity for a smooth algebraic curve X defined over k. We prove a non-Archimedean analogue of the equivalence between having negative Euler characteristic and the normality of certain families of analytic maps taking values in X. △ Less

Submitted 8 January, 2018; originally announced January 2018.

Recent Advances of Isogeometric Analysis in Computational Electromagnetics

Authors: Zeger Bontinck, Jacopo Corno, Herbert De Gersem, Stefan Kurz, Andreas Pels, Sebastian Schöps, Felix Wolf, Carlo de Falco, Jürgen Dölz, Rafael Vázquez, Ulrich Römer

Abstract: In this communication the advantages and drawbacks of the isogeometric analysis (IGA) are reviewed in the context of electromagnetic simulations. IGA extends the set of polynomial basis functions, commonly employed by the classical Finite Element Method (FEM). While identical to FEM with Nédélec's basis functions in the lowest order case, it is based on B-spline and Non-Uniform Rational B-spline b… ▽ More In this communication the advantages and drawbacks of the isogeometric analysis (IGA) are reviewed in the context of electromagnetic simulations. IGA extends the set of polynomial basis functions, commonly employed by the classical Finite Element Method (FEM). While identical to FEM with Nédélec's basis functions in the lowest order case, it is based on B-spline and Non-Uniform Rational B-spline basis functions. The main benefit of this is the exact representation of the geometry in the language of computer aided design (CAD) tools. This simplifies the meshing as the computational mesh is implicitly created by the engineer using the CAD tool. The curl- and div-conforming spline function spaces are recapitulated and the available software is discussed. Finally, several non-academic benchmark examples in two and three dimensions are shown which are used in optimization and uncertainty quantification workflows. △ Less

Submitted 18 September, 2017; originally announced September 2017.

Comments: submitted to the ICS Newsletter

MSC Class: 78A30; 78A40; 74F15; 65N30; 65N25 ACM Class: G.1.8; F.2.1; J.2

Hierarchical B-spline complexes of discrete differential forms

Authors: John A. Evans, Michael A. Scott, Kendrick Shepherd, Derek Thomas, Rafael Vazquez

Abstract: In this paper, we introduce the hierarchical B-spline complex of discrete differential forms for arbitrary spatial dimension. This complex may be applied to the adaptive isogeometric solution of problems arising in electromagnetics and fluid mechanics. We derive a sufficient and necessary condition guaranteeing exactness of the hierarchical B-spline complex for arbitrary spatial dimension, and we… ▽ More In this paper, we introduce the hierarchical B-spline complex of discrete differential forms for arbitrary spatial dimension. This complex may be applied to the adaptive isogeometric solution of problems arising in electromagnetics and fluid mechanics. We derive a sufficient and necessary condition guaranteeing exactness of the hierarchical B-spline complex for arbitrary spatial dimension, and we derive a set of local, easy-to-compute, and sufficient exactness conditions for the two-dimensional setting. We examine the stability properties of the hierarchical B-spline complex, and we find that it yields stable approximations of both the Maxwell eigenproblem and Stokes problem provided that the local exactness conditions are satisfied. We conclude by providing numerical results showing the promise of the hierarchical B-spline complex in an adaptive isogeometric solution framework. △ Less

Submitted 14 August, 2017; originally announced August 2017.

An isogeometric boundary element method for electromagnetic scattering with compatible B-spline discretizations

Authors: Robert N. Simpson, Zhaowei Liu, Ráfael Vazquez, John A. Evans

Abstract: We outline the construction of compatible B-splines on 3D surfaces that satisfy the continuity requirements for electromagnetic scattering analysis with the boundary element method (method of moments). Our approach makes use of Non-Uniform Rational B-splines to represent model geometry and compatible B-splines to approximate the surface current, and adopts the isogeometric concept in which the bas… ▽ More We outline the construction of compatible B-splines on 3D surfaces that satisfy the continuity requirements for electromagnetic scattering analysis with the boundary element method (method of moments). Our approach makes use of Non-Uniform Rational B-splines to represent model geometry and compatible B-splines to approximate the surface current, and adopts the isogeometric concept in which the basis for analysis is taken directly from CAD (geometry) data. The approach allows for high-order approximations and crucially provides a direct link with CAD data structures that allows for efficient design workflows. After outlining the construction of div- and curl-conforming B-splines defined over 3D surfaces we describe their use with the electric and magnetic field integral equations using a Galerkin formulation. We use Bézier extraction to accelerate the computation of NURBS and B-spline terms and employ H-matrices to provide accelerated computations and memory reduction for the dense matrices that result from the boundary integral discretization. The method is verified using the well known Mie scattering problem posed over a perfectly electrically conducting sphere and the classic NASA almond problem. Finally, we demonstrate the ability of the approach to handle models with complex geometry directly from CAD without mesh generation. △ Less

Submitted 24 April, 2017; originally announced April 2017.

Non-archimedean normal families

Authors: Rita Rodríguez Vázquez

Abstract: We present several results on the compactness of the space of morphisms between analytic spaces in the sense of Berkovich. We show that under certain conditions on the source, every sequence of analytic maps having an affinoid target has a subsequence that converges pointwise to a continuous map. We also study the class of continuous maps that arise in this way. Locally, they turn analytic after a… ▽ More We present several results on the compactness of the space of morphisms between analytic spaces in the sense of Berkovich. We show that under certain conditions on the source, every sequence of analytic maps having an affinoid target has a subsequence that converges pointwise to a continuous map. We also study the class of continuous maps that arise in this way. Locally, they turn analytic after a certain base change. We give some applications of these results to the dynamics of an endomorphism f of the projective space. We define the Fatou set as the normality locus of the family of the iterates {f n }. We then generalize to the non-Archimedan setting a theorem of Ueda stating that every Fatou component is hyperbolically imbedded in the projective space. △ Less

Submitted 2 January, 2018; v1 submitted 20 July, 2016; originally announced July 2016.

Boundary Control of Coupled Reaction-Advection-Diffusion Systems with Spatially-Varying Coefficients

Authors: Rafael Vazquez, Miroslav Krstic

Abstract: Recently, the problem of boundary stabilization for unstable linear constant-coefficient coupled reaction-diffusion systems was solved by means of the backstepping method. The extension of this result to systems with advection terms and spatially-varying coefficients is challenging due to complex boundary conditions that appear in the equations verified by the control kernels. In this paper we add… ▽ More Recently, the problem of boundary stabilization for unstable linear constant-coefficient coupled reaction-diffusion systems was solved by means of the backstepping method. The extension of this result to systems with advection terms and spatially-varying coefficients is challenging due to complex boundary conditions that appear in the equations verified by the control kernels. In this paper we address this issue by showing that these equations are essentially equivalent to those verified by the control kernels for first-order hyperbolic coupled systems, which were recently found to be well-posed. The result therefore applies in this case, allowing us to prove H^1 stability for the closed-loop system. It also shows an interesting connection between backstepping kernels for coupled parabolic and hyperbolic problems. △ Less

Submitted 15 March, 2016; originally announced March 2016.

Comments: Submitted to IEEE Transactions on Automatic Control

Bilateral Boundary Control of One-Dimensional First- and Second-Order PDEs using Infinite-Dimensional Backstepping

Authors: Rafael Vazquez, Miroslav Krstic

Abstract: This paper develops an extension of infinite-dimensional backstepping method for parabolic and hyperbolic systems in one spatial dimension with two actuators. Typically, PDE backstepping is applied in 1-D domains with an actuator at one end. Here, we consider the use of two actuators, one at each end of the domain, which we refer to as bilateral control (as opposed to unilateral control). Bilatera… ▽ More This paper develops an extension of infinite-dimensional backstepping method for parabolic and hyperbolic systems in one spatial dimension with two actuators. Typically, PDE backstepping is applied in 1-D domains with an actuator at one end. Here, we consider the use of two actuators, one at each end of the domain, which we refer to as bilateral control (as opposed to unilateral control). Bilateral control laws are derived for linear reaction-diffusion, wave and 2X2 hyperbolic 1-D systems (with same speed of transport in both directions). The extension is nontrivial but straightforward if the backstepping transformation is adequately posed. The resulting bilateral controllers are compared with their unilateral counterparts in the reaction-diffusion case for constant coefficients, by making use of explicit solutions, showing a reduction in control effort as a tradeoff for the presence of two actuators when the system coefficients are large. These results open the door for more sophisticated designs such as bilateral sensor/actuator output feedback and fault-tolerant designs. △ Less

Submitted 15 March, 2016; originally announced March 2016.

Comments: submitted to 2016 CDC

Boundary control of a singular reaction-diffusion equation on a disk

Authors: Rafael Vazquez, Miroslav Krstic

Abstract: Recently, the problem of boundary stabilization for unstable linear constant-coefficient reaction-diffusion equation on N-balls has been solved by means of the backstepping method. However, the extension of this result to spatially-varying coefficients is far from trivial. This work deals with radially-varying reaction coefficients under revolution symmetry conditions on a disk (the 2-D case). Und… ▽ More Recently, the problem of boundary stabilization for unstable linear constant-coefficient reaction-diffusion equation on N-balls has been solved by means of the backstepping method. However, the extension of this result to spatially-varying coefficients is far from trivial. This work deals with radially-varying reaction coefficients under revolution symmetry conditions on a disk (the 2-D case). Under these conditions, the equations become singular in the radius. When applying the backstepping method, the same type of singularity appears in the backstepping kernel equations. Traditionally, well-posedness of the kernel equations is proved by transforming them into integral equations and then applying the method of successive approximations. In this case, the resulting integral equation is singular. A successive approximation series can still be formulated, however its convergence is challenging to show due to the singularities. The problem is solved by a rather non-standard proof that uses the properties of the Catalan numbers, a well-known sequence frequently used in combinatorial mathematics. △ Less

Submitted 8 January, 2016; originally announced January 2016.

Comments: Submitted to the 2nd IFAC Workshop on Control of Systems Governed by Partial Differential Equations (CPDE 2016)

Boundary exponential stabilization of 1-D inhomogeneous quasilinear hyperbolic systems

Authors: Long Hu, Rafael Vazquez, Florent Di Meglio, Miroslav Krstic

Abstract: This paper deals with the problem of boundary stabilization of first-order n\times n inhomogeneous quasilinear hyperbolic systems. A backstepping method is developed. The main result supplements the previous works on how to design multi-boundary feedback controllers to realize exponential stability of the original nonlinear system in the spatial H^2 sense. This paper deals with the problem of boundary stabilization of first-order n\times n inhomogeneous quasilinear hyperbolic systems. A backstepping method is developed. The main result supplements the previous works on how to design multi-boundary feedback controllers to realize exponential stability of the original nonlinear system in the spatial H^2 sense. △ Less

Submitted 11 December, 2015; originally announced December 2015.

Boundary Control of Reaction-Diffusion PDEs on Balls in Spaces of Arbitrary Dimensions

Authors: Rafael Vazquez, Miroslav Krstic

Abstract: An explicit output-feedback boundary feedback law is introduced that stabilizes an unstable linear constant-coefficient reaction-diffusion equation on an $n$-ball (which in 2-D reduces to a disk and in 3-D reduces to a sphere) using only measurements from the boundary. The backstepping method is used to design both the control law and a boundary observer. To apply backstepping the system is reduce… ▽ More An explicit output-feedback boundary feedback law is introduced that stabilizes an unstable linear constant-coefficient reaction-diffusion equation on an $n$-ball (which in 2-D reduces to a disk and in 3-D reduces to a sphere) using only measurements from the boundary. The backstepping method is used to design both the control law and a boundary observer. To apply backstepping the system is reduced to an infinite sequence of 1-D systems using spherical harmonics. Well-posedness and stability are proved in the $H^1$ space. The resulting control and output injection gain kernels are the product of the backstepping kernel used in control of one-dimensional reaction-diffusion equations and a function closely related to the Poisson kernel in the $n$-ball. △ Less

Submitted 20 November, 2015; originally announced November 2015.

Comments: Submitted to ESAIM: Control and Calculus of Variations