Related papers: Conjugate times and regularity of the minimum time…

We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory for timed automata with I/O distinction, which supports…

We present an alternative pathway in the application of the variation improvement of ordinary perturbation theory exposed in [1] which can preserve the internal symmetries of a model by means of a time compactification.

This paper presents a novel set-based model predictive control for tracking, which provides the largest domain of attraction, even with the minimal predictive/control horizon. The formulation - which consists of a single optimization…

We study graph-directed conjugate functional equations on the unit interval indexed by the complete digraph with self-loops on two vertices. We focus on the singularity and regularity of the solutions for compatible systems of weak…

In this paper, we aim to explore optimal regional trajectory tracking control problems of the anomalous subdiffusion processes governed by time-fractional diffusion systems under the Neumann boundary conditions. Using eigenvalue theory of…

In this paper, we establish a regularity theory for the optimal transport problem when the target is composed of two disjoint convex domains. This is an important model in which singularities arise. Even though the singular set does not…

This paper firstly presents the necessary and sufficient conditions for a kind of discrete-time robust stochastic optimal control problem with convex control domains. As it is an "inf sup problem", the classical variational method is…

We establish the consistency of a local time approximation of a diffusion at a sticky threshold based on high-frequency observations. First, we prove the result for sticky Brownian motion, and then extend it to It\^o diffusions with a…

Irregularly-sampled time series (ITS) are native to high-impact domains like healthcare, where measurements are collected over time at uneven intervals. However, for many classification problems, only small portions of long time series are…

We propose a new approach for finding discrete harmonic functions in the quarter plane with Dirichlet conditions. It is based on solving functional equations that are satisfied by the generating functions of the values taken by the harmonic…

We propose matrix commutator based stability characterization for discrete-time switched linear systems under restricted switching. Given an admissible minimum dwell time, we identify sufficient conditions on subsystems such that a switched…

In this paper, we introduce the concept of random time changes in dynamical systems. The sub- ordination principle may be applied to study the long time behavior of the random time systems. We show, under certain assumptions on the class of…

We study a catching-up algorithm for a class of differential inclusions driven by maximal monotone operators with continuous perturbations. Using a decomposition of the monotone operator into the closed convex hull of its single-valued part…

The optimal control of a mechanical system is of crucial importance in many realms. Typical examples are the determination of a time-minimal path in vehicle dynamics, a minimal energy trajectory in space mission design, or optimal motion…

In this paper, we consider a network of agents that jointly aim to minimise the sum of local functions subject to coupling constraints involving all local variables. To solve this problem, we propose a novel solution based on a primal-dual…

This paper showcases the effectiveness of the quasiconvexity property in addressing the optimal regularity of the temporal derivative and establishes conditions for its continuity in nonlocal time-dependent obstacle problems.

Derivation of the procedures that can be applied in evaluating two-time correlation function in terms of coherent-state propagator and corresponding Q-function is presented. On the basis that the involved functions are generally exponential…

The time-dependent vulnerability of synchronized states is shown for a complex network composed of electronic circuits. We demonstrate that disturbances to the local dynamics of network units can produce different outcomes to…

We study the existence of global weak solutions of a nonlinear transport-diffusion equation with a fractional derivative in the time variable and under some extra hypotheses, we also study some regularity properties for this type of…

In this paper we consider discrete and continuous time risk sensitive optimal stopping problem. Using suitable properties of the underlying Feller-Markov process we prove continuity of the optimal stopping value function and provide formula…