Related papers: A Commentary on the Linearity and Time-Invariance …
This paper is devoted to a study of linear, differential and topological classifications for linear controlled systems governed by ordinary differential equations. The necessary and sufficient conditions for the linear and topological…
A non-perturbative approach to the time-averaging of nonlinear, autonomous ODE systems is developed based on invariant manifold methodology. The method is implemented computationally and applied to model problems arising in the mechanics of…
A specification given as a formula in linear temporal logic (LTL) defines a system by its set of traces. However, certain features such as information flow security constraints are rather modeled as so-called hyperproperties, which are sets…
This thesis applies Floquet theory to analyze linear periodic time-varying (LPTV) systems, represented by a system of ordinary differential equations (ODEs) that depend on a time variable t and have a matrix of coefficients with period T>0.…
Nonlinear ordinary differential equations (ODEs) are powerful tools for modeling real-world dynamical systems. However, propagating initial state uncertainty through nonlinear dynamics, especially when the ODE is unknown and learned from…
TLA is a popular temporal logic for writing stuttering-invariant specifications of digital systems. However, TLA lacks higher-order features useful for specifying modern software written in higher-order programming languages. We use…
While reachability analysis is one of the most promising approaches for formal verification of dynamic systems, a major disadvantage preventing a more widespread application is the requirement to manually tune algorithm parameters such as…
Discontinuities and delayed terms are encountered in the governing equations of a large class of problems ranging from physics and engineering to medicine and economics. These systems cannot be properly modelled and simulated with standard…
Distinguishability takes a crucial rule in studying observability of hybrid system such as switched system. Recently, for two linear systems, Lou and Si gave a condition not only necessary but also sufficient to the distinguishability of…
This paper is concerned with a robust instability analysis for the single-input-single-output unstable linear time-invariant (LTI) system under dynamic perturbations. The nominal system itself is possibly perturbed by the static gain of the…
Time plays a crucial role in the performance of computing systems. The accurate modelling of logical devices, and of their physical implementations, requires an appropriate representation of time and of all properties that depend on this…
Many biological systems are governed by difference equations and exhibit discrete-time dynamics. Examples include the size of a population when generations are non-overlapping, and the incidence of a disease when infections are recorded at…
Recently, in order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (Logic LTS or LLTS for short) has been introduced and explored. A variety of constructors over…
In this paper we are interested in the problem of adaptive state observation of linear time-varying (LTV) systems where the system and the input matrices depend on unknown time-varying parameters. It is assumed that these parameters satisfy…
This paper discusses the robustness of the constant-delay predictor feedback in the case of an uncertain time-varying input delay. Specifically, we study the stability of the closed-loop system when the predictor feedback is designed based…
In this paper we present a direct adaptive control method for a class of uncertain nonlinear systems with a time-varying structure. We view the nonlinear systems as composed of a finite number of ``pieces,'' which are interpolated by…
In this paper, we address the problem of globally stabilizing a linear time-invariant (LTI) system by means of a static feedback law whose amplitude and successive time derivatives, up to a prescribed order $p$, are bounded by arbitrary…
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by…
In this paper we consider output controllability for linear time-invariant systems. In a recent paper by Danhane, Loh{\'e}ac and Jungers it has been pointed out that although output controllability is a classical notion in control theory,…
Standard model-based control design deteriorates when the system dynamics change during operation. To overcome this challenge, online and adaptive methods have been proposed in the literature. In this work, we consider the class of…