| |
Last updated on September 3, 2024. This conference program is tentative and subject to change
Technical Program for Thursday September 5, 2024
|
ThA11 |
Grand Amphi |
Stability Analysis 1 |
Regular Session |
Chair: Andrieu, Vincent | Université De Lyon |
Co-Chair: Cecilia, Andreu | Universitat Politècnica De Catalunya |
|
10:30-10:50, Paper ThA11.1 | |
Stability Analysis of Feedback Systems with ReLU Nonlinearities Via Semialgebraic Set Representation |
|
Yuno, Tsuyoshi | Kyushu University |
Nishinaka, Shingo | Kyushu University |
Saeki, Rin | Kyushu University |
Ebihara, Yoshio | Kyushu University |
Magron, Victor | CNRS LAAS |
Peaucelle, Dimitri | LAAS-CNRS |
Zoboli, Samuele | LAAS-CNRS, University of Toulouse III |
Tarbouriech, Sophie | LAAS-CNRS |
Keywords: Control and analysis of Nonlinear Systems, Machine Learning, Stability and Complex Dynamics
Abstract: This paper is concerned with the stability/instability analysis problem of feedback systems with rectified linear unit (ReLU) nonlinearities. Such feedback systems arise when we model dynamical (recurrent) neural networks (NNs) and NN-driven control systems where all the activation functions of NNs are ReLUs. In this study, we focus on the semialgebraic set representation characterizing the input-output properties of ReLUs. This allows us to employ a novel copositive multiplier in the framework of the integral quadratic constraint and, thus, to derive a new linear matrix inequality (LMI) condition for the stability analysis of the feedback systems. However, the infeasibility of this LMI does not allow us to obtain any conclusion on the system's stability due to its conservativeness. This motivates us to consider its dual LMI. By investigating the structure of the dual solution, we derive a rank condition on the dual variable certificating that the system at hand is unstable. In addition, we construct a hierarchy of dual LMIs allowing for improved instability detection. We illustrate the effectiveness of the proposed approach by several numerical examples.
|
|
10:50-11:10, Paper ThA11.2 | |
K-Contraction Analysis for Discrete-Time Systems |
|
Zoboli, Samuele | LAAS-CNRS, University of Toulouse III |
Cecilia, Andreu | Universitat Politècnica De Catalunya |
Keywords: Stability and Complex Dynamics, Control of Nonlinear Systems, Control of Bifurcations, Oscillations and Chaos
Abstract: The definition of k-contraction promises a useful generalization of the classical notion of contraction for dynamical systems. However, most of the k-contraction literature focuses on continuous-time systems. In this work, we derive conditions for k-contractivity of discrete- time dynamics. Our first result follows traditional lines for k-contraction analysis, and provides Lyapunov-like sufficient conditions based on matrix compounds and state-dependent metrics. However, our subsequent results avoid the complexities related to matrix compounds. Inspired by recent findings in the context of k-contraction for continuous-time systems, we provide conditions on the system’s dynamics that rely on generalized Lyapunov inequalities and quadratic cone fields. The proposed conditions are also shown to be necessary for linear time-invariant systems.
|
|
11:10-11:30, Paper ThA11.3 | |
Explicit Convergence Rate Parameters for Linear Autonomous Systems |
|
Spirito, Mario | Universitè Claude Bernard Lyon 1 |
Astolfi, Daniele | CNRS - Univ Lyon 1 |
Keywords: Stability and Complex Dynamics, Control and analysis of Nonlinear Systems, Process Control
Abstract: In this paper, we propose a change of coordinates that brings the state matrix of an autonomous linear system into a modified Jordan Block form. Such a change of coordinates allows us to obtain exact values of the scaling factor and the convergence rate of the exponential stability bound for linear systems. The analysis is then applied to a control design with requirements on the evolution of the state norm. Numerical examples are also provided to illustrate the effectiveness of the proposed approach.
|
|
ThA12 |
Salle des Colloques |
Modelling |
Regular Session |
Chair: Scorletti, Gerard | Ecole Centrale De Lyon |
|
10:30-10:50, Paper ThA12.1 | |
Modeling the Operational Capability of a System in Relation to a Defined Mission |
|
Doliveira, Arthur | Lis Umr 7020 Cnrs / Amu / Utln |
Roman, Christophe | Lis Umr 7020 Cnrs / Amu / Utln |
Graton, Guillaume | Ecole Centrale De Marseille |
Ouladsine, Mustapha | Professeur à Aix Marseille Université |
Keywords: Modeling and Identification of Nonlinear Systems, Networked Nonlinear Systems, Control of Networks
Abstract: This paper suggests a model for evaluating the operational capability of a system to accomplish a mission. This model involves a dynamic equation defined on the space of multi-graphs, associated with a weak discrete metric. It could be analysed further using the framework of control theory. This modeling is based on a definition of the operational capability that includes three keywords: system, mission and ability. These keywords are defined and represented by appropriate mathematical objects. The paper focuses on justifying the use of the proposed mathematical objects to represent these keywords.
|
|
10:50-11:10, Paper ThA12.2 | |
A Two-Dimensional State-Space Model for Metal Hydride Storage Tanks and Parameter Sensitivity Analysis |
|
Chen, Mingrui | Universitat Politècnica De Catalunya |
Batlle, Carles | Universitat Politècnica De Catalunya BarcelonaTech |
Costa-Castelló, Ramon | Universitat Politècnica De Catalunya (UPC) |
Na, Jing | Kunming University of Science and Technology |
Keywords: Modeling and Identification of Nonlinear Systems
Abstract: Modeling of metal hydride storage tanks remains a challenging issue. In most of the literature, the charge and discharge of metal hydride storage tanks are controlled by the hydrogen flow rate. However, the case of controlling the charge and discharge of metal hydride tanks by pipe pressure has rarely been reported in the literature. Aiming at this problem, this work presents a two-dimensional state-space model that takes the pipe pressure as the system input and assumes that the tank temperature can be measured. Then, the First-order Trajectory Sensitivity Analysis method is used to analyze the parameter sensitivity of several selected unknown parameters. The results of the sensitivity analysis indicate that six parameters: entropy change for desorption Delta S_d, enthalpy change for desorption Delta H_d, activation energy for absorption E_a, activation energy for desorption E_d, plateau flatness coefficient varphi and plateau hysteresis coefficient beta have higher sensitivity to the model state.
|
|
11:10-11:30, Paper ThA12.3 | |
Lyapunov-Based Particle Velocity Control for Cold Gas Spray Process |
|
Maksakov, Anton | Rheinland-Pfälzische Technische Universität Kaiserslautern-Landa |
Sinnwell, Yannik | University of Kaiserslautern-Landau |
Antonyuk, Sergiy | University of Kaiserslautern-Landau |
Palis, Stefan | IU International University of Applied Sciences |
Keywords: Control and analysis of Nonlinear Systems, Process Control
Abstract: Cold gas spray processing has gained increasing attention in the additive manufacturing community. It allows for coating and layer-by-layer printing through acceleration of the particles to the supersonic velocities against the substrate with the Laval nozzle. However, achieving efficient bonding requires careful control of particles impact velocity. In this paper, we developed a nonlinear control strategy for particle velocity based on direct Lyapunov method. We investigated a simplified model of the cold gas spray process for controller design and validated it using the full dynamical model based on Navier-Stokes equations. Our proposed controller achieves exponential convergence of particle velocity to the desired value while improving system performance.
|
|
ThA21 |
Grand Amphi |
Stability Analysis 2 |
Regular Session |
Chair: Andrieu, Vincent | Université De Lyon |
Co-Chair: Cecilia, Andreu | Universitat Politècnica De Catalunya |
|
11:30-11:50, Paper ThA21.1 | |
Non-Gain Asymmetry for Dissipativity Framework for Positive Systems Exhibiting Interior Equilibria |
|
Ito, Hiroshi | Kyushu Institute of Technology |
Keywords: Stability and Complex Dynamics, Control and analysis of Nonlinear Systems, Modeling and Identification of Nonlinear Systems
Abstract: This paper aims to formulate a new approach to dissipative modeling of nonlinear positive systems with interior equilibria. Processing positivity separately from stability becomes unnecessary. For asymmetric state spaces on which systems evolve, this paper proposes a supply rate of non-gain-type asymmetry and develops formulas of their aggregation, which is not as trivial as aggregating L 2 gain and passivity supply rates. The novelty of their proofs is that the involved treatment of asymmetric functions is reduced to the evaluation of directed graphs carrying balance information between variables. The dissipativity on asymmetric spaces and the aggregation formulas qualify a single logarithmic storage function to establish stability and positivity simultaneously for an interconnected system. The usefulness is illustrated by examples.
|
|
11:50-12:10, Paper ThA21.2 | |
Local Halanay's Inequality for Local Exponential Stabilization |
|
Mazenc, Frederic | INRIA-L2S-CNRS-CentraleSupelec, |
Malisoff, Michael | Louisiana State Univ |
Keywords: Nonlinear Systems with Time Delay, Control of Nonlinear Systems
Abstract: We announce a local version of an approach to proving asymptotic stability based on Halanay's inequality. Our result is amenable to nonlinear systems that contain input and state delays. It provides robustness estimates for systems containing actuator uncertainty, in the sense of input-to-state stability. Our numerical example illustrates how our method leads to useful bounds on the allowable uncertainties and on the basin of attraction.
|
|
12:10-12:30, Paper ThA21.3 | |
Nonlinear Automatic Gain Control MEMS Analysis |
|
Pernin, Cecile | Universite De Lyon, Ecole Centrale De Lyon, INSA Lyon, Universit |
Scorletti, Gerard | Ecole Centrale De Lyon |
Korniienko, Anton | Ecole Centrale De Lyon, Laboratoire Ampère |
Papin, Guillaume | Tronic’s Microsystems |
Keywords: Control and analysis of Nonlinear Systems, Control of Bifurcations, Oscillations and Chaos, Mechatronics and Robotics
Abstract: This paper focuses on the analysis of the nonlinear automatic gain control (NLAGC) in order to make a mass oscillate at its natural frequency with a specified amplitude. Despite their widespread use in Micro Electro Mechanical Sensor gyroscopes, ensuring the stability of this oscillation remains challenging. In this paper, we investigate the stability of two versions of the NLAGC: an ideal and an implementable one, using appropriate change of variables and transverse contraction criterion from orbital stability theory. The results are validated through a numerical example obtained from a real gyroscope system.
|
|
ThB11 |
Grand Amphi |
Control of PDE |
Regular Session |
Chair: Auriol, Jean | CNRS, Centrale Supelec |
Co-Chair: Zekraoui, Salim | LAGEPP, Université Claude Bernard Lyon 1 |
|
15:00-15:20, Paper ThB11.1 | |
Stability Analysis of a Class of 2 × 2 Triangular Hyperbolic Systems |
|
Amirat, Mohand Ouidir | Claude Bernard Lyon 1 University |
Andrieu, Vincent | Université De Lyon |
Auriol, Jean | CNRS, Centrale Supelec |
Bajodek, Mathieu | CPE Lyon |
Valentin, Claire | UCB Lyon 1 Et CPE Lyon |
Keywords: Control and analysis of Distributed Parameter Systems
Abstract: In this paper, the stability analysis of a class of hyperbolic systems with non-diagonalizable principal part and nonuniform coefficients is addressed. We give a stability condition and express the convergence rate that can be obtained. Two cases will be treated independently: with and without a source term. A numerical scheme is designed to illustrate the performance of the Lyapunov stability analysis.
|
|
15:20-15:40, Paper ThB11.2 | |
Feedback Stabilization of a Wave Equation Coupled with Non-Expansive Systems with Input Constraints |
|
Ma, Ling | Jiangnan University |
Andrieu, Vincent | Université De Lyon |
Astolfi, Daniele | CNRS - Univ Lyon 1 |
Bajodek, Mathieu | CPE Lyon |
Lou, Xuyang | Jiangnan University |
Keywords: Control of Nonlinear Systems
Abstract: This paper addresses the stabilization of a wave equation coupled with non-expansive systems with input constraints. The open-loop dynamic of the wave equation is conservative, while the non-expansive system is marginally stable. The proposed feedback control law with integral action is derived through the forwarding-Lyapunov method, utilizing a weak Lyapunov functional and a Sylvester equation. This paper establishes the well-posedness and global asymptotic stability of the closed-loop system. Notably, the theoretical analysis includes an approximate observability condition and employs LaSalle's invariance principle. Numerical simulation results are presented to illustrate the effectiveness of the proposed methodology.
|
|
15:40-16:00, Paper ThB11.3 | |
Output-Feedback Stabilization of N + M Linear Hyperbolic ODE-PDE-ODE Systems |
|
Auriol, Jean | CNRS, Centrale Supelec |
Bribiesca Argomedo, Federico | INSA De Lyon, Ampère Lab |
Keywords: Control and analysis of Distributed Systems, Control of Networks
Abstract: In this paper, we design an output-feedback controller to stabilize n + m hetero-directional transport partial differential equations (PDEs) coupled on both domain boundaries to ordinary differential equations (ODEs). This class of systems can represent, for instance, actuator and load dynamics at the boundaries of a hyperbolic system. The actuator is located at the connection point between the PDE and one of the ODEs, and we consider anti-collocated PDE measurements. We first design a state-observer by combining the backstepping methodology with time-delay system approaches. We then introduce a state feedback controller using analogous techniques before designing the wanted output-feedback control law.
|
|
ThB12 |
Salle des Colloques |
Identification and Fault Detection |
Regular Session |
Chair: Bako, Laurent | Ecole Centrale De Lyon |
Co-Chair: Uwadukunze, Alain | University of Lorraine, French-German Research Institute of Saint-Louis |
|
15:00-15:20, Paper ThB12.1 | |
Identification for Feedforward Control of Wiener Systems |
|
Uwadukunze, Alain | University of Lorraine, French-German Research Institute of Sain |
Bombois, Xavier | Ecole Centrale De Lyon |
Forgione, Marco | SUPSI-USI |
Gilson, Marion | University of Lorraine |
Albisser, Marie | ISL, French-German Reseach Institute of Saint-Louis |
Keywords: Modeling and Identification of Nonlinear Systems, Control and analysis of Nonlinear Systems
Abstract: This paper presents an identification approach for feedforward controller design dedicated to nonlinear systems when their structure is known. We propose a model-based approach, leveraging Block-Oriented models, which allows a fast identification of the system when its structure is known. The controller is then designed based on the identified model using a criterion close to traditional identification criteria. Additionally, a costless iterative model identification and controller design approach is also proposed to improve the performance of the controller if necessary. The effectiveness of the approach is demonstrated through the design of a feedforward controller for a Wiener system.
|
|
15:20-15:40, Paper ThB12.2 | |
A New Approach for Fault Detection and Isolation of Cardiovascular System |
|
Serrano-Cruz, Dulce-Alejandra | Tecnológico Nacional De México / Centro Nacional De Investigació |
Boutat-Baddas, Latifa | Centre De Recherche d'Automatique De Nancy (CRAN) |
Darouach, Mohamed | CRAN-CNRS UMR7039, Université De Lorraine |
Astorga Zaragoza, Carlos Manuel | Tecnológico Nacional De México / Centro Nacional De Investigació |
Guerrero-Ramírez, Gerardo | CENIDET |
Keywords: Observers Design, Biomedical Systems, Control and analysis of Nonlinear Systems
Abstract: This article analyzes the possibility of using observer-based approaches for the detection of cardiovascular anomalies through a representation of the model written in a quadratic observability normal form. This particular representation allows to design an observer that is sensitive to changes in the cardiovascular mitral and aortic valves. The idea of the present result is based on the design of a residual generator that allows analyzing when a failure occurs in the heart valves. In addition, numerical simulations are performed in order to show the performance and capacity of the proposed strategy.
|
| |