BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Christoph Kawan (LMU München\, Germany)
DTSTART:20210708T150000Z
DTEND:20210708T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/1
DESCRIPTION:Title: A Lyapunov-based small-gain approach to ISS of infinite nonlinear netwo
rks\nby Christoph Kawan (LMU München\, Germany) as part of Input-to-S
tate Stability and its Applications\n\n\nAbstract\nIn this talk\, I presen
t an approach to the verification of\ninput-to-state stability for network
ed control systems composed of a\ncountably infinite number of nonlinear s
ubsystems. The essential\nrequirements on these subsystems are that they a
re finite-dimensional\,\ncontinuous in time and each of them is influenced
only by finitely many\nother subsystems. Assuming that each subsystem adm
its an ISS Lyapunov\nfunction with respect to both internal inputs (influe
nces from other\nsubsystems) and external inputs (control inputs)\, our re
sult provides\nsufficient conditions for the existence of an ISS Lyapunov
function for\nthe whole network. This Lyapunov function is built from the
Lyapunov\nfunctions of the subsystems and it is important to note that the
ISS\nestimates for the later are given in the max-type formulation. This\
nformulation allows for the definition of an associated max-type gain\nope
rator Gamma\, encoding the influence of the\nsubsystems on each other via
nonlinear gain functions. The operator\nGamma acts as a monotone operator
on the positive cone of \\ell_{\\infty}.\nThe essential requirement on Gam
ma is that it admits a so-called path of\nstrict decay\, a condition which
is known to be equivalent to the\nclassical small-gain condition in the c
ase of finite networks. For\ninfinite networks\, however\, this equivalenc
e does not hold. Still\, as in\nfinite dimensions\, the existence of a pat
h of strict decay is linked to\nthe stability properties of the discrete-t
ime system generated by the\ngain operator. In my talk\, I will try to\nex
plain the difficulties involved with the stability analysis of this\nsyste
m.\n\nJoint work with Andrii Mironchenko and Majid Zamani\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Iasson Karafyllis (National Technical University of Athens\, Greec
e)
DTSTART:20210715T150000Z
DTEND:20210715T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/2
DESCRIPTION:Title: IOS-gains and asymptotic gains for linear systems\nby Iasson Karafy
llis (National Technical University of Athens\, Greece) as part of Input-t
o-State Stability and its Applications\n\n\nAbstract\nThe talk will be dev
oted to the presentation of a fundamental relation between Output \nAsympt
otic Gains (OAG) and Input-to-Output Stability (IOS) gains for li
near \nsystems. More specifically\, it will be shown that for eve
ry Input-to-State Stable\, \nstrictly causal linear system the minimum O
AG is equal to the minimum IOS-gain. \nMoreover\, both quantities can
be computed by solving a specific optimal control \nproblem and by
considering periodic inputs only. The result is valid for wide classes \no
f linear systems (including delay systems or systems described by
PDEs). The \ncharacterization of the minimum IOS-gain is importan
t because it allows the non-\nconservative computation of the IOS
-gains\, which can be used in a small-gain \nanalysis. A number
of cases of finite-dimensional linear systems will also be \nprese
nted\, where exact computation of the minimum IOS-gain can be pe
rformed. \nLinks to notions used extensively in the literature of linear s
ystems (e.g.\, the BIBO \nnorm or the notion of an admissible operator) wi
ll be provided.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Miroslav Krstic (UC San Diego\, USA)
DTSTART:20210722T150000Z
DTEND:20210722T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/3
DESCRIPTION:Title: Fixed-Time ISS and Prescribed-Time Stabilization\nby Miroslav Krsti
c (UC San Diego\, USA) as part of Input-to-State Stability and its Applica
tions\n\n\nAbstract\nIn prescribed-time stabilization the task is to desig
n a feedback law that guarantees completion of the convergence to a set po
int no later than a time that is prescribed by the user and independent of
the initial condition of the plant. When the plant model is known perfect
ly and the full state is measured\, ISS issues do not arise. However\, in
the presence of disturbances or under observer-based feedback\, ISS with r
espect to various inputs becomes of interest. Perhaps unexpectedly\, once
prescribed-time stabilization is achieved\, an ISS-like property stronger
than the conventional ISS is obtained as a bonus. Specifically\, the origi
n\, which is not necessarily the system’s equilibrium\, is made attracti
ve in prescribed time even in the presence of non-vanishing disturbances.
Or\, in simpler language\, the ISS gain is a function of time and decays t
o zero at the terminal time. I will discuss the ISS issues associated with
prescribed-time feedback design for general linear ODEs\, some nonlinear
ODEs with a disturbance matched by control\, and briefly for parabolic PDE
s (in hyperbolic PDEs\, finite-time stabilization\, when possible\, is obt
ained as easily as exponential stabilization).\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Romain Postoyan (CNRS\, Université de Lorraine\, France)
DTSTART:20210729T150000Z
DTEND:20210729T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/4
DESCRIPTION:Title: Event-Triggered Control Through the Eyes of Hybrid Small-Gain Theorem\nby Romain Postoyan (CNRS\, Université de Lorraine\, France) as part o
f Input-to-State Stability and its Applications\n\n\nAbstract\nA common ap
proach to design event-triggered controllers is emulation. The idea is to
first construct a feedback law in continuous-time\, which ensures the desi
red closed-loop properties. Then\, the communication constraints between t
he plant and the controller are taken into account and a triggering rule i
s synthesized to generate the transmission instants in such a way that the
properties of the continuous-time closed-loop system are preserved\, and
a strictly positive minimum inter-event time exists\, which is essential i
n practice.\n\nVarious triggering rules have been proposed in this context
in the literature\, including relative threshold\, fixed threshold\, dyna
mic triggering law to mention a few. We will show in this talk that these
seemingly unrelated techniques can all be interpreted in a unified manner.
Indeed\, it appears that all them guarantee the satisfaction of the condi
tions of a hybrid small-gain theorem. This unifying perspective provides c
lear viewpoints on the essential differences and similarities of existing
event-triggering policies. Interestingly\, for all the considered laws\, t
he small-gain condition vacuously holds in the sense that one of the inter
connection gains is zero. We then exploit this fact to modify the original
triggering law in such a way that the small-gain condition is no longer t
rivially satisfied. By doing so\, we obtain redesigned strategies\, which
may reduce the number of transmissions as illustrated by an example.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrey Polyakov (Inria Lille Nord-Europe / CNRS CRIStAL)
DTSTART:20211007T150000Z
DTEND:20211007T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/6
DESCRIPTION:Title: On Input-to-State Stability of Homogeneous Evolution Equations\nby
Andrey Polyakov (Inria Lille Nord-Europe / CNRS CRIStAL) as part of Input-
to-State Stability and its Applications\n\n\nAbstract\nHomogeneity is a sy
mmetry of an object with respect to a dilatation. All linear and many\nnon
linear models of mathematical physics are homogeneous. For example\, Burge
rs\, KdV and Navier-Stokes \nequations are symmetric with respect to a pro
perly selected dilation. Finite dimensional homogeneous control\nsystems
are known to be similar with linear ones\, but they may have a better reg
ulation quality like\na faster convergence\, stronger robustness and less
overshoot. This talk is devoted to Input-to-State Stability analysis\nof
homogeneous evolution equations in Banach spaces. Similarly to the finite-
time dimensional case\, it is shown that\nthe uniform asymptotic stability
of homogeneous unperturbed system guarantees its Input-to-State Stability
\nwith respect to homogeneously involved perturbations.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Antoine Chaillet (L2S - CentraleSupélec - Univ. Paris Saclay)
DTSTART:20211028T150000Z
DTEND:20211028T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/7
DESCRIPTION:Title: Point-wise dissipation in time-delay systems: recent results and open q
uestions\nby Antoine Chaillet (L2S - CentraleSupélec - Univ. Paris Sa
clay) as part of Input-to-State Stability and its Applications\n\n\nAbstra
ct\nIn the existing characterizations of input-to-state stability (ISS) fo
r time-delay systems\, the Lyapunov-Krasovskii functional (LKF) has a $\\m
athcal K_\\infty$ dissipation rate that involves the whole LKF itself (LKF
-wise dissipation) or even the supremum norm of the state history (history
-wise dissipation). A similar characterization holds for integral input-to
-state stability (iISS)\, in which the dissipation rate is just a positive
definite function. These characterizations have allowed to extend several
results on ISS and iISS from finite dimension to time-delay systems.\n\nN
evertheless\, in practice\, obtaining a LKF-wise or history-wise dissipati
on is not always an easy task and often resorts to rather artificial trick
s. More crucially\, in the absence of inputs\, it is known from the work o
f N. Krasovskii that a dissipation involving merely the current value of t
he state norm (point-wise dissipation) is enough to guarantee global asymp
totic stability.\n\nIn this talk\, we investigate whether a point-wise dis
sipation suffices to conclude ISS or iISS for time-delay systems. We give
a positive answer to this question for iISS. More precisely\, we show that
point-wise\, LKF-wise and history-wise dissipations through a positive de
finite function all ensure iISS. \n\nFor ISS\, despite strong efforts\, th
is question remains open: it has not yet be proved or disproved that ISS i
s equivalent to the existence of a point-wise dissipation. We identify two
classes of systems for which this is the case\, by imposing a growth rest
riction either on the upper bound of the LKF or on the vector field. We al
so provide some insights on what can be said about a system having a point
-wise dissipation to hopefully foster some creative discussion.\n\nFinally
\, while asymptotic stability is known for long to be equivalent to a poin
t-wise dissipation for input-free systems\, this question remains open for
exponential stability. We show that\, at least for systems ruled by a glo
bally Lipschitz vector field\, global exponential stability is guaranteed
under a point-wise dissipation.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:No Seminar this week\, but consider taking part in the SCINDIS Wo
rkshop (27-29 Sep 2021\, fully online\, zero conference fee)
DTSTART:20210930T150000Z
DTEND:20210930T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/8
DESCRIPTION:Title: 3rd Workshop on Stability and Control of Infinite-Dimensional Systems (
SCINDIS 2020)\nby No Seminar this week\, but consider taking part in t
he SCINDIS Workshop (27-29 Sep 2021\, fully online\, zero conference fee)
as part of Input-to-State Stability and its Applications\n\n\nAbstract\nV
isit the homepage of SCINDIS:\nhttps://www.fan.uni-wuppertal.de/de/scindis
-2020.html\n\nThe scope of the Workshop includes but is not limited to\n
\n >Stability and control of partial differential equations\n >Stability
and control of time-delay systems\n >Input-to-state stability of infinit
e-dimensional systems\n >Stabilizability of infinite-dimensional systems\
n >Semigroup and admissibility theory\n\nOrganizers:\nSergey Dashkovskiy\
nBirgit Jacob \nAndrii Mironchenko\nFabian Wirth\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rami Katz (Tel-Aviv University\, Israel)
DTSTART:20211209T160000Z
DTEND:20211209T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/10
DESCRIPTION:Title: Finite-dimensional observer-based ISS and $L^2$-gain control of parabo
lic PDEs\nby Rami Katz (Tel-Aviv University\, Israel) as part of Input
-to-State Stability and its Applications\n\n\nAbstract\nFinite-dimensional
observer-based controller design for PDEs is a challenging problem. In th
is talk\, construction of such controllers via the modal decomposition met
hod for linear parabolic 1D PDEs will be presented. We will start with fin
ite-dimensional observer-based control for the linear heat equation where
at least one of the control or observation operators is bounded. We will p
roceed with the case of both operators unbounded\, where dynamic extension
is helpful. Here we will consider ISS and $L^2$-gain analysis of the Kura
moto-Sivashinsky equation. The extension of the results to time-varying in
put/output delays\, as well as arbitrarily large constant input delays wil
l be presented. Finally\, we will discuss sampled-data implementation of
finite-dimensional boundary controllers for the 1D heat equation under di
screte-time point measurement\, via a generalized hold device. An essentia
l tool for the ISS analysis will be a novel ISS Halanay’s inequality wit
h explicit constants in the bounds.\n\nJoint work with Prof. Emilia Fridma
n\nhttps://scholar.google.co.il/citations?user=szPJQlkAAAAJ&hl=en\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Felix Schwenninger (TU Twente\, the Netherlands)
DTSTART:20211202T160000Z
DTEND:20211202T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/11
DESCRIPTION:Title: Recent results on ISS Lyapunov functions\nby Felix Schwenninger (T
U Twente\, the Netherlands) as part of Input-to-State Stability and its Ap
plications\n\n\nAbstract\nLike in many branches of dynamical systems\, Lya
punov functions play a pivotal role in the study of input-to-state stabili
ty.\nIn this talk we discuss recent investigations around such coercive an
d non-coercive Lyapunov functions in the context of infinite-dimensional s
ystems. A focus is laid on general linear PDEs subject to boundary control
.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ricardo Sanfelice (University of California\, Santa Cruz\, USA)
DTSTART:20211118T160000Z
DTEND:20211118T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/12
DESCRIPTION:Title: Observers for Hybrid Dynamical Systems: Models\, Necessary Conditions\
, and Systematic Design\nby Ricardo Sanfelice (University of Californi
a\, Santa Cruz\, USA) as part of Input-to-State Stability and its Applicat
ions\n\n\nAbstract\nIn most control applications\, estimating the state of
a system is crucial\, whether it be for control\, supervision\, or fault
diagnosis purposes. Unfortunately\, the problem of designing observers for
systems with state variables that evolve continuously\, and at times\, ju
mp -- namely\, hybrid systems -- in a general setting is unsolved. One of
the main challenges in the design of observers for such systems is the fa
ct that hybrid behavior may lead to system trajectories from nearby initia
l conditions that have different jump times. Such a mismatch of jump times
makes the formulation of observability/detectability and\, in turn\, obse
rver design very challenging. After a brief introduction to hybrid dynami
cal systems\, recent advancements towards the systematic design of observe
rs for hybrid systems will be presented. Specifically\, a general framew
ork for state estimation of plants modeled as hybrid dynamical systems\, b
oth in the favorable case where the jumps of the plant and of the observer
occur at the same time and when they occur at different (but nearby) time
s\, will be introduced. With a suitable notion of observer for hybrid dyn
amical systems and relying on reparameterizations of the hybrid signals in
volved\, it will be shown that an appropriate detectability notion is nece
ssary for the existence of an observer\, or better said\, a hybrid observe
r. Applications and examples will be presented to illustrate the concepts
and results. This research is joint work with Professor Pauline Bernard
at MINES ParisTech (https://sites.google.com/site/sitepmbernard/home).\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Aneel Tanwani (LAAS-CNRS\, Toulouse\, France)
DTSTART:20220113T160000Z
DTEND:20220113T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/13
DESCRIPTION:Title: Input-to-State Stability of Switched Systems under Dwell-Time Conditio
ns\nby Aneel Tanwani (LAAS-CNRS\, Toulouse\, France) as part of Input-
to-State Stability and its Applications\n\n\nAbstract\nAbstract: Stability
analysis of switched systems has been a topic of interest for more than t
wo decades\, and the conditions based on dwell-time notions form an import
ant part of this literature. In particular\, input-to-state stability (ISS
) and different variants of ISS have also been studied using similar dwell
-time conditions on the switching signals. Earlier approaches in this dire
ction\, based on multiple Lyapunov functions\, typically require exponenti
ally decaying Lyapunov functions which are compatible with other subsystem
s. However\, such compatibility may not hold for switched nonlinear system
s in general\, where the individual Lyapunov functions admit nonlinear sup
ply functions. In this talk\, I will start with a quick overview of earlie
r results on ISS using dwell-time conditions. Then\, I will provide some e
xamples of switched nonlinear systems which are not ISS for arbitrarily la
rge values of dwell-time\, even though individual subsystems are ISS. Neve
rtheless\, under certain conditions on Lyapunov functions (which admit non
linear supply functions)\, we can derive new dwell-time bounds\, which gua
rantee ISS of switched systems. We will see the utility of such conditions
in analyzing stability of cascade interconnections of switched systems an
d an application in sampled-data control using dynamic output feedback.\n\
nReferences:\n[1] M. Della Rossa and A. Tanwani. Instability of Dwell-Time
Constrained Switched Nonlinear Systems. Under review in Systems & Control
Letters\, June 2021. Preprint available on request.\n[2] S. Liu\, A. Tanw
ani and D. Liberzon. ISS and Integral ISS of Switched Systems with Nonline
ar Supply Functions. Mathematics of Controls\, Signals\, and Systems\, 202
1. DOI: 10.1007/s00498-021-00306-x\n[3] G.X. Zhang and A. Tanwani. ISS Lya
punov Functions for Cascade Switched Systems and Sampled-Data Control\, Au
tomatica\, 105: 216—227\, 2019.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pierdomenico Pepe (University of L'Aquila)
DTSTART:20220120T160000Z
DTEND:20220120T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/14
DESCRIPTION:Title: Nonlinear Halanay's Inequalities for ISS of Retarded Systems: the Cont
inuous and the Discrete Time Case\nby Pierdomenico Pepe (University of
L'Aquila) as part of Input-to-State Stability and its Applications\n\n\nA
bstract\nNonlinear versions of continuous-time and discrete-time Halanay's
inequalities are presented as sufficient conditions for the convergence o
f involved functions to the origin\, uniformly with respect to bounded set
s of initial values. The same results are shown in the case forcing terms
are also present\, for the uniform convergence to suitable neighborhoods o
f the origin. Related Lyapunov methods for the global uniform asymptotic s
tability and the input-to-state stability of systems described by retarded
functional differential equations and by discrete-time equations with del
ays are shown. \n\nReferences:\n[1] Pierdomenico Pepe\, A Nonlinear Versio
n of Halanay’s Inequality for the Uniform Convergence to the Origin\, Ma
thematical Control and Related Fields\, 2021\, doi: 10.3934/mcrf.2021045
\n\n[2] Maria Teresa Grifa\, Pierdomenico Pepe\, On Stability Analysis of
Discrete-Time Systems With Constrained Time-Delays via Nonlinear Halanay-T
ype Inequality\, IEEE Control Systems Letters\, Volume 5\, Issue 3\, July
2021\, doi: 10.1109/LCSYS.2020.3007096\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Wilfrid Perruquetti (Ecole Centrale de Lille\, CNRS\, France)
DTSTART:20220203T160000Z
DTEND:20220203T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/15
DESCRIPTION:Title: Non-Asymptotic output feedback of a double integrator: a separation pr
inciple.\nby Wilfrid Perruquetti (Ecole Centrale de Lille\, CNRS\, Fra
nce) as part of Input-to-State Stability and its Applications\n\n\nAbstrac
t\nUsually\, in control/estimation problems\, one is looking at exponentia
l decaying rates for many reasons: ease of understanding\, many tools for
tuning and getting a time response estimate. But nowadays\, control theory
has to meet more and more demanding performances in many areas such as ae
rospace\, manufacturing\, robotics and transportation to mention a few. A
necessary property for these algorithms is stability. The convergence time
for the system to reach the goal may be infinite (e.g.\, asymptotic or ex
ponential convergence) or finite. Combining stability with these convergen
ce types leads to asymptotic or non-asymptotic stability properties. \n\nT
hese concepts may help in obtaining a separation principle when designing
output feedback as seen on an example for an double integrator system wher
e ISS properties of homogeneous systems is applied without building a Lyap
unov function for the closed-loop system.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Chris Guiver (Edinburgh Napier University)
DTSTART:20220210T160000Z
DTEND:20220210T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/16
DESCRIPTION:Title: The exponential input-to-state stability property — characterisation
s and feedback interconnections\nby Chris Guiver (Edinburgh Napier Uni
versity) as part of Input-to-State Stability and its Applications\n\n\nAbs
tract\nThe exponential input-to-state stability (ISS) property is consider
ed for systems of controlled nonlinear differential equations\, and a char
acterisation in terms of an exponential ISS Lyapunov function is establish
ed. A natural concept of linear state/input-to-state L2-gain is\nintroduce
d\, and the equivalence of this property and exponential ISS is establishe
d. Further\, the feedback interconnection of two exponentially ISS systems
is shown to be exponentially ISS provided a suitable small-gain condition
is satisfied.\n\nJoint work with Hartmut Logemann\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lars Grüne (University of Bayreuth)
DTSTART:20230531T150000Z
DTEND:20230531T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/17
DESCRIPTION:Title: Curse-of-dimensionality-free computation of (control-)Lyapunov functio
ns via ISS small-gain techniques and neural networks\nby Lars Grüne (
University of Bayreuth) as part of Input-to-State Stability and its Applic
ations\n\n\nAbstract\nThe literature reports a large number of computation
al methods for Lyapunov and control Lyapunov functions. For most of these
approaches the computational effort grows exponentially in the state space
dimension\, making them infeasible even for moderately high-dimensional p
roblems. In this talk we show that this so-called curse of dimensionality
can be overcome for Lyapunov functions with a suitable separable structure
\, as they are provided by ISS small-gain theory.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Fabian Wirth (University of Passau\, Germany)
DTSTART:20230614T150000Z
DTEND:20230614T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/18
DESCRIPTION:Title: Variants of Two-Measure Input-to-State Stability\nby Fabian Wirth
(University of Passau\, Germany) as part of Input-to-State Stability and i
ts Applications\n\n\nAbstract\nThis talk is based on joint work with Chris
topher Kellett\n\nThis talk concerns finite-dimensional systems described
by ordinary differential equations with inputs.\nFor attracting closed set
s that are not compact we consider different formulations of input-to-stat
e stability properties and related Lyapunov criteria. In the compact case
\, there exists a well-established hierarchy of such properties and some f
ormulations have been quickly discarded as equivalent to input-to-state st
ability. In the noncompact case\, however\, several new phenomena appear.
In particular\, input-to-state stability (ISS) does not imply integral in
put-to-state stability\, and ISS is not equivalent to integral-input-to-in
tegral-state stability. The criteria are formulated in terms of measuremen
t functions\, which allows a uniform presentation of a number of related r
esults. Some examples are discussed to show some of the phenomena that may
occur.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Christophe Prieur (CNRS\, University Grenoble Alpes\, France)
DTSTART:20230621T150000Z
DTEND:20230621T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/19
DESCRIPTION:Title: Boundary feedback stabilization of freeway traffic networks: ISS contr
ol and experiments\nby Christophe Prieur (CNRS\, University Grenoble A
lpes\, France) as part of Input-to-State Stability and its Applications\n\
n\nAbstract\nBoundary feedback control of networks of freeway traffic is c
onsidered in this talk by means of\nPartial Differential Equations based t
echniques and Lyapunov theory. The control and measurements are all locate
d at the boundaries of each link. In this talk we will study some publishe
d and on-going works on the control of these dynamics and on the design pr
oblem of boundary controls ensuring an Input-to-State Stability property i
n presence of disturbances. Finally some results will be illustrated using
a traffic simulation software at the Fourth Ring road of Beijing\, China
when some specific traffic data are collected and the sufficient condition
s for the stability are checked.\n\nBiography: Christophe PRIEUR gr
aduated in Mathematics from the Ecole Normale Supérieure de Cachan\, Fran
ce in 2000. He received the Ph.D degree in 2001 in Applied Mathematics fro
m the Université Paris-Sud\, France. From 2002 he was an associate resear
cher CNRS at the laboratory SATIE\, Cachan\, France\, and at the LAAS\, To
ulouse\, France (2004-2010). In 2010 he joined the Gipsa-lab\, Grenoble\,
France where he is currently a senior researcher of the CNRS (since 2011).
He was the Program Chair of the 9th IFAC Symposium on Nonlinear Control S
ystems (NOLCOS 2013)\, the 14th European Control Conference (ECC 2015) and
the 61st IEEE Conference on Decision and Control (CDC 2022). He is curren
tly an associate editor of the AIMS Evolution Equations and Control Theory
\, the SIAM Journal of Control and Optimization and the Mathematics of Con
trol\, Signals\, and Systems. He is a senior editor of the IEEE Control Sy
stems Letters\, and an editor of the IMA Journal of Mathematical Control a
nd Information. His current research interests include nonlinear control t
heory\, hybrid systems\, and control of partial differential equations\, w
ith applications including navigation and object tracking\, fluid dynamics
\, and fusion control. He is an IMA Fellow\, and an IEEE Fellow.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:José Luis Mancilla-Aguilar (Universidad de Buenos Aires\, Argenti
na)
DTSTART:20230607T150000Z
DTEND:20230607T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/20
DESCRIPTION:Title: From ISS to iISS without the use of Lyapunov functions: a difficult pa
th leading to greater generality\nby José Luis Mancilla-Aguilar (Univ
ersidad de Buenos Aires\, Argentina) as part of Input-to-State Stability a
nd its Applications\n\n\nAbstract\nIt is well-known that input-to-state (I
SS) stability implies integral ISS (iISS) for time-invariant finite dimens
ional systems. The original proof of this fact is heavily based on the exi
stence of an ISS dissipation-form Lyapunov function. When one tries to pro
ve the implication for time-varying systems two obstacles appear: a) there
are ISS systems that are not iISS and b) existing converse theorems provi
de ISS implication-form Lyapunov functions that may not be necessarily dis
sipation-form ones. In this presentation we talk about the way we found f
or proving that ISS implies iISS avoiding the use of Lyapunov functions an
d how this allows us to prove that implication for other types of time-var
ying systems\, such as impulsive and switched systems. We also present a c
haracterization of iISS\, which holds even for axiomatically defined syste
ms\, that was crucial in our approach for proving that ISS is stronger tha
n iISS under suitable hypotheses. \n\nIt is joint work with Hernan Haimovi
ch and Jose Esteban Rojas-Ruiz.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/20/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marius Tucsnak (Université de Bordeaux\, France)
DTSTART:20230628T150000Z
DTEND:20230628T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/21
DESCRIPTION:Title: ISS type properties of some fluid dynamics systems\nby Marius Tucs
nak (Université de Bordeaux\, France) as part of Input-to-State Stability
and its Applications\n\n\nAbstract\nWe consider systems describing viscou
s fluid flows\, possibly in interaction with rigid bodies\, moving at the
interior or floating on the free surface of the fluid. We briefly present
the case when the fluid is contained in a bounded container. Exploiting th
e exponential stability of the linearized system we show that in this case
we can obtain ISS type estimates for fully nonlinear problems. The focus
is on the case when the fluid fills the whole space (with the possible exc
eption of a bounded moving rigid body). In this case the linearized system
is not exponentially and not even polynomially stable. In this case we
prove a nonstandard type of ISS estimates for the linearized systems. We f
inally explain how to obtain wellposedness results for fully nonlinear fl
uid-structure interaction in unbounded domains and formulate some conjectu
res on the ISS properties of these systems.\n\nBiography: Marius Tu
csnak is Professor of Mathematics of the University of Bordeaux in France.
He holds a Master degree in mathematics from the University of Bucarest\,
Romania and a Ph.D. degree from the University of Orléans\, France (1992
). In 1995 he obtained his Habilitation pour Diriger les Recherches from t
he “Université Pierre et Marie Curie”\, Paris. In 1992 he became Asso
ciate Professor of Mathematics at the University of Versailles\, France. I
n 1997 he became full professor of mathematics at the University of Nancy\
, France. He moved to University of Bordeaux in 2015. \nHe was an invited
speaker to the International Congress of Mathematicians (ICM)\, 2022\, and
since 2013 he is a Member of Institut Universitaire de France (IUF). \nHi
s fields of expertise are the analysis and the control of systems governed
by partial differential equations. One of his major recent contributions
is his participation at a series of works which solved a long standing ope
n problem: the full characterization of the reachable space for the bounda
ry controlled one dimensional heat equation.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Swann Marx (CNRS\, Nantes\, France)
DTSTART:20230524T150000Z
DTEND:20230524T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/22
DESCRIPTION:Title: ISS Lyapunov functional strictification for the output regulation of a
Korteweg-de Vries equation\nby Swann Marx (CNRS\, Nantes\, France) as
part of Input-to-State Stability and its Applications\n\n\nAbstract\nThis
talk will be about the construction of a strict ISS Lyapunov functional i
n order to design a controller achieving an output regulation task for a K
orteweg-de Vries equation. To be more precise\, our goal is to add an inte
grator so that one is able to make converging a given output to a desired
reference. To do so\, a forwarding method will be used together with the c
onstruction of a ISS strict Lyapunov functional\, that is necessary to app
ly the above mentioned method. The strictification technique is based on a
recent method\, developed in the finite-dimensional context by Laurent Pr
aly\, and that relies on the construction of an observer. In our context\,
this observer is built thanks to the backstepping method. It is joint wor
k with Ismaïla Balogoun and Daniele Astolfi.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/22/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sergey Dashkovskiy (University of Würzburg\, Germany)
DTSTART:20230705T150000Z
DTEND:20230705T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/23
DESCRIPTION:Title: Interconnected systems with possibly unstable subsystems\nby Serge
y Dashkovskiy (University of Würzburg\, Germany) as part of Input-to-Stat
e Stability and its Applications\n\n\nAbstract\nSmall-gain theory is known
to be very useful in studying stability of\ninterconnected systems. This
theory is well-developed for very large\nclasses of essentially nonlinear
systems. This theory presumes that each\nsubsystem of an interconnection s
atisfies certain stability properties.\nHowever\, if some subsystems are n
ot stable\, then small-gain conditions\ncannot be applied and we cannot co
nclude about stability of the whole\nsystem. Only a few extensions of the
small-gain theory exist\, where\nsubsystems allowed to be not stable. More
general approaches should be\ndeveloped. In this presentation we demonstr
ate a new approach in this\ndirection\, which is based on positivity prope
rties with respect to a\nspecial cone. With this approach we derive suffic
ient stability\nconditions for a feedback connection of two subsystems\, w
here one of\nthem can be not stable. In case both subsystems are stable\,
the\nsmall-gain approach can be applied as well. Hence a comparison with\n
small-gain condition is possible and is provided here. So far our\nresults
are also restricted to a rather narrow class of systems\, however\nextens
ions and developments to more general systems seem to be\nrealistic\, whic
h we discuss briefly at the end.\n\nBiography:\nSergey Dashkovskiy
received the M.Sc. degree in applied mathematics in\n1996 from the Lomonos
sov University of Moscow and Ph.D. degree in\nMathematics in 2002 from the
University of Jena. He has got his\nhabilitation (venia legendi) in Mathe
matics in 2009 from the university\nBremen.\nHe held positions at the Ariz
ona State University\, the University of\nBayreuth and the University of A
pplied Scienses Erfurt.\nSince 2016 he is professor and head of the resear
ch group Dynamics and\nControl at the Institute for Mathematics\, Universi
ty of Würzburg.\nHis research interests are in stability theory of dynami
cal systems and\nnetworks.\nHe is editorial board member of several journa
ls related to this\nresearch area\, in particular\, of IEEE Transactions o
n Automatic Control\nand Nonlinear Analysis: Hybrid Systems.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/23/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Masashi Wakaiki (Kobe University\, Japan)
DTSTART:20230809T150000Z
DTEND:20230809T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/24
DESCRIPTION:Title: Semi-uniform ISS and iISS of infinite-dimensional systems\nby Masa
shi Wakaiki (Kobe University\, Japan) as part of Input-to-State Stability
and its Applications\n\n\nAbstract\nIf an infinite-dimensional system is s
trongly stable but not exponentially stable\, a rate of decay is not expec
ted to be uniform for all solutions. Nevertheless\, one may establish a un
iform estimate on decay rates for all classical solutions\, which leads to
the concept of semi-uniform stability. Specifically\, if all classical so
lutions decay at a polynomial rate\, the system is called polynomially sta
ble. This presentation aims to introduce the notions of semi-uniform ISS/i
ISS and its subclass\, polynomial ISS/iISS\, for infinite-dimensional syst
ems. I characterize semi-uniform ISS by attractivity properties and discus
s polynomial ISS of linear systems and polynomially iISS of bilinear syste
ms.\n\nBiography: \nMasashi Wakaiki received the B.S. degree in Eng
ineering and the M.S. and Ph.D. degrees in Informatics from Kyoto Universi
ty\, Kyoto\, Japan\, in 2010\, 2012\, and 2014\, respectively. He was a vi
siting scholar at the University of California\, Santa Barbara from 2014 t
o 2016. He was an Assistant Professor in the Department of Electrical and
Electronic Engineering\, Chiba University from 2016 to 2017. He was a Lect
urer in the Graduate School of System Informatics\, Kobe University from 2
017 to 2020\, where he is currently an Associate Professor. His research i
nterests include infinite-dimensional systems and networked control system
s.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/24/
END:VEVENT
BEGIN:VEVENT
SUMMARY:David Angeli (Imperial College London\, UK)
DTSTART:20230712T150000Z
DTEND:20230712T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/25
DESCRIPTION:Title: Input-to-State Stability for Complex Dynamics\nby David Angeli (Im
perial College London\, UK) as part of Input-to-State Stability and its Ap
plications\n\n\nAbstract\nTraditional ISS is formulated for systems global
ly defined on Euclidean space with a single equilibrium corresponding to t
he unperturbed system (0 input disturbance). This limits its applicability
to many other domains\, where multiple equilibria exists\, or more exotic
attractors (such as periodic solutions) or even multiple invariant sets o
f different nature.\nIn this talk we provide an extension of the definitio
ns and main results of ISS to this more general set-up\, arguing that a ve
ry natural extension of all the concepts is possible\, including asymptoti
c gain formulations and Lyapunov characterizations.\n\nBiography: \
nDavid Angeli received the B.S. degree in Computer Science Engineering and
the Ph.D. degree in Control Theory from University of Florence\, Florence
\, Italy\, in 1996 and 2000\, respectively.\nSince 2000\, he was with the
Department of Systems and Computer Science\, University of Florence\, as a
n Assistant Professor\, and an Associate Professor\, in 2005. In 2007\, he
was a Visiting Professor with I.N.R.I.A de Rocquencourt\, Paris\, France\
, and he joined as a Senior Lecturer the Department of Electrical and Elec
tronic Engineering\, Imperial College London\, London\, U.K.\, in 2008\, w
here he is currently a Professor in Nonlinear Network Dynamics and the Dir
ector of the MSc in Control and Optimisation. He has authored more than 10
0 journal papers in the areas of stability of nonlinear systems\, control
of constrained systems (MPC)\, chemical reaction networks theory\, and sma
rt grids.\nProf Angeli is a Fellow of IEEE (2015) and of the Institute of
Engineering and Technology (IET)\, since 2018. He has served as an Associa
te Editor for IEEE Transactions in Automatic Control and Automatica.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/25/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Emilia Fridman (Tel Aviv University\, Israel)
DTSTART:20230726T150000Z
DTEND:20230726T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/26
DESCRIPTION:Title: Extremum seeking via a time-delay approach to averaging\nby Emilia
Fridman (Tel Aviv University\, Israel) as part of Input-to-State Stabilit
y and its Applications\n\n\nAbstract\nExtremum Seeking (ES) is a powerful
real-time optimization method without requesting a knowledge of system mod
el. A majority of ES algorithms employ highly oscillating dithers\, where
the stability analysis is based on the averaging theory. However\, the exi
sting results on averaging are qualitative: the original system is stable
for small enough values of the parameter if the averaged system is stable.
By using these results it is difficult to find an efficient bound on the
dither frequency that preserves the stability of the original system.\n\n
\n\nIn this talk I will present a new constructive time-delay approach to
averaging and apply it to ES.\n\nGradient-based ES of quadratic static map
s via the classical and bounded ES algorithms will be considered. The prac
tical stability analysis will be based on the transformation of the ES sys
tem to a time-delay one\, where the delay is defined by the dither frequen
cy. The results will be extended to sampled-data and delayed implementatio
ns.\n\nThe time-delay approach leads to quantitative bounds on the ES para
meters for the ''grey box" models and explicit qualitative bounds for the
''black box" models making ES control reliable.\n\nThese are joint results
with my recent post-docs Yang Zhu (Zhejiang University)\, Jin Zhang (Shan
ghai University) and Xuefei Yang (Harbin Institute of Technology).\n\nB
iography:\nEmilia Fridman received the M.Sc and Ph.D in mathematics in
Russia. Since 1993 she has been at Tel Aviv University\, where she is cur
rently Professor in the Department of Electrical Engineering - Systems. Sh
e has held numerous visiting positions in Europe\, China and Australia. He
r research interests include time-delay systems\, networked control system
s\, distributed parameter systems\, robust control and extremum seeking. S
he has published more than 200 journal articles and 2 monographs.\n\nIn 20
21 she was recipient of IFAC Delay Systems Life Time Achievement Award and
of Kadar Award for outstanding research in Tel Aviv University. In 2023 h
er monograph\n\n``Introduction to Time-Delay Systems: Analysis and Control
" (Birkhauser\, 2014) was the winner of IFAC Harold Chestnut Control Engin
eering Textbook Prize.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/26/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Antoine Chaillet (L2S Paris-Saclay\, France)
DTSTART:20230719T150000Z
DTEND:20230719T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/27
DESCRIPTION:Title: ISS for delay systems: an overview and some open questions\nby Ant
oine Chaillet (L2S Paris-Saclay\, France) as part of Input-to-State Stabil
ity and its Applications\n\n\nAbstract\nThis talk provides an overview of
the input-to-state stability (ISS) framework for nonlinear time-delay syst
ems. It aims at underlying the key differences existing with respect to bo
th the finite-dimensional theory and the general infinite-dimensional sett
ing. This overview covers fundamental properties of time-delay systems (in
cluding forward completeness and bounded reachability)\, input-free stabil
ity properties (including asymptotic and exponential stability)\, and ISS-
related notions (including integral ISS). All these properties will be dis
cussed at the light of both solutions-based and Lyapunov-based characteriz
ations. It will insist on some open questions that remain in the field to
hopefully foster some discussion. This work is mostly based on a collabora
tion with I. Karafyllis\, P. Pepe and Y. Wang\, and particularly on our re
cent survey paper "The ISS framework for time-delay systems: a survey" wri
tten at the occasion of E.D. Sontag's 70th birthday.\n\nBiography:
\nAntoine Chaillet was born in Douai\, France\, in 1979. He received his B
.Sc. degree from ESIEE Amiens\, France\, and his M.Sc. degree in Control E
ngineering from Univ. Paris Sud 11. In 2006\, he received his Ph.D. degree
in Control Theory from Univ. Paris Sud. In 2006–2007\, he served as a p
ost-doc fellow at Centro di Ricerca Piaggio\, Pisa\, Italy. From 2007 to 2
016\, he served as an associate professor at L2S-Univ. Paris Sud-Supélec.
He is now full professor at CentraleSupélec and former junior member of
Institut Universitaire de France. His research interests include stability
analysis and stabilization of nonlinear systems\, time-delay systems\, an
d control theory for neuroscience applications.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/27/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrii Mironchenko (University of Passau\, Germany)
DTSTART:20230802T150000Z
DTEND:20230802T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/28
DESCRIPTION:Title: Robust forward completeness: a bridge between well-posedness and stabi
lity.\nby Andrii Mironchenko (University of Passau\, Germany) as part
of Input-to-State Stability and its Applications\n\n\nAbstract\nWell-posed
ness theory studies the existence and uniqueness of solutions of dynamical
and control systems\, but it does not tell us much about the bounds of so
lutions. \nIn contrast to that\, the stability theory investigates the glo
bal in time bounds for trajectories and families of trajectories.\n\nWe kn
ow a lot about well-posedness and stability. But what do we know about the
terrain between these areas? In this talk\, I invite you to go with me to
these rather unexplored lands\, and summarize what we know about 2 relate
d concepts: robust forward completeness (RFC) and boundedness of reachabil
ity sets (BRS).\n\nRFC/BRS are important in many contexts:\n\n1. They were
instrumental for the derivation of converse Lyapunov theorems for global
asymptotic stability in ODE setting. \n\n2. Uniform global asymptotic stab
ility for infinite-dimensional systems has been characterized in terms of
uniform weak attractivity\, local stability\, and RFC property. \n\n3. Inp
ut-to-state stability (ISS) is equivalent to a combination of the uniform
limit property\, local stability\, and boundedness of reachability sets (s
o-called ISS superposition theorem). \n\n4. These characterizations\, in t
urn\, paved the way for the development of non-coercive Lyapunov methods\,
where again BRS/RFC play an important role.\n\n5. Characterization of glo
bal asymptotic stability for retarded systems is heavily dependent on whet
her the systems are RFC. \n\n6. BRS/RFC help significantly to study regula
rity of the flow of nonlinear infinite-dimensional control systems.\n\nAnd
now more formally:\n\nA control system is called forward complete if for
any initial condition $x$\, and any input $u$\, the corresponding trajecto
ry $\\phi(\\cdot\,x\,u)$ is well-defined on the whole nonnegative time axi
s. If additionally\, for any magnitude $R>0$ and any time $\\tau>0$\n\\[\n
\\sup_{\\|x\\| \\leq R\,\\ u\\in D\,\\ t\\in[0\,\\tau]} \\|\\phi(t\,x\,u)\
\| <+\\infty\,\n\\] \nwhere $D$ is the space of admissible inputs\, then a
control system is said to be robustly forward complete (RFC).\n\nWe start
by recalling the well-known result that forward completeness is equivalen
t to RFC for ODE systems with Lischitz right-hand side. We demonstrate by
means of an example\, that RFC is a stronger notion for infinite-dimension
al systems in Hilbert spaces with Lipschitz continuous rhs. \n\nWe show th
at the robust forward completeness for distributed parameter systems is eq
uivalent to the existence of a corresponding Lyapunov function that increa
ses at most exponentially along the trajectories.\n\nWe demonstrate severa
l results showing importance of RFC and BRS concepts. \nFinally\, we state
several open problems in this area.\n\nBiography:\nAndrii Mironche
nko was born in 1986 in Odesa\, Ukraine. He received the M.Sc. degree in
applied mathematics from the Odesa I.I. Mechnikov National University\, Od
esa\, Ukraine\, in 2008\, the Ph.D. degree in mathematics from the Univers
ity of Bremen\, Bremen\, Germany in 2012\, and the habilitation degree fr
om the University of Passau\, Germany\, in 2023. He has held a research po
sition with the University of Würzburg\, Würzburg\, Germany\, and was a
Postdoctoral Fellow of Japan Society for Promotion of Science (JSPS) with
the Kyushu Institute of Technology\, Fukuoka Prefecture\, Japan (2013–20
14). Since 2014\, he is with the Faculty of Mathematics and Computer Scien
ce\, University of Passau\, Passau\, Germany.\n\nDr. Mironchenko is the au
thor of the monograph „Input-to-State Stability“ (Springer\, 2023) and
(co)author of more than 60 peer-reviewed papers in journals and conferenc
e proceedings in control theory and applied mathematics. \nA. Mironchenko
is a co-founder and co-organizer of the Workshop series “Stability and C
ontrol of Infinite-Dimensional Systems” (SCINDIS). He is a Senior Member
of IEEE.\n\nHis research interests include stability theory\, nonlinear s
ystems theory\, distributed parameter systems\, hybrid systems\, and appli
cations of control theory to biological systems and distributed control.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/28/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Iasson Karafyllis (National Technical University of Athens)
DTSTART:20231018T150000Z
DTEND:20231018T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/29
DESCRIPTION:Title: Let’s Use Delays in Adaptive Control!\nby Iasson Karafyllis (Nat
ional Technical University of Athens) as part of Input-to-State Stability
and its Applications\n\n\nAbstract\nThis talk shows the first step towards
the resolution of several decades-old challenges in disturbance-robust ad
aptive control. For a scalar\, delay-free\, linear system with an unknown
parameter for which no a priori bound is given\, with a disturbance that i
s of unlimited magnitude and possibly persistent (not square integrable)\,
and without a persistency of excitation necessarily verified by the state
\, the problem of (practical) Input-to-Output Stability (IOS) asymptotic g
ain assignment relative to the disturbance is studied. A solution to these
heretofore unsolved feedback design problems is provided with the aid of
infinite-dimensional nonlinear feedback employing distributed delay of the
state and input itself. Specifically\, in addition to (0) global boundedn
ess of the infinite-dimensional state of the closed-loop system when the d
isturbance is present\, the following features are also established: (1) p
ractical IOS with assignable asymptotic gain from the disturbance to the p
lant state\; (2) assignable exponential convergence rate\; and (3) assigna
ble radius of the residual set. The accompanying identifier in the propose
d adaptive control scheme guarantees (4) boundedness of the parameter esti
mate even when disturbances are present\; (5) an ultimate estimation error
which is proportional to the magnitude of the disturbance with assignable
gain when there exists sufficient excitation of the state\; and (6) exact
parameter estimation in finite-time when the disturbance is absent and th
ere is sufficient excitation. Among the obtained results\, one reveals a t
radeoff between “learning capacity” and “disturbance robustness:”
the less sensitive the identifier is to the disturbance\, the less likely
it is to learn the parameter. This is a joint work with Miroslav Krstic an
d Alexandros Aslanidis. \n\nBiography: \nIasson Karafyllis is a
Professor of Mathematics in the Department of Mathematics of the National
Technical University of Athens. He is a coauthor of three books and he ha
s written more than 100 journal papers. His research interests lie in the
stability theory and feedback stabilization theory of deterministic contro
l systems as well as in the connection of Mathematical Control Theory with
other areas of mathematics.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/29/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Felix Schwenninger (University of Twente\, Netherlands)
DTSTART:20231108T160000Z
DTEND:20231108T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/30
DESCRIPTION:Title: BIBO stability and ISS for infinite-dimensional systems\nby Felix
Schwenninger (University of Twente\, Netherlands) as part of Input-to-Stat
e Stability and its Applications\n\n\nAbstract\nIn this talk we revisit Bo
unded-input-bounded-output (BIBO) stability for infinite-dimensional syste
ms. We discuss subtleties arising even in the linear case and its relation
s to ISS. The focus is on phenomena arising from boundary control and obse
rvation.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/30/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jun Zheng (Southwest Jiaotong University\, Chengdu\, PR China)
DTSTART:20231025T150000Z
DTEND:20231025T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/31
DESCRIPTION:Title: ISS for the Burgers’ Equation with Dirichlet Boundary Disturbances a
nd the Generalized Lyapunov Method\nby Jun Zheng (Southwest Jiaotong U
niversity\, Chengdu\, PR China) as part of Input-to-State Stability and it
s Applications\n\n\nAbstract\nThe input-to-state stability (ISS) theory of
partial differential equations (PDEs) has been developed for more than on
e decade. During this period\, a few methods have been proposed for establ
ishing the ISS for PDEs subjected to distributed in-domain disturbances an
d various types of boundary disturbances. In particular\, the Lyapunov met
hod has proven to be well-suited to PDEs with solely in-domain disturbance
s or boundary disturbances of Robin and Neumann types. However\, applying
the Lyapunov arguments the ISS analysis of PDEs with Dirichlet boundary di
sturbances meets a significant challenge.\n\nIn this presentation\, we wil
l first illustrate how to construct Lyapunov-like functionals to achieve t
he ISS in different norms for the Burgers’ equation with Dirichlet bound
ary disturbances. Unlike classical Lyapunov functionals\, which are typica
lly required to be positive definite\, these constructed Lyapunov-like fun
ctionals can be positive semidefinite. Furthermore\, such functionals are
allowed to be depend on the boundary disturbances. As a result\, this kind
of construction provides a wider range of choices for the ISS-Lyapunov ca
ndidates and offers greater flexibility in applications.\n\nInspired by st
udying the ISS for the Burgers’ equation\, we will then show how to exte
nd the proposed approach to general infinite-dimensional systems. In parti
cular\, we will introduce a new notion called the generalized ISS-Lyapunov
functional (GISS-LF) by using positive semidefinite and disturbance-depen
dent functionals. We will also present a generalized ISS-Lyapunov theorem\
, indicating that the existence of a GISS-LF implies the ISS of the consid
ered system. Consequently\, the proposed approach can be seen as a general
ized Lyapunov method\, providing a new perspective for the ISS analysis of
infinite dimensional systems including PDEs with Dirichlet boundary distu
rbances. \n\nThis is a joint work with Prof. Guchuan Zhu from Polytechniqu
e Montreal.\n\nBiography: \nJun Zheng received the Ph.D. degree in
mathematics from Lanzhou University\, Lanzhou\, China\, in 2013. He joined
Southwest Jiaotong University\, Chengdu\, China\, in 2013\, where he is c
urrently an associate professor at the School of Mathematics. He has publi
shed more than 40 papers by peer-reviewed journals in the fields of contro
l and mathematics. His current research interests include control of distr
ibuted parameter systems\, nonlinear and robust control\, free boundary pr
oblems\, and regularity theory of PDEs.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/31/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Nicolás Espitia (University of Lille - CNRS - CRIStAL laboratory\
, France)
DTSTART:20231122T160000Z
DTEND:20231122T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/32
DESCRIPTION:Title: Event-triggered boundary control of an unstable reaction diffusion PDE
with input delay\nby Nicolás Espitia (University of Lille - CNRS - C
RIStAL laboratory\, France) as part of Input-to-State Stability and its Ap
plications\n\n\nAbstract\nEvent-triggered control has gained significant a
ttention within the control community and has already reached a certain le
vel of maturity within the framework of finite-dimensional networked contr
ol systems. However\, when it comes to infinite-dimensional systems\, spec
ifically partial differential equations (PDEs)\, this area remains in its
early stages. Event-triggered control for PDEs presents a multitude of cha
llenging issues\, including those theoretical ones related to well-posedne
ss\, the occurrence of the Zeno phenomenon\, and conservatism\, among othe
rs. The emergence of these challenges depends on various factors\, such as
the nature of the PDE (e.g.\, whether hyperbolic or parabolic)\, the way
for sensing and actuation (in-domain or boundary)\, the design of the cont
rol methodology employed\, and the intended applications while modeling by
a PDE setting.\n\nThis presentation will focus on recent advancements in
event-triggered boundary control applied to a specific class of 1-dimensio
nal reaction-diffusion PDE with delayed boundary input. The discussion wil
l start by providing some fundamental elements of event-triggered control
and illustrative examples where event-triggered control can play a fundame
ntal role\, particularly in PDE control\, as this strategy can represent a
more realistic and practical means of actuating PDE systems.\nSubsequentl
y\, this talk will introduce an event-triggered boundary control strategy
of reaction -diffusion PDEs for the delay-free case. This result is crucia
l in preparing the basis for the extension to cases involving input delays
. Our methodology builds on well-established and powerful control design t
echniques for PDEs\, such as the backstepping approach\, as well as insigh
ts from Input-to-State Stability (ISS) results for PDEs and small-gain arg
uments. The presentation will highlight the employed event-triggering poli
cy (using suitable spatial norms)\, the stability results\, and how we can
avoid the Zeno phenomenon.\nThis work is mostly based on a recent collabo
ration with Miroslav Krstic and Florent Koudohode.\n\nBiography: \n
Nicolas Espitia is a researcher at the CNRS (The National Center for Scien
tific Research) since 2019 and develops his research activities within the
CRIStAl laboratory (Research Center in Computer Science\, Signal and Auto
matic Control of Lille) of the University of Lille\, France. \nHe received
in 2017 his Ph.D. in Control Systems from the GIPSA-Lab\, University of
Grenoble\, France. From 2017 to 2019\, he was a postdoctoral researcher in
Inria Lille Nord-Europe\, France. His research interests include event-tr
iggered control and finite-/fixed-/prescribed-time stabilization of infini
te-dimensional systems.\n\nReferences: \n\n-N. Espitia\; I. Karafyl
lis\; M. Krstic "Event-triggered boundary control of constant-parameter r
eaction-diffusion PDEs: A small-gain approach"\, Automatica\, Vol. 128\, 2
021 (Doi: https://doi.org/10.1016/j.automatica.2021.109562\; HAL: https://
hal.science/hal-03178456)\n\n-F. Koudohode\; N Espitia\; M. Krstic\, "Even
t-triggered boundary control of an unstable reaction diffusion PDE with in
put delay"\, under review in Systems & Control Letters (preprint avialable
at HAL: https://hal.science/hal-04304378 ).\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/32/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Maurice Heemels (Eindhoven University of Technology\, Netherlands)
DTSTART:20231129T160000Z
DTEND:20231129T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/33
DESCRIPTION:Title: Projected Dynamics in Control\nby Maurice Heemels (Eindhoven Unive
rsity of Technology\, Netherlands) as part of Input-to-State Stability and
its Applications\n\n\nAbstract\nProjected Dynamical Systems (PDSs) are a
class of discontinuous and constrained dynamical systems in which projecti
on of dynamics is used to keep the state of the system in a given constrai
nt set. In this talk we will focus on the opportunities that PDS may offer
for high-performance control purposes. In particular\, we will consider t
he utilization of projection operators in control systems to overcome fund
amental performance limitations related to linear time-invariant (LTI) con
trol. As an exemplary controller\, we will discuss the so-called Hybrid I
ntegrator-Gain System (HIGS)\, being a projected integrator designed to av
oid the limitations of linear integrators. The main design philosophy behi
nd HIGS is built on keeping the sign of its input and output equal\, there
by inducing less phase lag than a linear integrator\, which leads to direc
t performance benefits. The study of HIGS calls for an extension of classi
cal PDS (called “extended PDS”)\, as only partial projection of the cl
osed-loop states is allowed\; we can only change the controller states by
projection\, not the plant states. This novel use of projection operators
can enforce desirable input-output (i/o) properties of the controller dyna
mics\, which were not present in the original (unprojected) dynamics. In f
act\, we will show\, for instance\, how next to sign-equivalence properti
es of inputs and outputs\, also passivity and general (qsr-)dissipativity
properties can be induced by projection on sector-like i/o constraint sets
. For the class of HIGS-controlled systems (and their formalizations in te
rms of ePDSs)\, we discuss existence and forward completeness of solutions
\, their discretizations and sampled-data implementations\, and (input-to-
state and incremental) stability properties and illustrate them by various
examples and experiments. \n\nBiography: \nMaurice Heemels receiv
ed M.Sc. (mathematics) and Ph.D. (control theory) degrees (summa cum laude
) from the Eindhoven University of Technology (TU/e) in 1995 and 1999\, re
spectively. From 2000 to 2004\, he was with the Electrical Engineering Dep
artment\, TU/e\, as an assistant professor\, and from 2004 to 2006 with th
e Embedded Systems Institute (TNO-ESI) as a research fellow. Since 2006\,
he has been with the Department of Mechanical Engineering\, TU/e\, where h
e is currently a Full Professor and vice-dean. Maurice held visiting profe
ssor positions at Swiss Federal Institute of Technology (ETH)\, Switzerla
nd (2001)\, University of California at Santa Barbara (2008) and Universit
y of Lorraine\, France (2020). His current research includes hybrid and cy
ber-physical systems\, networked and event-triggered control systems and m
odel predictive control. Dr. Heemels served/s on the editorial boards of A
utomatica\, Nonlinear Analysis: Hybrid Systems\, Annual Reviews in Contro
l\, and IEEE Transactions on Automatic Control. He was a recipient of a pe
rsonal VICI grant awarded by NWO (Dutch Research Council) and an ERC Advan
ced Grant (European Research Council). He is a Fellow of the IEEE and IFAC
. He was currently chair of the IFAC Technical Committee on Networked Sys
tems (2017-2023). He was the recipient of the 2019 IEEE L-CSS Outstanding
Paper Award and the 2020 Automatica Paper Prize Award. He was elected for
the IEEE-CSS Board of Governors (2021-2023). He is the Editor-in-Chief of
the IFAC journal Nonlinear Analysis: Hybrid Systems as of 2023.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/33/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Delphine Bresch-Pietri (MINES ParisTech\, France)
DTSTART:20231206T160000Z
DTEND:20231206T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/34
DESCRIPTION:Title: Input-to-State Stability and converse Lyapunov Theorem for Linear Diff
erence Equations and Hyperbolic Partial Differential Equations\nby Del
phine Bresch-Pietri (MINES ParisTech\, France) as part of Input-to-State S
tability and its Applications\n\n\nAbstract\nIn this talk\, we will focus
on a specific type of time-delay systems\, namely\, linear difference equa
tions\, which are seldom studied in the literature. We will review their s
trong connection with systems of Linear Hyperbolic Partial Differential Eq
uations and the corresponding control challenges. We will present some con
texts of hyperbolic PDEs in which stabilizing control laws could be design
ed via the reformulation of the dynamics by means of a difference equation
. We will also present how this reformulation could be used to express a c
onverse Input-to-State Stability Lyapunov theorem for systems of hyperboli
c PDEs. This talk is inspired from recent works with Jean Auriol (CNRS\, L
2S).\n\nBiography: \nDelphine Bresch-Pietri is an Associate Profess
or at Mines Paris - PSL\, at the Centre d'Automatique et Systèmes. Her re
search areas include the theory and applications of time-delay systems\, b
oundary control of Partial Differential Equations\, and optimization of ti
me-delay systems. She is the co-author of a control engineering book title
d "Stabilité et Stabilisation" and holds several patents in the field of
engine control. She has been an Associate Editor at Systems and Control Le
tters since 2020 and at IEEE Transactions on Automatic Control since 2022.
\n\nReferences: \n\n-Jean Auriol\, Delphine Bresch-Pietri. On Input
-to-State Stability of Linear Difference Equations and\nIts Characterizati
on with a Lyapunov Functional. IFAC World Congress 2023\nhttps://hal.scien
ce/hal-04051122/document\n\n-Auriol Jean\, Kong Sijia\, and Bresch-Pietri
Delphine. "Explicit prediction-based control for linear difference equatio
ns with distributed delays." IEEE Control Systems Letters 6 (2022): 2864-2
869.\nhttps://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9786057\n\n-Jea
n Auriol and Delphine Bresch Pietri. "Robust state-feedback stabilization
of an underactuated network of interconnected n+ m hyperbolic PDE systems.
" Automatica 136 (2022): 110040.\nhttps://www.sciencedirect.com/science/ar
ticle/pii/S0005109821005689\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/34/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hernan Haimovich (Universidad Nacional de Rosario (UNR) and Consej
o Nacional de Investigaciones Científicas y Técnicas (CONICET)\, Argenti
na)
DTSTART:20231115T160000Z
DTEND:20231115T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/35
DESCRIPTION:Title: Forward Completeness is not robust for time-delay Systems: Intuition\,
counterintuition and consequences\nby Hernan Haimovich (Universidad N
acional de Rosario (UNR) and Consejo Nacional de Investigaciones Científi
cas y Técnicas (CONICET)\, Argentina) as part of Input-to-State Stability
and its Applications\n\n\nAbstract\nForward Completeness (FC) is the prop
erty indicating that solutions of a dynamical system are defined for all f
uture times. For ODEs that represent time-invariant dynamical systems with
inputs\, standard assumptions cause FC to be equivalent to Robust FC (RFC
)\, the latter meaning that solutions originating in bounded balls and cor
responding to inputs taking values in a compact set have uniform bounds ov
er compact time intervals. The equivalence between FC and RFC ceases to ho
ld for infinite-dimensional systems\, but the validity of this equivalence
for the specific case of time-delay systems has until recently been an op
en question. In this talk\, it will be shown that the FC and RFC of usuall
y encountered classes of time-delay systems are related to the FC of ODEs
under different sets of admissible inputs: continuous inputs for FC and me
asurable and locally essentially bounded inputs for RFC. The existence of
an FC time-delay system whose related ODE system is FC for continuous inpu
ts but not for all bounded measurable inputs is shown with an interesting
example from the realm of switched systems. This shows that FC is not equi
valent to RFC for time-delay systems. The perhaps counterintuitive propert
ies of the constructed example will be examined and the corresponding cons
equences indicated. This talk ends by pointing to some problems that may s
till remain open regarding the relationship between FC and RFC for general
time-delay systems. This is joint work with Prof. Jose Luis Mancilla-Agui
lar.\n\nBiography: \nHernan Haimovich graduated as an Electronics E
ngineer in 2001 at the Universidad Nacional de Rosario (UNR)\, Argentina\,
and finished his Ph.D. at The University of Newcastle\, Australia\, in 20
06. Dr. Haimovich currently holds a permanent Investigator position from C
ONICET (the national research council of Argentina) and is a Professor at
the School of Electronics Engineering\, UNR. Dr. Haimovich is highly enthu
siastic about applied mathematics in relation to control systems. His rese
arch interests include control theory for nonlinear\, switched\, time-vary
ing\, impulsive\, hybrid and/or discontinuous systems\, and related applic
ations.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/35/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sergiy Zhuk (IBM Research Europe\, Dublin\, Ireland)
DTSTART:20240110T160000Z
DTEND:20240110T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/36
DESCRIPTION:Title: Simulation-friendly detectability and ISS conditions for turbulent Nav
ier-Stokes equations with unknown inputs\nby Sergiy Zhuk (IBM Research
Europe\, Dublin\, Ireland) as part of Input-to-State Stability and its Ap
plications\n\n\nAbstract\nWe will present simulation friendly detectabilit
y and ISS conditions for 2D Navier–Stokes Equation (NSE) with periodic b
oundary conditions\, and describe a generic class of ‘‘detectable’
’ observation operators: it includes pointwise evaluation of NSE’s sol
ution at interpolation nodes\, and spatial average measurements. Our anal
ysis relies upon a novel one-parametric inequality relating $L^\\infty$ an
d $H^2$-norms of periodic vector-functions\, which for certain values of t
he parameter reduces to Agmon and Brezis inequalities\, and S-procedure wi
dely used in Lyapunov stability analysis.\n\nWe show that the solution of
NSE for an unknown initial condition for $\\vec a$ destabilizing unknown
input belongs to $H^1$-ellipsoid which shrinks provided the uncertain inpu
t ‘‘perturbs’’ the system less and less frequently as $t \\to \\in
fty$\, or $L^2$-norm of this perturbation (in space) decays as $t \\to \\i
nfty$\, a remarkable result for turbulent systems which are highly sensiti
ve to small perturbations. \n\nFor ‘‘detectable’’ observation ope
rators we design a global infinite-dimensional observer for NSE with uncer
tain possibly destabilizing inputs: in our numerical experiments we illust
rate $H^1$-sensitivity of NSE to small perturbations of initial conditions
\, yet the observer converges for known and uncertain inputs.\n\nBiogra
phy: \nSergiy Zhuk is a Senior Research Scientist at IBM Research Euro
pe\, and he is a manager of the Quantum Computing group based in Dublin\,
Ireland. Sergiy holds a Ph.D. in Applied Mathematics from Taras Shevchenko
National University of Kyiv\, Ukraine. In 2009 Sergiy was granted an ERCI
M/Marie Curie fellowship with Centrum Wiskunde Informatica (The Netherland
s) and INRIA Paris-Rocquencourt research center (France). Sergiy has been
a visiting scholar at Inria Paris research center and Mathematical institu
te of Utrecht University. He joined IBM Research Europe in 2012. In 2016
–2019 he was an\nadjunct assistant professor at University College Dubli
n. His research interests include state and parameter estimation for dynam
ical systems\, inverse modeling\, Markov decision processes and (more rece
ntly) quantum computing.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/36/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Matthias Müller (Leibniz University Hannover\, Germany)
DTSTART:20240124T160000Z
DTEND:20240124T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/38
DESCRIPTION:Title: Incremental input/output-to-state stability and its application in the
analysis and design of optimization-based state estimators\nby Matthi
as Müller (Leibniz University Hannover\, Germany) as part of Input-to-Sta
te Stability and its Applications\n\n\nAbstract\nThe notion of incremental
input/output-to-state stability (i-IOSS) was originally proposed by Sonta
g and Wang in 1997. It constitutes an extension of zero-detectability (whi
ch is implied by IOSS) to arbitrary trajectories and entails an asymptotic
distinguishability property of states involving past input/output data. M
oreover\, it can be interpreted as robust generalization of standard (fina
l state) observability for systems with unobservable\, asymptotically deca
ying modes that are subject to process disturbances and measurement noise\
, and i-IOSS was even shown to be a necessary and sufficient property for
the existence of robustly stable state estimators. In the first part of th
is talk\, we discuss how recently developed converse Lyapunov theorems for
finite dimensional (discrete- and continuous-time) systems establish equi
valence of i-IOSS and existence of an exponential-decrease i-IOSS Lyapunov
function. Furthermore\, we show how the strong relation to contraction th
eory enables the application of straightforward tools to check exponential
i-IOSS in practice using quadratically bounded i-IOSS Lyapunov functions.
\n\nIn recent years\, i-IOSS has become the standard assumption of nonline
ar detectability in the context of optimization-based state estimation for
discrete-time systems\, in particular\, moving horizon estimation (MHE).
This technique is naturally applicable to nonlinear\, potentially constrai
ned systems and has applications in various fields\, such as chemical and
process engineering\, biomedical engineering and systems medicine\, roboti
cs\, and power systems. In the second part of this talk\, we show how stro
ng robustness guarantees can be provided for MHE under i-IOSS when the MHE
cost function is chosen in accordance with the parameters of the i-IOSS L
yapunov function. In particular\, this leads to practically relevant condi
tions for the design of nonlinear MHE schemes.\n\nBiography: \n Mat
thias A. Müller received a Diploma degree in Engineering Cybernetics from
the University of Stuttgart\, Germany\, an M.Sc. in Electrical and Comput
er Engineering from the University of Illinois at Urbana-Champaign\, US (b
oth in 2009)\, and a Ph.D. from the University of Stuttgart in 2014. Since
2019\, he is director of the Institute of Automatic Control and full prof
essor at the Leibniz University Hannover\, Germany. His research interests
include nonlinear control and estimation\, model predictive control\, and
data- and learning-based control\, with applications in different fields
including biomedical engineering and robotics. He has received various awa
rds for his work\, including the 2015 European Systems & Control PhD Thesi
s Award\, the inaugural Brockett-Willems Outstanding Paper Award for the b
est paper published in Systems & Control Letters in the period 2014-2018\,
an ERC starting grant in 2020\, the IEEE CSS George S. Axelby Outstanding
Paper Award 2022\, and the Journal of Process Control Paper Award 2023. H
e serves as associate editor for Automatica\, editor of the International
Journal of Robust and Nonlinear Control\, and as a member of the Conferenc
e Editorial Board of the IEEE Control Systems Society.\n\nRelated refer
ences: \n\n-Sven Knüfer and Matthias A. Müller (2018).\n"Robust Glob
al Exponential Stability for Moving Horizon Estimation".\nProc. IEEE Conf.
Decis. Control 2018\, p. 3477-3482.\nhttps://ieeexplore.ieee.org/document
/8619617\n\n-Sven Knüfer and Matthias A. Müller (2020).\n"Time-Discounte
d Incremental Input/Output-to-State Stability".\nProc. IEEE Conf. Decis. C
ontrol 2020\, p. 5394-5400.\nhttps://ieeexplore.ieee.org/document/9304034\
n\n-Sven Knüfer and Matthias A. Müller (2023).\n"Nonlinear full informat
ion and moving horizon estimation: Robust global asymptotic stability".\nA
utomatica 150\, p. 110603.\nhttps://www.sciencedirect.com/science/article/
abs/pii/S0005109822004654?via%3Dihub\n\n-Julian D. Schiller and Matthias A
. Müller (2023).\n"On an integral variant of incremental input/output-to-
state stability and its use as a notion of nonlinear detectability".\nIEEE
Contr. Syst. Lett. 7\, p. 2341-2346.\nhttps://ieeexplore.ieee.org/documen
t/10153397\n\n-Julian D. Schiller and Matthias A. Müller (2023).\n"Robust
stability of moving horizon estimation for continuous-time systems".\narX
iv:2305.06614.\nhttps://arxiv.org/abs/2305.06614\n\n-Julian D. Schiller\,
Simon Muntwiler\, Johannes Köhler\, Melanie N. Zeilinger\, and Matthias A
. Müller (2023).\n"A Lyapunov function for robust stability of moving hor
izon estimation".\nIEEE Trans. Autom. Control 68(12)\, p. 7466-7481.\nhttp
s://ieeexplore.ieee.org/document/10136787\n\n-Julian D. Schiller and Matth
ias A. Müller (2023).\n"Suboptimal nonlinear moving horizon estimation".\
nIEEE Trans. Autom. Control 68(4)\, p. 2199-2214.\nhttps://ieeexplore.ieee
.org/document/9772349\n\n-Julian D. Schiller and Matthias A. Müller (2023
).\n"Nonlinear moving horizon estimation for robust state and parameter es
timation."\narXiv:2312.13175.\nhttps://arxiv.org/abs/2312.13175\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/38/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sophie Tarbouriech (LAAS-CNRS\, Toulouse\, France)
DTSTART:20240221T160000Z
DTEND:20240221T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/39
DESCRIPTION:Title: Dynamic output feedback with adaptive saturation or dead-zone\nby
Sophie Tarbouriech (LAAS-CNRS\, Toulouse\, France) as part of Input-to-Sta
te Stability and its Applications\n\n\nAbstract\nIn this talk\, we discuss
the redesign of output feedback controllers (possible observer-like) for
linear systems based on adaptive saturation (stubborn) and dead-zone to im
prove noise reduction. With a stubborn redesign\, we improve the transient
response of the closed loop to measurement outliers. Instead\, with a dea
d-zone redesign\, we get a reduction in the sensitivity of the closed loop
to persistent disturbances such as measurement bias or Gaussian noise aff
ecting the output. Hence\, for any given stabilizing linear dynamic output
feedback law designed for a multivariable linear plant\, we provide LMI-b
ased stubborn/dead-zone redesign conditions that guarantee closed-loop exp
onential ISS. The feasibility of our LMI-based conditions is also proven.
\n\nBiography: \nSophie Tarbouriech received the Ph.D. and HDR degr
ees in Automatic Control from University Paul Sabatier\, Toulouse\, France
\, in 1991 and 1998\, respectively. She is full-time researcher (Directeu
r de Recherche CNRS) at LAAS-CNRS\, Toulouse. Her main research interests
include analysis and control of linear and nonlinear systems with constrai
nts (limited information)\, hybrid dynamical systems. She is currently Ass
ociate Editor for SIAM Journal on Control and Optimization and Senior Edit
or for IEEE Control Systems Letters. She is also Senior Editor and Deputy
Editor-in-Chief for Automatica. She is a member of International Federatio
n of Automatic Control and IEEE Technical Committees.\n\n References: <
/b>\n\n- S. Tarbouriech\, A. Alessandri\, D. Astolfi and L. Zaccarian\, "L
MI-Based Stubborn and Dead-Zone Redesign in Linear Dynamic Output Feedback
\," in IEEE Control Systems Letters\, vol. 7\, pp. 187-192\, 2023\, doi: 1
0.1109/LCSYS.2022.3186842\, hal: hal-03726559.\n\n Slides: \nhttp:/
/mironchenko.com/__My_php_sources/ISS-Seminar-Talks/2024-02-21-Tarbouriech
.pdf\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/39/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lucas Brivadis (L2S\, CNRS\, University Paris Saclay\, France)
DTSTART:20240214T160000Z
DTEND:20240214T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/40
DESCRIPTION:Title: Forward completeness and bounded reachability sets for time-delay syst
ems: the role of the state space\nby Lucas Brivadis (L2S\, CNRS\, Univ
ersity Paris Saclay\, France) as part of Input-to-State Stability and its
Applications\n\n\nAbstract\nA dynamical system is forward complete (FC) if
its solutions are well-defined for all future times. If moreover solution
s initialized in bounded sets and corresponding to bounded inputs remain u
niformly bounded over bounded time-intervals\, then it is said to have the
bounded reachability sets (BRS) property\, also called robust forward com
pleteness (RFC). BRS is a bridge between the pure well-posedness theory (t
hat studies existence and uniqueness) and the stability theory (which is i
nterested in establishing certain bounds for solutions). For example\, BRS
is a crucial property to establish ISS superposition theorems. It is know
n that under standard assumptions\, FC implies BRS for finite-dimensional
systems\, while this fails for infinite-dimensional ones.\nIt was recently
shown by J.L. Mancilla-Aguilar and H. Haimovich that the implication also
fails in the case of time-delay systems with a finite number of delays. I
n this talk\, we aim to show that the implication FC => BRS for time-delay
systems actually heavily depends on the choice of the state space. In par
ticular\, we propose to consider the state space of essentially bounded fu
nctions (instead of the usual one of continuous functions). On this new st
ate space\, we prove that FC implies BRS\, which raises the question of re
visiting stability theory of time-delay systems in this state space.\n\nBiography. Lucas Brivadis is a CNRS researcher at the Laboratory of S
ignals and Systems (L2S\, CentraleSupélec\, CNRS\, Université Paris-Sacl
ay). He defended his PhD in 2021 at LAGEPP\, Université Lyon 1. From 2021
to 2022\, he was a postdoctoral researcher at L2S. His research interests
include stability properties of nonlinear delay systems\, observer design
for nonlinear or infinite dimensional systems\, and output feedback stabi
lization.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/40/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Fabian Wirth (University of Passau\, Germany)
DTSTART:20240131T160000Z
DTEND:20240131T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/41
DESCRIPTION:Title: The characterization of ISS for time-delay systems: Results and Counte
rexamples\nby Fabian Wirth (University of Passau\, Germany) as part of
Input-to-State Stability and its Applications\n\n\nAbstract\nWe consider
a general class of time-delay systems with inputs. While\nthis defines a c
lass of infinite-dimensional systems\, it has been\nobserved for a long ti
me that the analytic properties of such systems\nare more benign than in t
he general infinite-dimensional case. To give\nan example\, it is a classi
c result that for systems without input\nasymptotic stability of a fixed p
oint implies this property with a\nrate that is uniform in the state space
. As the state space is not\nlocally compact this is by no means as self-e
vident as for ODEs.\n\nOn the other hand it is also known that the infinit
e-dimensional\ncharater of time-delays systems results in properties that
are not\npossible for systems of ordinary differential equations. For inst
ance\,\nin a recent paper\, Mancilla-Aguilar and Haimovich have shown that
\nforward completeness does not imply boundedness of finite-time\nreachabi
lity sets (the BRS property\, for short). Even more strikingly\,\nthe exam
ple provided is even globally asymptotically stable and\nuniformly globall
y attractive in the fixed point zero.\n\nAll this touches upon the charact
erization of input-to-state stability\nfor time-delay systems in terms of
other dynamic properties of the\nsystem. The properties that have turned o
ut to be important are\n\nstability properties: (uniform) local stability
(LS/ULS)\,\nthe (uniform) limit property (LIM/ULIM)\, describing the long
term behaviour of trajectories\,\n(uniform) asymptotic gains (AG/UAG)\, de
scribing asymptotic bounds on trajectories.\n\nFor finite-dimensional cont
rol systems it has been shown by\nSontag and Wang that we have the equival
ence\n\nISS <=> LIM & LS <=> AG & LS\n\nIn contrast for a broad class of n
onlinear infinite-dimensional\nsystems it has been shown that stronger req
uirements are needed\, namely\,\n\nISS <=> ULIM & ULS & BRS <=> UAG & CEP
& BRS\n\nAnd in the context of the general infinite-dimensional class this
\ncharacterization cannot be relaxed. However\, delay systems are more\nbe
nign so that it possible to relax the characterization to\n\nISS <=> LIM &
0-ULS & BRS <=> AG & 0-ULS & BRS\n\nOn the other hand the example of Manc
illa-Aguilar and Haimovich may be\nextended to show that\, in the absence
of BRS\, LIM does not imply\nULIM. Also global asymptotic stability does n
ot imply uniform global\nattractivity. Thus the requirements on bounded re
achability\nsets and uniformity properties of the stability requirements c
annot be\nremoved in the time-delay case.\n\njoint work with\n\nLucas Briv
adis\, Université Paris-Saclay\, CNRS\, CentraleSupélec\, LSS\, France\,
\n\nAntoine Chaillet\, Université Paris-Saclay\, CNRS\, CentraleSupélec\
, LSS\, France\,\n\nAndrii Mironchenko\, University of Klagenfurt\, Austri
a and University of Passau\, Germany.\n\nBiography. \nFabian Wirth
received his PhD from the Institute of Dynamical Systems at\nthe Universit
y of Bremen in 1995. He has since held positions in Bremen\,\nat the Centr
e Automatique et Systèmes of Ecole des Mines\, the\nHamilton Institute at
NUI Maynooth\, Ireland\, the University of Würzburg and IBM Research Ire
land. \nHe now holds the chair for Dynamical Systems at the University\nof
Passau in Germany. His current interests include stability\ntheory\, swit
ched systems\, the joint spectral radius of matrix sets and large scale ne
tworks with \napplications to networked systems and distributed control.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/41/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrii Mironchenko (University of Klagenfurt\, Austria)
DTSTART:20240117T160000Z
DTEND:20240117T170000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/42
DESCRIPTION:Title: Revisiting Lyapunov-Krasovskii methodology for robust stability analys
is of time-delay systems\nby Andrii Mironchenko (University of Klagenf
urt\, Austria) as part of Input-to-State Stability and its Applications\n\
n\nAbstract\nLyapunov-Krasovskii functionals are a classical tool to study
asymptotic stability and \ninput-to-state stability of time-delay systems
. \nHowever\, in the ISS context\, the requirements on the Lyapunov-Krasov
skii functionals \nare much stronger than those used for analysis of asymp
totic stability. \n\nWhy? Can we fix it?\n\nIn this talk\, we show a Lyapu
nov-Krasovskii direct theorem\nfor ISS of time-delay systems. This\ntheore
m is valid for systems with mild regularity of the right-\nhand side and i
mposes fewer requirements on the Lyapunov-\nKrasovskii functional than the
known results. Finally\, we derive\na stronger property than classical IS
S.\nTo prove this result\, we introduce a new stability formalism\nfor del
ay systems with inputs and establish the \nISS superposition theorem speci
fically tailored for time-delay systems.\n\nBiography. Andrii Mi
ronchenko was born in 1986 in Odesa\, Ukraine. He received the Ph.D. degr
ee in mathematics from the University of Bremen\, Germany\, and the habili
tation degree from the University of Passau\, Germany. He was a Postdoctor
al Fellow of Japan Society for Promotion of Science (2013–2014). Since 2
023\, he is with the Department of Mathematics\, University of Klagenfurt
\, Austria.\n\nDr. Mironchenko is the author of the monograph „Input-to-
State Stability“ (Springer\, 2023) and of 70 journal and conference pape
rs on control theory and applied mathematics. \nA. Mironchenko serves as a
n Associate Editor in Systems & Control Letters and is a co-founder and co
-organizer of the biennial Workshop series “Stability and Control of Inf
inite-Dimensional Systems” (SCINDIS\, 2016 - now). He is a Senior Member
of IEEE.\nHe is a recipient of 2023 IEEE CSS George S. Axelby Outstanding
Paper Award.\n\nHis research interests include stability theory\, nonline
ar systems theory\, distributed parameter systems\, hybrid systems\, and a
pplications of control theory to biological systems and distributed contro
l.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/42/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Vincent Andrieu (LAGEPP\, University of Lyon\, France)
DTSTART:20240515T150000Z
DTEND:20240515T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/43
DESCRIPTION:Title: Adding an integral action to controlled PDE subject to input nonlinear
ities\nby Vincent Andrieu (LAGEPP\, University of Lyon\, France) as pa
rt of Input-to-State Stability and its Applications\n\n\nAbstract\nTo enha
nce the performance of a control law\, it is often recommended to incorpor
ate an integral action. \nDrawing inspiration from Seppo Pohjolainen's ini
tial work\, we demonstrate how it is possible to design such control laws
within the context of partial differential equations employing an ISS-Lyap
unov approach. \nAdditionally\, we investigate scenarios where the control
is affected by nonlinearity\, such as saturation.\n\nBiography: \n
Vincent Andrieu\, a Senior Researcher at CNRS\, earned his degree in appli
ed mathematics from INSA de Rouen\, France\, in 2001. Following his tenure
at ONERA (French aerospace research company)\, he completed his Ph.D. at
Ecole des Mines de Paris in 2005. In 2006\, he conducted research at the C
ontrol and Power Group\, Dept. EEE\, Imperial College London. Joining the
CNRS-LAAS lab in Toulouse in 2008 as a CNRS-charge de recherche\, he trans
itioned to LAGEPP-CNRS\, Université Claude Bernard Lyon 1\, France\, in 2
010. During a sabbatical from 2014 to 2016\, he collaborated with the func
tional analysis group at Bergische Universitat Wuppertal in Germany. Vince
nt's primary research focuses on the feedback stabilization of controlled
dynamical nonlinear systems and state estimation problems. He also explore
s practical applications in aeronautics and chemical engineering. Since 20
18\, he serves as an associate editor for the IEEE Transactions on Automat
ic Control and holds the position of senior editor for System & Control Le
tters.\n\nReferences: \n\n- A. Terrand-Jeanne\, V. Andrieu\, V. Dos
Santos Martins\, C.-Z. Xu\, Adding integral action for open-loop exponent
ially stable semigroups and application to boundary control of PDE systems
\, IEEE Transactions on Automatic Control\, Vol. 65\, Issue: 11\, Nov. 202
0. \nhttps://hal.archives-ouvertes.fr/hal-01971584/document\n\n- D. Astolf
i\, S. Marx\, V Andrieu\, C. Prieur\, Global exponential set-point regulat
ion for linear operator semigroups with input saturation 2022 IEEE 61st Co
nference on Decision and Control (CDC)\, 2022\nhttps://hal.science/hal-040
05700/document\n\n- L. Ma\, V. Andrieu\, D. Astolfi\, M. Bajodek\, C.-Z. X
u and X. Lou\, Integral action feedback design for conservative abstract s
ystems in the presence of input nonlinearities\, under review - IEEE Trans
actions on Automatic Control.\nhttps://hal.science/hal-04577332\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/43/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pauline Bernard (Mines Paris\, France)
DTSTART:20240522T150000Z
DTEND:20240522T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/44
DESCRIPTION:Title: ISS-like properties in observer design with non-invertible change of c
oordinates\nby Pauline Bernard (Mines Paris\, France) as part of Input
-to-State Stability and its Applications\n\n\nAbstract\nBy reviewing the f
ield of observer design for nonlinear continuous-time systems\, we show th
at most designs rely on a (left-invertible) change of coordinates that bri
ngs the system dynamics into a normal form of potentially larger dimension
\, where an observer can be written. The goal of the seminar is to discuss
in what sense ISS properties of the observer can be recovered in the syst
em coordinates\, depending on the properties of the left-inverse of the tr
ansformation.\nIn particular\, the KKL paradigm consists in transforming t
he system dynamics into a linear filter of the output\, which presents all
the nice ISS properties. The state of the original system is obtained by
implementing this filter from any initial condition and left-inverting the
transformation\, if the system is backward-distinguishable. But we show t
hat this theory is still relevant when the latter assumption does not hold
\, namely when distinct solutions may generate the same output\, and thus
be indistinguishable: the system state is then reconstructed modulo its in
distinguishable class. More precisely\, the KKL transformation is no longe
r injective and its “left-inverse” is allowed to be set-valued\, yield
ing a set-valued KKL observer. We show that ISS-like properties can still
be ensured\, but in the Hausdorff sense\, with the observer converging in
a robust way to the backward-indistinguishable set of the system solution.
We show that this paradigm also applies to hybrid systems with unknown ju
mp times\, where the states before and after the jumps are typically indis
tinguishable: ISS-like properties are then ensured\, but in terms of a dis
tance to an appropriate set\, quantifying that the state and the estimates
are either close or one jump ahead/late from each other.\n\nBiography:
\nPauline Bernard graduated in Applied Mathematics from Mines Paris i
n 2014 (formerly MINES ParisTech). She joined the Centre Automatique et Sy
stèmes (CAS) of Mines Paris and obtained her Ph.D. in Mathematics and Con
trol from Université PSL in 2017. For her work on observer design for non
linear systems\, she obtained the European Ph.D. award on Control for Comp
lex and Heterogeneous Systems 2018. As a post-doctoral scholar\, she visit
ed the Hybrid Systems Lab at the University California Santa Cruz\, USA\,
and the Center for Research on Complex Automated Systems at the Universit
y of Bologna\, Italy. Since 2019\, she is associate professor at the Centr
e Automatique et Systèmes of Mines Paris - PSL\, France. Her research int
erests cover the observation and output regulation of nonlinear and hybrid
systems.\n\nReferences: \n\n- P. Bernard\, M. Maghenem\, Reconstru
cting indistinguishable solutions via a set-valued KKL observer\, Automati
ca\, Vol 166\, 2024\n\n- V. Alleaume\, P. Bernard\, KKL observer design fo
r non observable systems\, IFAC Symposium on Nonlinear Control Systems\, 2
023\n\n- P. Bernard\, V. Andrieu\, D. Astolfi\, Observer design for contin
uous-time systems\, Annual Reviews in Control\, 2022\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/44/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tengfei Liu (Northeastern University\, China)
DTSTART:20240529T150000Z
DTEND:20240529T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/45
DESCRIPTION:Title: Singular Perturbation: When the Perturbation Parameter Becomes a State
-Dependent Function\nby Tengfei Liu (Northeastern University\, China)
as part of Input-to-State Stability and its Applications\n\n\nAbstract\nTh
is paper introduces a new class of singularly perturbed systems in which t
he small\, but constant\, perturbation coefficient in standard singular pe
rturbation theory is replaced by a state-dependent function. This generali
zation is aimed at broadening the applicability of singular perturbation t
heory in practice. For this class of singularly perturbed systems\, it is
assumed that the boundary-layer subsystem is globally asymptotically stabl
e (GAS) at the origin and the reduced subsystem is input-to-state stable (
ISS) with respect to the state of the boundary-layer subsystem. Under a mi
ld monotonicity condition\, sufficient conditions on the perturbation func
tions are given under which the singularly perturbed system is GAS at the
origin. ISS and nonlinear small-gain techniques are exploited in the stabi
lity analysis. The efficacy of the proposed theoretical result is validate
d via its applications to tackling integral control and feedback optimizat
ion problems.\n\nBiography: Tengfei Liu received the B.E. degree in
automation\, in 2005\, the M.E. degree in control theory and control engi
neering\, in 2007\, both from South China University of Technology\, and t
he Ph.D. degree in engineering from RSISE\, the Australian National Univer
sity\, Canberra\, in 2011. From 2011 to 2013\, he was a Postdoc with facul
ty fellowship at Polytechnic Institute of New York University. Since 2014\
, he has been associated with the State Key Laboratory of Synthetical Auto
mation for Process Industries at Northeastern University\, China\, where h
e holds the position of full professor. His research interests include sta
bility and control of interconnected nonlinear systems. He has served as A
ssociate Editor for IEEE Transactions on Automatic Control\, Systems and C
ontrol Letters\, and Science China: Information Sciences. Dr. Liu is a sen
ior member of IEEE.\n\nReferences:\n\n- T. Liu\, Z.P. Jiang\, Singu
lar Perturbation: When the Perturbation Parameter Becomes a State-Dependen
t Function\, 12th IFAC Symposium on Nonlinear Control Systems\, 2023.\n\n-
T. Liu\, Z.P. Jiang\, Singular Perturbation: When the Perturbation Parame
ter Becomes a State-Dependent Function\, arXiv:2406.00753 [math.OC]\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/45/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Antoine Girard (L2S Paris-Saclay\, France)
DTSTART:20240612T150000Z
DTEND:20240612T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/46
DESCRIPTION:Title: Towards gain-optimal ISS controllers for finite state systems\nby
Antoine Girard (L2S Paris-Saclay\, France) as part of Input-to-State Stabi
lity and its Applications\n\n\nAbstract\nInspired by the notion of Input-t
o-State Stability (ISS)\, we introduce in this talk an optimal control pro
blem for finite state dynamical systems [1]. We introduce a notion of ISS
for such systems and aim at synthesizing controllers with minimal ISS-gain
\, for a given order on gain functions (e.g. for the lexicographic order).
We then present an algorithm based on the synthesis framework of [2] for
computing ISS controllers. Optimality conditions for the synthesized contr
ollers\, that can be checked a posteriori\, are provided. We then discuss
how the results presented in this paper can used for controlling nonlinear
continuous dynamical systems using finite state abstractions.\n\nRefer
ences: \n\n[1] Apaza-Perez\, W. A.\, & Girard\, A. (2024). Synthesis o
f Input-to-State Attractivity Controllers for Transition Systems with Dist
urbances. IEEE Transactions on Automatic Control. https://doi.org/10.1109/
TAC.2024.3385068.\n\n[2] Girard\, A.\, & Eqtami\, A. (2021). Least-violati
ng symbolic controller synthesis for safety\, reachability and attractivit
y specifications. Automatica\, 127\, 109543. https://doi.org/10.1016/j.aut
omatica.2021.109543.\n\nBiography: \nAntoine Girard is a Senior Res
earcher at CNRS and a member of the Laboratory of Signals and Systems. He
received the Ph.D. degree from Grenoble Institute of Technology\, in 2004.
From 2004 to 2006\, he held postdoctoral positions at University of Penns
ylvania and Université Grenoble-Alpes. From 2006 to 2015\, he was an Assi
stant/Associate Professor at the Université Grenoble-Alpes. His main rese
arch interests deal with analysis and control of hybrid systems with an em
phasis on computational approaches\, formal methods and applications to cy
ber-physical and autonomous systems. Antoine Girard is an IEEE Fellow. In
2015\, he was appointed as a junior member of the Institut Universitaire d
e France (IUF). In 2016\, he was awarded an ERC Consolidator Grant. He rec
eived the George S. Axelby Outstanding Paper Award from the IEEE Control S
ystems Society in 2009\, the CNRS Bronze Medal in 2014\, and the European
Control Award in 2018.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/46/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrea Bisoffi (Politecnico di Milano\, Italy)
DTSTART:20240703T150000Z
DTEND:20240703T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/47
DESCRIPTION:Title: Data-driven input-to-state stabilization\nby Andrea Bisoffi (Polit
ecnico di Milano\, Italy) as part of Input-to-State Stability and its Appl
ications\n\n\nAbstract\nDesigning control laws that make a generic nonline
ar system input-to-state stable with respect to exogenous inputs remains n
ontrivial even when a model of the nonlinear system is available. This bec
omes even less trivial if one does not have a model of the nonlinear syste
m but relies only on noisy data from such a system\, where the noise leads
to a set of possible models among which the actual system is not distingu
ishable. We have noted in previous works that input-affine nonlinear syste
ms with polynomial dynamics lend themselves to the design of a control law
to achieve asymptotic stabilization or robust invariance thanks to sum-of
-squares programs. In this talk\, we ask the question whether for this cla
ss of nonlinear systems it is possible to design a control law to achieve
input-to-state stabilization of the closed-loop system and we provide a po
sitive answer.\n\nBiography: \nAndrea Bisoffi is an assistant profe
ssor at Politecnico di Milano. He received the M.Sc. degree in Automatic C
ontrol Engineering from Politecnico di Milano and the Ph.D. degree in Mech
atronics from University of Trento. He was a post-doctoral researcher at K
TH Royal Institute of Technology\, Sweden\, and a researcher at University
of Groningen\, The Netherlands. His research interests include hybrid and
nonlinear control systems\, with applications to mechatronic systems\, an
d data-driven control.\n\nReferences:\n\n- Hailong Chen\, Andrea Bi
soffi\, Claudio De Persis. "Data-Driven Input-to-State Stabilization with
Respect to Measurement Errors"\, 2023.\nAvailable at https://doi.org/10.11
09/CDC49753.2023.10383880 and https://arxiv.org/abs/2309.09050\n\n- Hailon
g Chen\, Andrea Bisoffi\, Claudio De Persis. "Data-driven input-to-state s
tabilization"\, 2024.\nAvailable at https://arxiv.org/abs/2407.06044\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/47/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michael Malisoff (Louisiana State University\, USA)
DTSTART:20240605T150000Z
DTEND:20240605T160000Z
DTSTAMP:20260315T022212Z
UID:ISS-Theory/48
DESCRIPTION:Title: Event-Triggered Control Using Interval Observers\nby Michael Malis
off (Louisiana State University\, USA) as part of Input-to-State Stability
and its Applications\n\n\nAbstract\nEvent-triggered control provides the
foundation for significant current research\, owing to the ability of\neve
nt-triggered control methods to take communication or other constraints in
to account by only changing values of feedback controls when a significant
enough event calls for changing the control values. This calls for findin
g formulas for feedback controls and for studying criteria to use to decid
e when to change the control values. This talk summarizes the speaker's re
cent research on event-triggered control theory and applications in marine
robotics\, which is collaborative with Corina Barbalata\, Zhong-Ping Jian
g\, and Frederic Mazenc. The talk will be understandable to those familiar
with the basic theory of ordinary differential equations. No prerequisite
background in systems and control will be needed to understand and apprec
iate this talk.\n\nBiography:\nMichael Malisoff is the Roy Paul Dan
iels Professor #3 in the LSU College of Science. He earned his PhD in Math
ematics in 2000 from Rutgers University\, and joined the LSU Department of
Mathematics faculty in 2001. His research is on systems and control\, wit
h an emphasis on engineering applications. His current research focuses on
event-triggered control and reference governors\, with applications to ae
rospace and marine robotic models and disease dynamics\, including delay s
ystems. He received two 3-year NSF Mathematical Sciences Priority Area gra
nts\, and 9 Best Presentation awards in American Control Conference sessio
ns. He has served as Associate Editor for Automatica and IEEE Transactions
on Automatic Control\, and is currently an associate editor of European
Journal of Control and of SIAM Journal on Control and Optimization.\n\n
References: \n\nAlyahia\, Safeyya\, Corina Barbalata\, Michael Malisof
f\, and Frédéric Mazenc. "Dynamic event-triggered control of linear cont
inuous-time systems using a positive systems approach." Nonlinear Analysis
: Hybrid Systems 54 (2024): 101508. DOI: https://doi.org/10.1016/j.nahs.20
24.101508\n\nMazenc\, Frederic\, Michael Malisoff\, and Corina Barbalata.
"Event-triggered control for continuous-time linear systems with a delay i
n the input." Systems & Control Letters 159 (2022): 105075. DOI: https://d
oi.org/10.1016/j.sysconle.2021.105075\n\nYao\, Ningshi\, Michael Malisoff\
, and Fumin Zhang. "Contention-resolving model predictive control for coup
led control systems with a shared resource." Automatica 122 (2020): 109219
. DOI: https://doi.org/10.1016/j.automatica.2020.109219\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/48/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Abolfazl Lavaei (Newcastle University\, UK)
DTSTART:20240710T150000Z
DTEND:20240710T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/49
DESCRIPTION:Title: Formal Learning and Control of Large-Scale Cyber-Physical Systems via
ISS Properties\nby Abolfazl Lavaei (Newcastle University\, UK) as part
of Input-to-State Stability and its Applications\n\n\nAbstract\nIn the pa
st few years\, large-scale stochastic cyber-physical systems (CPS) have re
ceived remarkable attentions as a beneficial modelling framework describin
g a wide range of real-life safety-critical systems including automotive\,
robotics\, transportation systems\, energy\, healthcare\, and critical in
frastructures. Formal verification and controller synthesis for this type
of complex systems to enforce high-level logic properties\, e.g.\, those e
xpressed as temporal logic formulae\, are inherently very challenging main
ly due to (i) large dimension of state/input sets\, (ii) stochastic nature
of dynamics\, (iii) tight interaction between physical and cyber componen
ts\, (iv) dealing with complex logic requirements\, and (v) lack of closed
-form mathematical models in many real-world applications. In this talk\,
I will discuss leveraging ISS properties to develop compositional (data-dr
iven) techniques that tackle the aforementioned difficulties and design hi
ghly reliable CPS by bringing together interdisciplinary concepts from for
mal methods in computer science\, control theory\, and data science.\n\nBiography: \nAbolfazl Lavaei is an Assistant Professor in the School
of Computing at Newcastle University\, United Kingdom. Between January 202
1 and July 2022\, he was a Postdoctoral Associate in the Institute for Dyn
amic Systems and Control at ETH Zurich\, working with Prof. Emilio Frazzol
i on “Trustworthy Safety-Critical AI for Autonomous Vehicles”. He was
also a Postdoctoral Researcher in the Department of Computer Science at LM
U Munich\, between November 2019 and January 2021. He received the Ph.D. d
egree in Electrical Engineering from the Technical University of Munich (T
UM)\, in 2019. His line of research mainly focuses on theoretical and prac
tical aspects of “Safe Verification\, Learning and Control of Large-Scal
e Stochastic Cyber-Physical Systems” with application to autonomous syst
ems. He is the recipient of several international awards in the acknowled
gment of his work including ADHS Best Repeatability Prize 2021\, HSCC Best
Demo/Poster Awards 2020 and 2022\, IFAC Young Author Award Finalist 2019\
, and Best Graduate Student Award 2014 at University of Tehran.\n\nRefe
rences:\n\n[1] A. Lavaei and E. Frazzoli\, “Scalable Synthesis of Sa
fety Barrier Certificates for Networks of Stochastic Switched Systems"\, I
EEE Transactions on Automatic Control\, 2024.\n\n[2] A. Lavaei and E. Fraz
zoli\, “A Compositional Dissipativity Approach for Data-Driven Safety Ve
rification of Large-Scale Dynamical Systems"\, IEEE Transactions on Automa
tic Control\, 2023.\n\n[3] A. Lavaei\, L. Di Lillo\, A. Censi\, and E. Fra
zzoli\, “Formal Estimation of Collision Risks for Autonomous Vehicles: A
Compositional Data-Driven Approach"\, IEEE Transactions on Control of Net
work Systems\, 2022.\n\n[4] A. Nejati\, A. Lavaei\, et al.\, “Formal Ver
ification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven
Approach"\, IEEE Transactions on Automatic Control\, 2023.\n\n[5] M. Anand
\, A. Lavaei\, and Majid Zamani\, "From Small-Gain Theory to Compositional
Construction of Barrier Certificates for Large-Scale Stochastic Systems"\
, IEEE Transactions on Automatic Control\, 2022.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/49/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jean Auriol (L2S Paris-Saclay\, France)
DTSTART:20240717T150000Z
DTEND:20240717T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/50
DESCRIPTION:Title: Stabilization of systems of coupled hyperbolic PDEs and characterizati
on of their ISS properties using Lyapunov functions\nby Jean Auriol (L
2S Paris-Saclay\, France) as part of Input-to-State Stability and its Appl
ications\n\n\nAbstract\nIn this talk\, we focus on the exponential stabili
zation of systems of coupled hyperbolic PDEs and the characterization of t
heir ISS properties using Lyapunov functions. \nStarting from the tutorial
example of two coupled scalar equations\, we first show how the backstepp
ing approach can be used to simplify the structure of the system to design
robust stabilizing controllers. We then characterize the closed-loop stab
ility using an appropriate ISS Lyapunov function corresponding to the clas
sical L2-norm of the system with exponential gains. We finally show how su
ch a function can help design advanced control strategies such as event-tr
iggered or gain-scheduling controllers. \n\nAlthough the backstepping appr
oach can still be used to design stabilizing controllers for systems of hi
gher dimensions\, it may only sometimes be possible to explicitly obtain t
he corresponding ISS Lyapunov function\, as most contributions in the lite
rature require dissipative boundary conditions. To overcome this limitatio
n\, we use the method of characteristics to rewrite the hyperbolic system
as Integral Delay Equations (IDEs)\, a class of difference equations with
pointwise and distributed delayed terms. Grounding on recent works on nece
ssary conditions for the exponential stability of such systems\, we propos
e a quadratic Lyapunov functional involving the derivative of the so-calle
d delay Lyapunov matrix. We then prove that the ISS of the system is equiv
alent to the existence of an ISS Lyapunov functional that we can explicitl
y design.\n\nBiography: \nJean Auriol is a Researcher (Chargé de
Recherches) at CNRS\, Université Paris-Saclay\, Centrale Supelec\, Labor
atoire des Signaux et Systèmes (L2S)\, Gif-sur-Yvette\, France. He receiv
ed his Ph.D degree from Ecole des Mines Paris\, PSL Research University in
2018\, and obtained his Habilitation à Diriger des Recherches from Unive
rsité Paris-Saclay in 2024. His research interests include robust control
of hyperbolic systems\, neutral systems\, under-actuated networks and int
erconnected systems. Past and current applications of interest include Oil
& Gas and geothermal drilling\, and the analysis of neural fields.\n\n
References: \n\nAuriol\, J.\, & Bresch-Pietri\, D. (2023). On input-to
-state stability of linear difference equations and its characterization w
ith a Lyapunov functional. IFAC-PapersOnLine\, 56(2)\, 929-934.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/50/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Eduardo Sontag & Leilei Cui (Northeastern University (Boston) & Ma
ssachusetts Institute of Technology\, US)
DTSTART:20250402T150000Z
DTEND:20250402T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/52
DESCRIPTION:Title: ISS properties of gradient systems\nby Eduardo Sontag & Leilei Cui
(Northeastern University (Boston) & Massachusetts Institute of Technology
\, US) as part of Input-to-State Stability and its Applications\n\n\nAbstr
act\nSolutions of optimization problems\, including policy optimization in
reinforcement learning\, typically rely upon some variant of gradient des
cent. There has been much recent work in the machine learning\, control\,
and optimization communities applying the Polyak-Łojasiewicz Inequality (
PŁI) to such problems in order to establish an exponential rate of conver
gence (a.k.a. “linear convergence” in the local-iteration language of
numerical analysis) of loss functions to their minima under the gradient
flow. Often\, as is the case of policy iteration for the continuous-time L
QR problem\, this rate vanishes for large initial conditions\, resulting i
n a mixed globally linear / locally exponential behavior. This is in sharp
contrast with the discrete-time LQR problem\, where there is global expon
ential convergence. That gap between CT and DT behaviors motivates the sea
rch for various generalized PŁI-like conditions\, and this talk will addr
ess that topic. Moreover\, these generalizations are key to understanding
the transient and asymptotic effects of errors in the estimation of the gr
adient\, errors which might arise from adversarial attacks\, wrong evaluat
ion by an oracle\, early stopping of a simulation\, inaccurate and very ap
proximate digital twins\, stochastic computations (algorithm "reproducibil
ity")\, or learning by sampling from limited data. We will describe an “
input to state stability” (ISS) analysis of this issue. We will also bri
efly discuss variations such as Newton-like and natural gradient flows. (
Joint work of the authors with A.C.B. de Oliveira and Z.P. Jiang).\n\n
Biographies:\nLeilei Cui received the M.Sc. degree in control science
and engineering from Shanghai Jiao Tong University\, Shanghai\, China\, in
2019\, and the Ph.D. degree in electrical engineering from New York Unive
rsity\, Brooklyn\, NY\, USA\, in 2024. He is now a postdoctoral associate
at the Massachusetts Institute of Technology\, Cambridge\, MA\, USA. His r
esearch interests include optimization\, optimal control\, reinforcement l
earning\, and adaptive dynamic programming. \n\nEduardo D. Sontag received
his Licenciado in Mathematics at the University of Buenos Aires (1972) an
d a Ph.D. in Mathematics (1977) under Rudolf E. Kalman at the University o
f Florida. From 1977 to 2017\, he was at Rutgers University\, where he was
a Distinguished Professor of Mathematics and a Member of the Graduate Fac
ulty of the Departments of Computer Science and of Electrical and Computer
Engineering and the Cancer Institute of NJ. He directed the undergraduate
Biomathematics Interdisciplinary Major and the Center for Quantitative Bi
ology\, and was Graduate Director at the Institute for Quantitative Biomed
icine. In January 2018\, Dr. Sontag became a University Distinguished Prof
essor in the Departments of Electrical and Computer Engineering and of Bio
Engineering at Northeastern University\, where he is also affiliated with
the Mathematics and the Chemical Engineering departments. Since 2006\, he
has been a Research Affiliate at the Laboratory for Information and Decisi
on Systems\, MIT\, and since 2018 he has been a Faculty Member in the Prog
ram in Therapeutic Science at Harvard Medical School.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/52/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Daniele Astolfi (LAGEPP\, University of Lyon 1\, France)
DTSTART:20250319T160000Z
DTEND:20250319T170000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/54
DESCRIPTION:Title: Incremental stability and ISS: analysis and design\nby Daniele Ast
olfi (LAGEPP\, University of Lyon 1\, France) as part of Input-to-State St
ability and its Applications\n\n\nAbstract\nWe revisit the notion of incre
mental stability and ISS for nonlinear systems. First\, we show that incre
mental stability properties are exponential almost everywhere. Next\, we b
riefly revise existing results\, including contraction metric approaches\,
Lyapunov functions and Finsler-Lyapunov function approaches.\nBased on a
contraction metric approach\, we show how to construct feedback Laypunov f
unctions ensuring incremental ISS properties for the closed-loop dynamics.
Finally\, we show two applications of incremental properties: regulation
and synchronization.\n\nBiography:\nDaniele Astolfi received the B.
S. and M.S. degrees in automation engineering from the University of Bolog
na\, Italy\, in 2009 and 2012\, respectively. He obtained a joint Ph.D. de
gree in Control Theory from the University of Bologna (Italy) and from Min
es ParisTech (France)\, in 2016. Afterwards he spent two years at CRAN\, N
ancy (France) as a postdoc researcher. Since 2018\, he is a CNRS Researche
r at LAGEPP\, Lyon\, France. He was a recipient of the 2016 Best Italian P
h.D. Thesis Award given by SIDRA and nominated for the best student paper
award at ECC16 and best paper award at NOLCOS2019. He serves as Associate
Editor for Automatica since 2018 and for EJC since 2023. His researches fo
cus on nonlinear systems\, observer's design\, output regulation\, and con
trol of complex systems described by PDEs\, hybrid dynamics.\n\nReferen
ces:\n
\nIncremental Stability and ISS\n
\n- Angeli (2002). A Ly
apunov approach to incremental stability properties. IEEE TAC.
\n- Forn
i\, Sepulchre (2013). A differential Lyapunov framework for contraction an
alysis. IEEE TAC.
\n- Andrieu\, Jayawardhana\, Praly (2016). Trans
verse exponential stability and applications. IEEE TAC.
\n- Lohmiller\,
Slotine\, (1998). On contraction analysis for non-linear systems. Aut
omatica.
\n- Simpson-Porco\, Bullo (2014). Contraction theory on Riema
nnian manifolds. S&CL.
\n- Kawano\, Besselink (2024). Incremental ve
rsus differential approaches to exponential stability and passivity. IEEE
TAC.
\n- Davydov\, Jafarpour\, Bullo (2022). Non-Euclidean contracti
on theory for robust nonlinear stability. IEEE TAC.
\n- Sontag (2010).
Contractive systems with inputs. MSTCSP.
\n- Giaccagli\, Astolfi\, And
rieu (2023). Further results on incremental input-to-state stability based
on contraction-metric analysis. IEEE CDC.\n\nControl Contraction Metrics\
n
\n- Manchester\, Slotine (2017). Control contraction metrics: Convex
and intrinsic criteria for nonlinear feedback design. IEEE TAC.
\n- Gi
accagli\, Andrieu\, Tarbouriech\, Astolfi (2023). LMI conditions for contr
action\, integral action\, and output feedback stabilization for a class o
f nonlinear systems. Automatica.
\n- Kawano\, Van Der Schaft\, Scherp
en (2024). Youla-Kucera parametrization in the contraction framework. IEEE
TAC.
\n- Astolfi\, Andrieu (2024). Contracting infinite-gain margin f
eedback and synchronization of nonlinear systems. In Hybrid and Networked
Dynamical Systems: Modeling\, Analysis and Control.
\n- Giaccagli\, Z
oboli\, Astolfi\, Andrieu\, Casadei (2024). Synchronization in netwo
rks of nonlinear systems: Contraction analysis via Riemannian metrics and
deep-learning for feedback estimation. IEEE.
\n\nIncremental Backsteppi
ng and Forwarding\n
\n- Andrieu\, Jayawardhana\, Tarbouriech (2018). So
me results on exponential synchronization of nonlinear systems. IEEE TAC.<
br>\n- Zamani\, van de Wouw\, Majumdar (2013). Backstepping controller
synthesis and characterizations of incremental stability. S\\&CL.
\n- G
iaccagli\, Astolfi\, Andrieu\, Marconi (2022). Sufficient conditions f
or global integral action via incremental forwarding for input-affine nonl
inear systems. IEEE TAC.
\n- Giaccagli\, Astolfi\, Andrieu\, Marconi (
2024). Incremental stabilization of cascade nonlinear systems and harmonic
regulation: a forwarding-based design. IEEE TAC.\n\nSynchronization\n
\n- Scardovi\, Sepulchre (2009). Synchronization in networks of identical
linear systems. Automatica.\n- Jayawardhana\, Tarbouriech (2018). Some res
ults on exponential synchronization of nonlinear systems. IEEE TAC.
\n-
Astolfi\, Andrieu (2024). Contracting infinite-gain margin feedback and
synchronization of nonlinear systems. In Hybrid and Networked Dynamical Sy
stems: Modeling\, Analysis and Control.
\n- Giaccagli\, Zoboli\, Ast
olfi\, Andrieu\, Casadei (2024). Synchronization in networks of nonlin
ear systems: contraction analysis via Riemannian metrics and deep-learning
for feedback estimation. IEEE TAC.
\n- Cellier-Deveux\, Astolfi\, Andr
ieu (2025). Edges’ Riemannian energy analysis for synchronization of mul
ti-agent nonlinear systems over undirected weighted graphs. Automatica 202
5.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/54/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sergey Dashkovskiy (University of Würzburg\, Germany)
DTSTART:20250514T150000Z
DTEND:20250514T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/55
DESCRIPTION:Title: Small-gain theorem for two linear interconnected systems. Is there any
thing new?\nby Sergey Dashkovskiy (University of Würzburg\, Germany)
as part of Input-to-State Stability and its Applications\n\n\nAbstract\nCo
nsider two linear asymptotically stable systems. The classical small-gain
theorem says that their interconnection is stable\, if the interaction bet
ween them is weak in some sense.\n\nIf the interaction intensity changes w
ith time\, then extensions of the classical small-gain theorem (also for n
onlinear systems) provide sufficient stability conditions.\n\nBy means of
examples we demonstrate that existing results are conservative or even use
less in certain practical situations.\n\nIn collaboration with Ivan Atamas
and Vitalii Slynko we have developed a new small-gain theorem based on a
new notion of gains and on a new construction of a Lyapunov function for t
he interconnection.\n\nWe present these results and demonstrate that our n
ew small-gain condition is less conservative than existing results.\n\n
Biography:\nSergey Dashkovskiy received the M.Sc. degree in applied ma
thematics in 1996 from the Lomonossov University of Moscow and Ph.D. degre
e in Mathematics in 2002 from the University of Jena. He has got his habil
itation (venia legendi) in Mathematics in 2009 from the university Bremen.
He held positions at the Arizona State University\, the University of Bay
reuth and the University of Applied Scienses Erfurt. Since 2016 he is prof
essor and head of the research group Dynamics and Control at the Institute
for Mathematics\, University of Würzburg. His research interests are in
stability theory of dynamical systems and networks. He is editorial board
member of several journals related to this research area\, in particular\,
of IEEE Transactions on Automatic Control and Nonlinear Analysis: Hybrid
Systems.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/55/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sahiba Arora (University of Hannover\, Germany)
DTSTART:20250507T150000Z
DTEND:20250507T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/56
DESCRIPTION:Title: Integral ISS for linear infinite-dimensional systems\nby Sahiba Ar
ora (University of Hannover\, Germany) as part of Input-to-State Stability
and its Applications\n\n\nAbstract\nThis talk explores integral-to-integr
al input-to-state stability (ISS) for infinite-dimensional linear systems
in $L^p$-spaces. We investigate the interplay between integral ISS\, admis
sibility\, and maximal regularity of Cauchy problems. Additionally\, we de
monstrate the application of Lyapunov functions in analysing ISS in integr
al norms\, highlighting their utility in assessing system stability.\n\nBibliography:\nSahiba Arora is a postdoctoral researcher at Leibniz\n
University Hannover. She earned her PhD at TU Dresden under Ralph\nChill's
supervision. Previously\, she held a postdoctoral position at the\nUniver
sity of Twente\, working with Felix Schwenninger and supported by\nthe DFG
's Walter Benjamin program. Her research interests include\noperator semig
roups\, ordered Banach spaces\, infinite-dimensional systems\ntheory\, and
operator theory.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/56/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Christoph Kawan (InMach Intelligente Maschinen GmbH\, Ulm\, German
y)
DTSTART:20250528T150000Z
DTEND:20250528T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/57
DESCRIPTION:Title: The Small-Gain Condition for Infinite Networks\nby Christoph Kawan
(InMach Intelligente Maschinen GmbH\, Ulm\, Germany) as part of Input-to-
State Stability and its Applications\n\n\nAbstract\nIn recent years\, atte
mpts have been made to extend ISS small-gain theorems from finite networks
to countably infinite\, locally finite networks. Under specific assumptio
ns about the subsystems and the ISS formulation\, corresponding infinite-d
imensional small-gain results have been proven. However\, concerning these
assumptions\, the results are still too narrow to be considered a full ex
tension of the state-of-the-art for finite networks. We take a step to clo
sing this gap by a thorough investigation of various monotone operators as
sociated with an infinite network and a specific ISS formulation. Our resu
lts shed more light on the theory of finite networks\, yield complete char
acterizations of the small-gain condition for specific ISS formulations an
d show which obstacles have to be overcome to obtain a complete theory for
the most general case.\n\nBiography: \nChristoph Kawan received th
e Diploma and Ph.D. degree in mathematics from the University of Augsburg\
, Germany.\nAs a post-doctoral researcher specialized in dynamical systems
and control theory\, he worked at the Courant Institute of Mathematical S
ciences of NYU (New York)\, the University of Passau and at LMU Munich. He
is the author of the book "Invariance Entropy for Deterministic Control S
ystems - An Introduction" (Lecture Notes in Mathematics 2089. Springer\, 2
013) and winner of the IEEE CSS George S. Axelby Outstanding Paper Award i
n 2023. Since January 2022\, he works at InMach Intelligent Machines GmbH
in Ulm\, Germany\, where he gained additional expertise in sensor systems\
, image processing\, path planning\, mathematical modeling of vehicle dyna
mics and controller design for service robots and utility vehicles.\n\n
References:
\n- C. Kawan. The Small-Gain Condition for Infinite Ne
tworks. arXiv preprint arXiv:2503.03925 (2025).
\n- C. Kawan\, M. Zaman
i. A Lyapunov-based small-gain theory for infinite\nnetworks via infinite-
dimensional gain operators. SIAM Journal on Control\nand Optimization 61\,
no. 3\, 1778–1804\, 2023.
\n- C. Kawan\, A. Mironchenko\, M. Zamani.
A Lyapunov-based ISS small-gain theorem for infinite networks of nonlinea
r systems. IEEE Transactions on Automatic Control 68\, no. 3\, 1447–1462
\, 2023.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/57/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Frédéric Mazenc (L2S CentraleSupélec\, France)
DTSTART:20250430T150000Z
DTEND:20250430T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/58
DESCRIPTION:Title: A stability analysis technique called trajectory-based approach.\n
by Frédéric Mazenc (L2S CentraleSupélec\, France) as part of Input-to-S
tate Stability and its Applications\n\n\nAbstract\nWe present a recent sta
bility analysis technique for broad families of nonlinear dynamical system
s. It is called ‘trajectory based approach’ and\, in contrast with Lya
punov based approaches\, it involves verifying certain inequalities along
solutions of systems. It is especially useful when systems with delays and
discontinuities are studied. We show how the technique can be used to pro
ve results under the condition that a time-varying inequality of Halanay
’s type is satisfied. We show that the technique applies to a wide range
of systems\, notably time-varying systems with time-varying delay\, syste
ms with impulses\, and systems resulting from the design of finite-time ob
servers. We also explain how the technique yields ISS estimates when input
s are present.\n\nBiography: \nFrédéric Mazenc received his Ph.D.
in Automatic Control and Mathematics from the CAS at Ecole des Mines\nde
Paris in 1996. He was a Postdoctoral Fellow at CESAME at the University of
Louvain in 1997. From\n1998 to 1999\, he was a Postdoctoral Fellow at the
Centre for Process Systems Engineering at Imperial\nCollege. He was a CR
at INRIA Lorraine from October 1999 to January 2004. From 2004 to 2009\, h
e was a\nCR1 at INRIA Sophia-Antipolis. Since 2010\, he has been a CR1 and
next a DR2 at INRIA Saclay. He received a\nbest paper award from the IEEE
Transactions on Control Systems Technology at the 2006 IEEE Conference\no
n Decision and Control. His current research interests include nonlinear c
ontrol theory\, differential equations\nwith delay\, robust control\, and
microbial ecology. He has more than 300 peer\nreviewed publications. Toget
her with Michael Malisoff\, he authored a research\nmonograph entitled Con
structions of Strict Lyapunov Functions in the Springer\nCommunications an
d Control Engineering Series.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/58/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marcello Farina (Politecnico di Milano\, Italy)
DTSTART:20250416T150000Z
DTEND:20250416T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/59
DESCRIPTION:Title: Stability analysis of neural network (NN) based control systems via Li
near Matrix Inequalities with application to data-driven design of NN cont
rollers with closed-loop guarantees\nby Marcello Farina (Politecnico d
i Milano\, Italy) as part of Input-to-State Stability and its Applications
\n\n\nAbstract\nEstablishing sound stability conditions for NN-based contr
ol systems is fundamental for their secure and proper operation. Theoretic
al properties\, such as the incremental input-to-state stability\, can be
actually exploited to guarantee the properties of NNs and for the design o
f stabilizing closed-loop control systems. The seminar provides a unifying
framework\, based on matrix inequality tools\, for the analysis of the st
ability properties of NNs and for the (possibly data-based) design of cont
rol systems which include NNs as the plant under control and/or the contro
ller.\nIndeed\, incremental input-to-state stability can be enforced (e.g.
\, during the NN training or controller design processes)\, through simple
linear matrix inequalities (LMIs) for a rather general class of NNs. Thes
e conditions are exploited for control design\, guaranteeing the robust st
ability and desired performances of the control system in a data-based fas
hion. To do so\, we resort to set-membership identification techniques and
to the virtual reference feedback tuning approach.\n\nBiography:\n
Marcello Farina is Associate Professor at Politecnico di Milano since Dece
mber 2014.\nHe received the Master degree in Electronic Engineering in 200
3 from the Politecnico di Milano. During hi PhD studies\, he has worked at
the Italian metrological primary Institute Istituto Nazionale Ricerche in
Metrologia and he has been visiting scholar at the Institute for Systems
Theory and Automatic Control (IST)\, University of Stuttgart\, Germany\, u
nder the supervision of Prof. Frank Allgoewer. He obtained the Ph.D. in In
formation Engineering in 2007.\n\nHis research interests include both meth
odological and applicative issues.\nFrom the theoretical side\, he has con
tributed in the fields of Model Predictive Control\, distributed control d
esign and distributed state estimation\, and more recently to the analysis
and design of control systems based on recurrent neural networks.\nFrom t
he application side\, he is currently leading projects on the development
of mobile and assistive robotic technologies. For instance\, he is Princip
al Investigator of the project BUDD-e: Blind assistive aUtonomous Droid De
vice and of Local Principal Investigator the project Control of Assistive
Robots in crowded Environments (CARE).\n\nReferences:\n\n- W. D'Ami
co\, A. La Bella\, and M. Farina. An Incremental Input-to-State Stability
Condition for a Class of Recurrent Neural Networks. IEEE Transactions on A
utomatic Control. Vol. 69\, Issue 4\, 2024.
\n- W. D'Amico\, A. La Bell
a\, F. Dercole\, and M. Farina. Data-based control design for nonlinear sy
stems with recurrent neural network-based controllers. IFAC-PapersOnLine\,
Vol. 56\, Issue 2\, 2023.
\n- A. La Bella\, W. D'Amico\; M. Farina. Da
ta-driven control of echo state-based recurrent neural networks with robus
t stability guarantees. Systems & Control Letters. Volume 195\, paper n. 1
05974\, 2025.
\n- D. Ravasio\, M. Farina\, A. Ballarino. LMI-Based Desi
gn of a Robust Model Predictive Controller for a Class of Recurrent Neural
Networks With Guaranteed Properties. IEEE Control Systems Letters\, vol.
8\, pp. 1126-1131\, 2024.
\n- A. La Bella\, M. Farina\, W. D'Amico\, L.
Zaccarian. Regional stability conditions for recurrent neural network-bas
ed control systems. Automatica. Volume 174\, paper n. 112127\, 2025.
\n
- D. Ravasio\, M. Farina\, A. La Bella\, A. Ballarino Recurrent neural net
work-based robust control systems with closed-loop regional incremental IS
S and application to MPC design. Submitted at IEEE Transactions on Automat
ic Control.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/59/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Torbjørn Cunis (University of Stuttgart\, Germany)
DTSTART:20250521T150000Z
DTEND:20250521T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/60
DESCRIPTION:Title: Characterizations of Input-to-State Stability in Nonlinear Optimizatio
n Algorithms\nby Torbjørn Cunis (University of Stuttgart\, Germany) a
s part of Input-to-State Stability and its Applications\n\n\nAbstract\nNon
linear optimization has become increasingly involved in the guidance and c
ontrol of dynamic systems. Its applications include optimal path planning\
, collision avoidance\, model predictive control\, and extremum seeking. T
his has motivated the development of an algorithmic systems theory\, which
studies the stability and robustness of optimization algorithms as dynami
c systems. \nThis talk focuses on the relationship between input-to-state
stability of nonlinear optimization under perturbation and (strong) metric
regularity of the Karush—Kuhn—Tucker system of necessary conditions.
Rooted in variational analysis\, metric regularity is a notion of Lipschit
z stability for a primal-dual solution under perturbations. It has played
a prominent role in analyzing Newton-type methods for optimization\, inclu
ding sequential quadratic programming and augmented Lagrangian methods. In
my talk\, I characterize strong metric regularity by necessary and suffic
ient optimality conditions. Moreover\, I show that strong metric regularit
y implies\, but is stronger than\, small-input input-to-state stability of
a prototypical Newton method. These results show that metric regularity p
lays a significant role in the systems theory of nonlinear optimization al
gorithms.\n\nBiography:\nTorbjørn Cunis received his doctoral degr
ee in systems and control from ISAE-Supaéro\, University of Toulouse\, in
2019. Before that\, he studied computer science\, aerospace computer engi
neering\, and automation engineering at the University of Würzburg and RW
TH Aachen University.\nSince 2021\, he has been a lecturer (Akademischer R
at a.Z.) at the University of Stuttgart Institute of Flight Mechanics and
Controls and an adjunct researcher at the University of Michigan Aerospace
Department. He was a researcher at ONERA – The French Aerospace Lab (wi
th Laurent Burlion) from 2016 to 2019 and a research fellow at the Univers
ity of Michigan (with Ilya Kolmanovsky) from 2019 to 2021. His research fo
cuses on algorithmic systems and control theory\, in particular\, nonlinea
r optimization algorithms and verifiable nonlinear control systems.\nDr. C
unis is a fellow of the Young ZiF at the Centre for Interdisciplinary Rese
arch at the University of Bielefeld.\n\nReferences:
\n[1] T. Cun
is and I. Kolmanovsky\, ‘Input-to-State Stability of Newton Methods for
Generalized Equations in Nonlinear Optimization’\, in 2024 IEEE Conferen
ce on Decision and Control\, Milano\, 2024\, pp. 5950–5956. doi: 10.1109
/CDC56724.2024.10885904.
\n[2] T. Cunis and I. Kolmanovsky\, ‘Inexact
ness in Bilevel Nonlinear Optimization: A Gradient-free Newton’s Method
Approach’\, in Symposium on Systems Theory in Data and Optimization\, St
uttgart\, 2024.
\n[3] T. Cunis and I. Kolmanovsky\, ‘Input-to-State S
tability of a Bilevel Proximal Gradient Descent Algorithm’\, in 22nd IFA
C World Congress\, Yokohama\, 2023\, pp. 7474–7479. doi: 10.1016/j.ifaco
l.2023.10.633.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/60/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Nikolaos Bekiaris-Liberis (Technical University of Crete\, Greece)
DTSTART:20250604T150000Z
DTEND:20250604T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/61
DESCRIPTION:Title: Micro-macro PDE control under implementation limitations of large-scal
e transport systems\nby Nikolaos Bekiaris-Liberis (Technical Universit
y of Crete\, Greece) as part of Input-to-State Stability and its Applicati
ons\n\n\nAbstract\nAlthough “transport” may imply different notions fo
r different scientific fields\, the feature of incorporation of interactin
g system components through which “information” is propagated remains
invariant. I will present control-theoretic results for biological transpo
rt systems\, which describe epidemics spreading dynamics (via people trans
port) and cardiovascular flow dynamics (via blood transport). In particula
r\, I will present numerical implementations of macroscopic\, coupled crow
d flow - epidemics spreading processes\, subject to different macro-contro
l measures\; while studying blood transport stability in the presence of s
tenosis\, which may be utilized to quantify medically relevant diagnostic
indices. I will then present computationally tractable control designs for
large-scale hyperbolic PDEs (describing biological transport systems dyna
mics)\, whose complexity does not grow with the number of PDE systems comp
onents. I will also present control designs for systems subject to delays\
, quantization\, and switchings\, phenomena that may negatively affect dig
ital implementations of feedback control laws. \n\nBiography:\nNiko
laos Bekiaris-Liberis received the Ph.D. degree in aerospace engineering f
rom University of California\, San Diego in 2013. From 2013 to 2014\, he w
as a Post-Doctoral Researcher with University of California\, Berkeley. Fr
om 2019 to 2022\, he was an Assistant Professor\, from 2017 to 2019\, he w
as a Marie Sklodowska-Curie Fellow\, and from 2014 to 2017\, he was a Rese
arch Associate with the Technical University of Crete\, Greece\, where he
is currently an Associate Professor with the Department of Electrical and
Computer Engineering. His research interests include nonlinear delay\, swi
tched\, and distributed parameter systems\, and their applications to tran
sport systems.\n\nNikolaos Bekiaris-Liberis serves as Associate Editor for
Automatica and as Senior Editor for IEEE Transactions on Intelligent Tran
sportation Systems. He received the Chancellor's Dissertation Medal in Eng
ineering from University of California\, San Diego in 2014 and the George
N. Saridis Outstanding Research Paper Award in 2019 (from IEEE Intelligent
Transportation Systems Society). He was a recipient of a 2016 Marie Sklod
owska-Curie Individual Fellowship Grant and he received a 2022 European Re
search Council (ERC) Consolidator Grant.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/61/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Patrick Bachmann (University of Bayreuth\, Germany)
DTSTART:20250423T150000Z
DTEND:20250423T160000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/63
DESCRIPTION:Title: Characterization of input-to-output stability for infinite dimensional
systems\nby Patrick Bachmann (University of Bayreuth\, Germany) as pa
rt of Input-to-State Stability and its Applications\n\n\nAbstract\nInput-t
o-state stability can be extended to systems with outputs by the notion of
input-to-output stability (IOS). IOS combines the uniform global asymptot
ic stability of the output dynamics with its robustness with respect to ex
ternal inputs.\nWe provide a superposition theorem for IOS of a broad clas
s of nonlinear infinite-dimensional systems with outputs including both co
ntinuous-time and discrete-time systems.\nOn the path to achieve this resu
lt\, we introduce and examine several novel stability and attractivity con
cepts for infinite dimensional systems with outputs\, e.g.\, criteria for
the uniform limit property for systems with outputs\, several of which are
new already for systems with full-state output. Moreover\, we provide sup
erposition theorems for systems which satisfy both the output-Lagrange sta
bility property (OL) and IOS\, give a sufficient condition for OL and char
acterize ISS in terms of IOS and input/output-to-state stability.\nFinally
\, by means of counterexamples\, we illustrate the challenges appearing on
the way of extension of the superposition theorems in the literature to i
nfinite-dimensional systems with outputs.\n\n Biography: \nPatrick
Bachmann received his Bachelor's degree in Business Mathematics at the Uni
versity of Mannheim\, Germany\, in 2015 and his Master's degree in Mathema
tics at the Karlsruhe Institute of Technology\, Germany\, in 2018. He work
ed as a research assistant at the Technical University of Kaiserslautern\,
Germany\, and the University of Würzburg\, Germany. Currently\, he is wo
rking at the University of Bayreuth\, Germany\, while pursuing his PhD deg
ree in Mathematics under supervision of Sergey Dashkovskiy and Andrii Miro
nchenko. His research interests include impulsive systems\, stability and
control theory\, Lyapunov functions\, and infinite-dimensional systems.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/63/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Chris Guiver (Edinburgh Napier University\, United Kingdom)
DTSTART:20250326T160000Z
DTEND:20250326T170000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/64
DESCRIPTION:Title: Passivity theorems for forced Lur'e inclusions and equations\, and con
sequent entrainment-type properties\nby Chris Guiver (Edinburgh Napier
University\, United Kingdom) as part of Input-to-State Stability and its
Applications\n\n\nAbstract\nI will discuss recent input-to-state stability
results for a class of forced differential inclusions\, so-called Lur’e
inclusions. One motivation is to obtain semi-global incremental input-to-
state stability results for systems of forced Lur’e differential equatio
ns. The results are in the spirit of the passivity theorem from control th
eory as both the linear and nonlinear components of the Lur’e inclusion
(or equation) are assumed to satisfy passivity-type conditions. \n\nThese
results provide a basis for the analysis of forced Lur’e differential eq
uations subject to (almost) periodic forcing terms and\, roughly speaking\
, ensure the existence and attractivity of (almost) periodic state-and out
put-responses\, comprising another focus of the present work. One ultimate
aim is to establish a robust and rigorous theoretical foundation for a we
ll-defined and tractable “frequency response” of forced Lur’e system
s.\n\nBiography:\nChris Guiver is an academic working in the UK in
mathematical systems and control theory\, coming to the subject from a mat
hematics background. He obtained a Mmath (mathematics) and Ph.D. in mathem
atics in 2008 and 2012\, respectively\, both from the University of Bath.
He was a postdoctoral researcher at the University of Exeter between 2012
and 2015. Between 2016 and 2020 he was a Lecturer in Applied Mathematics a
t the University of Bath\, and since 2020 he holds the position of Lecture
r at Edinburgh Napier University. He is a senior member of the IEEE\, and
organises the UK national Mathematical Systems and Control Theory Network.
\n\nHe has worked in a number of areas\, including: the stability theory o
f nonlinear control systems using Input-to-State Stability concepts\; the
application of control-theoretic concepts in mathematical ecology and biol
ogy\, and\; distributed-parameter (infinite-dimensional) control systems.
Earlier in his career he conducted research in model order reduction of li
near control systems by balanced truncation and its variants\, in both the
finite- and infinite-dimensional settings.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/64/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Romain Postoyan (University of Lorraine\, Nancy\, France)
DTSTART:20251126T160000Z
DTEND:20251126T170000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/68
DESCRIPTION:Title: Estimation of the minimum and maximum states of charge of lithium-ion
battery packs: A hybrid approach\nby Romain Postoyan (University of Lo
rraine\, Nancy\, France) as part of Input-to-State Stability and its Appli
cations\n\n\nAbstract\nMonitoring the minimum and maximum states of charge
(SOC) in lithium-ion battery packs is key to ensuring safe and reliable l
ong-term operation. The challenge is that these SOCs cannot be directly me
asured and their corresponding cells within the pack may change with time.
We will see in this talk a a hybrid scheme that estimates the minimum and
maximum SOCs within a battery pack given by the series interconnection of
equivalent circuit models. The dimension of the hybrid estimator is indep
endent of the number of cells\, which makes it particularly attractive for
large battery packs. Moreover\, and key for this seminar series\, the est
imator is endowed with global ISS properties. The stability analysis invol
ves cascade system arguments and the use of a non-smooth Lyapunov function
. We will finally illustrate the efficiency of the estimator on numerical
simulations and compare it with state-of-the-art techniques\, which will d
emonstrate its benefits either in terms of computation time or estimates a
ccuracy.\n\nBiography:\nRomain Postoyan received the ‘‘Ingénie
ur’’ degree in Electrical and Control Engineering from ENSEEIHT (Franc
e) in 2005. He obtained the M.Sc. by Research in Control Theory & Applicat
ion from Coventry University (United Kingdom) in 2006 and the Ph.D. in Con
trol Engineering from Université Paris-Sud (France) in 2009. In 2010\, he
was a research assistant at the University of Melbourne (Australia). Sinc
e 2011\, he is a CNRS researcher at the ‘‘Centre de Recherche en Autom
atique de Nancy ’’ (France). He received the ‘Habilitation à Dirige
r des Recherches (HDR) ’’ in 2019 from Université de Lorraine (Nancy\
, France). He serves/served as an associate editor for the journals: IEEE
Transactions on Automatic Control\, Automatica\, IEEE Control Systems Lett
ers and IMA Journal of Mathematical Control and Information\; and guess ma
naging editor for NAHS special issue on event- and self-triggered control
(2024). His research interests include hybrid systems\, dynamic programmin
g\, and nonlinear estimation.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/68/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jorge Poveda (University of California\, San Diego\, USA)
DTSTART:20251119T160000Z
DTEND:20251119T170000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/69
DESCRIPTION:Title: Lyapunov-based Interconnection Tools for Fixed-Time Input-to-State Sta
ble Systems: Singular Perturbations and Small-Gain Theorems\nby Jorge
Poveda (University of California\, San Diego\, USA) as part of Input-to-St
ate Stability and its Applications\n\n\nAbstract\nWe develop new analytica
l tools for establishing fixed-time stability in nonlinear interconnected
dynamical systems. First\, we extend the classical composite Lyapunov meth
od\, widely used for the analysis of singularly perturbed systems\, and de
monstrate that analogous constructions can be applied to study fixed-time
stability in two-time-scale systems. In particular\, we show that when the
time-scale separation is sufficiently large\, and the associated boundary
-layer and reduced subsystems admit a suitable class of Lyapunov functions
\, the overall interconnected system inherits fixed-time stability propert
ies. Moreover\, when the dynamics depend on an external input\, analogous
results are derived in the context of fixed-time input-to-state stability.
Subsequently\, we introduce a Lyapunov-based small-gain theorem tailored
for fixed-time stability analysis in interconnected systems without time-s
cale separation. This result provides a unified framework applicable to a
broader class of feedback interconnected systems. We demonstrate the appli
cability of the proposed tools through examples in algorithmic design for
feedback optimization and regulation. Finally\, we discuss extensions for
hybrid dynamical systems and present preliminary results on fixed-time sta
bility analysis for hybrid differential inclusions.\n\nBiography:\n
Jorge I. Poveda is an Associate Professor in the Department of Electrical
and Computer Engineering at the University of California\, San Diego\, whe
re he also serves as Associate Director of the Center for Control Systems
and Dynamics. Before joining UCSD in 2022\, he was an Assistant Professor
at the University of Colorado Boulder (2019-2022) and a Postdoctoral Fello
w at Harvard University (2018). He obtained his M.S. and Ph.D. degrees in
Electrical and Computer Engineering from the University of California\, Sa
nta Barbara\, in 2016 and 2018\, respectively\, under the supervision of A
ndrew R. Teel. During this time\, he was also a Research Intern at Mitsubi
shi Electric Research Laboratories in 2016 and 2017. He holds dual B.S. de
grees in Electronics Engineering and Mechanical Engineering from the Unive
rsity of Los Andes\, Colombia. He is the recipient of the CRII and CAREER
Awards from the NSF\, the Young Investigator Awards from AFOSR and SHPE\,
the 2023 Donald P. Eckman Award from the American Automatic Control Counci
l\, and the UCSB-CCDC Outstanding Scholar Fellowship and Best Ph.D. Disser
tation Awards. He has also received several Best Paper and Best Paper Fina
list awards with his students and colleagues\, including recognitions from
IEEE Transactions on Control of Network Systems (2023)\, the American Con
trol Conference (2024)\, the IEEE Conference on Decision and Control (2017
\, 2021)\, and the IFAC Conference on Analysis and Design of Hybrid System
s (2024). He serves as Associate Editor for Automatica\, NAHS\, and IEEE L
CSS.\n\nReferences:
\n- Tang\, Krstic\, Poveda\, "On Fixed-Time
Stability for a Class of Singularly Perturbed Systems Using Composite Lyap
unov Functions"\, American Control Conference\, 2024 (https://ieeexplore.i
eee.org/document/10644358/).\n
\n- Tang\, Krstic\, Poveda\, "Fixed-Time
Input-to-State Stability for Singularly Perturbed Systems via Composite L
yapunov Functions"\, IEEE Transactions on Automatic Control\, 2025 (https:
//ieeexplore.ieee.org/document/11239427). Extended version available at ht
tps://arxiv.org/abs/2412.16797\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/69/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Anil Alan (Delft University of Technology\, Netherlands)
DTSTART:20260204T160000Z
DTEND:20260204T170000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/71
DESCRIPTION:Title: Input-to-State Safety and Control Barrier Functions for Robust Safety-
Critical Systems\nby Anil Alan (Delft University of Technology\, Nethe
rlands) as part of Input-to-State Stability and its Applications\n\n\nAbst
ract\nModern engineering systems increasingly require explicit constraint
satisfaction\, for which set-theoretic methods provide formal guarantees.
However\, realistic implementations and model abstractions introduce uncer
tainties that challenge these guarantees and call for a quantitative notio
n of robustness. Input-to-state safety (ISSf) addresses this need by chara
cterizing how safety guarantees degrade under disturbances\, in close anal
ogy with input-to-state stability.\nIn this talk\, I use ISSf as a unifyin
g framework for robust safety analysis and control design. I first show ho
w control barrier functions (CBFs) can be used to derive sufficient condit
ions for ISSf of nonlinear systems. I then briefly discuss how ISSf-CBF co
nditions can be incorporated into optimization-based safety filters and il
lustrate the framework through experimental results on a connected autonom
ous truck. To mitigate the conservativeness inherent in standard ISSf-CBF
formulations\, I introduce tunable ISSf-CBFs\, which enable state-dependen
t adjustment of safety margins and naturally support iterative design and
refinement informed by experimental data. I conclude by outlining future d
irections toward interconnected large-scale systems.\n\nBiography:
Anil Alan is a Postdoctoral Researcher at the Delft Center for Systems and
Control at TU Delft\, Netherlands. He completed his PhD in Mechanical Eng
ineering at the University of Michigan\, USA\, where he was awarded the Ra
ckham Predoctoral Fellowship\, and holds an MSc from Bilkent University\,
Turkey. At TU Delft\, he works on an ERC Advanced Grant project with a foc
us on constraint-satisfaction methods for optimization-based control of la
rge-scale systems. He is the recipient of the Professor Pierre T. Kabamba
Award and ASME’s Best Student Paper Award at the American Control Confer
ence.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/71/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Iasson Karafyllis (National Technical University of Athens)
DTSTART:20251105T160000Z
DTEND:20251105T170000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/72
DESCRIPTION:Title: The Strange Relation(ship) Between Adaptive Control and Output Stabili
ty Properties\nby Iasson Karafyllis (National Technical University of
Athens) as part of Input-to-State Stability and its Applications\n\n\nAbst
ract\nIn this talk I will try to shed light on the ways that Output Stabil
ity Theory (including IOS\, output asymptotic gain properties\, output sta
bility/attractivity notions) affects and is influenced by Nonlinear Adapti
ve Control Theory. To this purpose\, I will briefly review recent results
on Lyapunov characterizations of output stability properties and I will pr
esent a novel adaptive control scheme: the Deadzone-Adapted-Disturbance-Su
pression (DADS) control scheme. It will be shown that when modern nonlinea
r control theory and modern stability theory go hand-in-hand\, unexpected
robustness results can be produced by the careful design of nonlinear adap
tive controllers. The results presented in this talk have been obtained by
long collaborations with Miroslav Krstic\, Antoine Chaillet and Yuan Wang
.\n\nBiography: \nIasson Karafyllis is a Professor of Mathematics i
n the Department of Mathematics of the National Technical University of At
hens. He is a coauthor of four books and he has written more than 100 jour
nal papers. His research interests lie in the stability theory and feedbac
k stabilization theory of deterministic control systems as well as in the
connection of Mathematical Control Theory with other areas of mathematics.
\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/72/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Zhong-Ping Jiang (New York University\, USA)
DTSTART:20251203T160000Z
DTEND:20251203T170000Z
DTSTAMP:20260315T022213Z
UID:ISS-Theory/73
DESCRIPTION:Title: The Nonlinear Small-Gain Theory for Networks and Control\nby Zhong
-Ping Jiang (New York University\, USA) as part of Input-to-State Stabilit
y and its Applications\n\n\nAbstract\nThe world is nonlinear and linked. I
n this talk\, I will present the origin of the small-gain theory and show
that it serves as an important systematic tool for addressing two fundamen
tal problems for networks: When is a dynamical network robustly stable? Wh
en can a dynamical network be made robustly stable by feedback? As an illu
stration\, we show how the small-gain theory can be applied to unify solut
ions to event-triggered nonlinear control and provide novel solutions to d
istributed feedback optimization. Finally\, if time permits\, I will discu
ss briefly learning-based control\, a new direction in control theory\, th
at aims to integrate machine learning and nonlinear control techniques to
relax the conservativeness of small-gain designs.\n\nBiography:\nZh
ong-Ping Jiang received the M.Sc. degree in statistics from the University
of Paris XI\, France\, in 1989\, and the Ph.D. degree in automatic contro
l and mathematics from ParisTech-Mines\, France\, in 1993\, under the dire
ction of Prof. Laurent Praly.\n\nCurrently\, he is an Institute Professor
in the Department of Electrical and Computer Engineering and an affiliate
professor in the Department of Civil and Urban Engineering at the Tandon S
chool of Engineering\, New York University. His main research interests in
clude stability theory\, robust/adaptive/distributed nonlinear control\, r
obust adaptive dynamic programming\, reinforcement learning and their appl
ications to information\, mechanical and biological systems. In these fiel
ds\, he has written six books and is the author/co-author of about 600 pee
r-reviewed journal and conference papers.\n\nProf. Jiang is a recipient of
the prestigious Queen Elizabeth II Fellowship Award from the Australian R
esearch Council\, CAREER Award from the U.S. National Science Foundation\,
JSPS Invitation Fellowship from the Japan Society for the Promotion of Sc
ience\, Distinguished Overseas Chinese Scholar Award from the NSF of China
\, and several best paper awards. He has served as Deputy Editor-in-Chief\
, Senior Editor and Associate Editor for numerous journals\, and is among
the Clarivate Analytics Highly Cited Researchers and Stanford’s Top 2% M
ost Highly Cited Scientists. In 2022\, he received the Excellence in Resea
rch Award from the NYU Tandon School of Engineering. Prof. Jiang is a fore
ign member of the Academia Europaea (Academy of Europe) and an ordinary me
mber of the European Academy of Sciences and Arts\, and also is a Fellow o
f the IEEE\, IFAC\, CAA\, AAIA and AAAS.\n
LOCATION:https://researchseminars.org/talk/ISS-Theory/73/
END:VEVENT
END:VCALENDAR