Related papers: Certifying Set Attractivity for Discrete-Time Unce…
Analyzing nonlinear systems with attracting robust invariant sets (RISs) requires estimating their domains of attraction (DOAs). Despite extensive research, accurately characterizing DOAs for general nonlinear systems remains challenging…
We consider a general class of nonlinear, constrained, discrete-time systems whose dynamics are parametrized by a set of gains. We define the semiglobal, practical, asymptotic stability (SPAS) of compact sets for this class of systems, and…
A subset $A$ of the state space is called uniformly globally weakly attractive if for any neighborhood $S$ of $A$ and any bounded subset $B$ there is a uniform finite time $\tau$ so that any trajectory starting in $B$ intersects $S$ within…
In this paper, a nonlinear extension of the Georgiou-Smith system is considered and robustness results are proved for a class of nonlinear PI controllers with respect to fast parasitic first-order dynamics. More specifically, for a…
We present assume-guarantee contracts for continuous-time linear dynamical systems with inputs and outputs. These contracts are used to express specifications on the dynamic behaviour of a system. Contrary to existing approaches, we use…
Analyzing and certifying stability and attractivity of nonlinear systems is a topic of research interest that has been extensively investigated by control theorists and engineers for many years. Despite that, accurately estimating domains…
Modern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most formal verification methods are limited to systems of moderate…
This paper introduces an add-on, supervisory scheme, referred to as Action Governor (AG), for discrete-time linear systems to enforce exclusion-zone avoidance requirements. It does so by monitoring, and minimally modifying when necessary,…
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that typically arise from applying decision rules…
We study conditions for the existence of stable and group-strategy-proof mechanisms in a many-to-one matching model with contracts if students' preferences are monotone in contract terms. We show that "equivalence", properly defined, to a…
Sensitivity is a prominent aspect of chaotic behavior of a dynamical system. We study the relevance of nonsensitivity to fixed point theory in affine dynamical systems. We prove a fixed point theorem which extends Ryll-Nardzewski's theorem…
In this paper, we investigate the dynamical behavior of non-autonomous Lame thermoelastic systems within $N$-dimensional materials. With appropriate constraints on nonlinear characteristics and functional parameters, we initially establish…
We provide an explicit method to construct dynamical systems which admit an a-priori prescribed attracting set. As application, we provide a method to construct perturbations of conservative dynamical systems, which admit an a-priori…
The paper endeavours to solve the problem of the necessary and sufficient conditions for testing asymptotic stability of the equilibrium state without using a positive definite or semi-definite Lyapunov function for time-invariant nonlinear…
We examine the question whether random set attractors for continuous-time random dynamical systems on a connected state space are connected. In the deterministic case, these attractors are known to be connected. In the probabilistic setup,…
This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications. Contracts are regarded as formal characterizations…
This paper considers the stabilization of nonlinear continuous-time dynamical systems employing periodic event-triggered control (PETC). Assuming knowledge of a stabilizing feedback law for the continuous-time system with a certain…
This paper presents an analysis approach to finite-time attraction in probability concerns with nonlinear systems described by nonlinear random differential equations (RDE). RDE provide meticulous physical interpreted models for some…
This paper studies deterministic and stochastic fixed-time stability of autonomous nonlinear discrete-time (DT) systems. Lyapunov conditions are first presented under which the fixed-time stability of deterministic DT system is certified.…
This paper studies the design of controllers for discontinuous dynamics that ensure the safety of non-smooth sets. The safe set is represented by arbitrarily nested unions and intersections of 0-superlevel sets of differentiable functions.…