Banner
Gio 19 Dic
Seminari e Convegni

Controlled Invariant Sets for Polynomial Systems Defined by Non-polynomial Equations

The seminar "Controlled Invariant Sets for Polynomial Systems" will be presented by Tomoyuki Iori.
In this talk, Tomoyuki Iori presents a controller design method to ensure invariance of state-space subsets, extending polynomial techniques to non-polynomial cases, with applications demonstrated through.

Abstract
A subset of the state space is said to be invariant for a dynamical system if the system's trajectory remains within the subset whenever it starts from there. In this talk, a controller design problem is considered to render a prescribed subset invariant for a given dynamical system. The condition for invariance is formulated in terms of the function defining the prescribed subset and the closed-loop system; the subset is invariant if the time derivative of the defining function along the closed-loop system vanishes on the subset. For dynamical systems and defining functions expressed using polynomials, the condition can be reduced to a linear equation of polynomials and solved symbolically. An alternative formulation extends this approach to non-polynomial defining functions, provided the defining function and its derivatives satisfy linear equations with polynomial coefficients.
Using this new formulation, a controller design method is proposed to render a prescribed subset defined by a non-polynomial function invariant. Numerical examples are presented to demonstrate the proposed method and highlight its distinctions from existing approaches.

Speaker: Tomoyuki Iori

Biography
Tomoyuki Iori received his Ph.D. degree in informatics from Kyoto University, Japan, in 2021. He was a JSPS research fellow (DC1) from 2018 to 2021. In 2021, he joined Osaka University and was an Assistant Professor at the Graduate School of Information Science and Technology from 2021 to 2024. He is currently a researcher at Japan Aerospace Exploration Agency. His research interests include nonlinear control theory and symbolic computation with algebraic techniques. He is a member of SICE, ISCIE, ORSJ, and IEEE.