English
Related papers

Related papers: Lipschitz Robustness of Timed I/O Systems

200 papers

Context: Many systems require receiving data from multiple information sources, which act as distributed network devices that asynchronously send the latest data at their own pace to generalize various kinds of devices and connections,…

Programming Languages · Computer Science 2025-03-03 Tetsuo Kamina , Tomoyuki Aotani , Hidehiko Masuhara

A static non-linear homogeneous feedback for a fixed-time stabilization of a linear time-invariant (LTI) system is designed in such a way that the settling time is assigned exactly to a prescribed constant for all nonzero initial…

Systems and Control · Electrical Eng. & Systems 2023-07-06 Andrey Polyakov , Miroslav Krstic

This work investigates robust monotonic convergent iterative learning control (ILC) for uncertain linear systems in both time and frequency domains, and the ILC algorithm optimizing the convergence speed in terms of $l_{2}$ norm of error…

Systems and Control · Electrical Eng. & Systems 2021-01-19 Lanlan Su

We consider the model checking problem of infinite state systems given in the form of parameterized discrete timed networks with multiple clocks. We show that this problem is decidable with respect to specifications given by B- or…

Logic in Computer Science · Computer Science 2016-09-15 Benjamin Aminof , Sasha Rubin , Francesco Spegni , Florian Zuleger

Fixed-time stable dynamical systems are capable of achieving exact convergence to an equilibrium point within a fixed time that is independent of the initial conditions of the system. This property makes them highly appealing for designing…

Systems and Control · Electrical Eng. & Systems 2025-10-01 Michael Tang , Miroslav Krstic , Jorge Poveda

Large-scale linear systems, $Ax=b$, frequently arise in practice and demand effective iterative solvers. Often, these systems are noisy due to operational errors or faulty data-collection processes. In the past decade, the randomized…

Numerical Analysis · Mathematics 2024-08-26 El Houcine Bergou , Soumia Boucherouite , Aritra Dutta , Xin Li , Anna Ma

Feedback control algorithms traditionally rely on periodic execution on digital platforms. While this simplifies design and analysis, it often leads to inefficient resource usage (e.g., CPU, network bandwidth) in embedded control and shared…

Systems and Control · Electrical Eng. & Systems 2025-11-04 Abbas Tariverdi

Hybrid systems - more precisely, their mathematical models - can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we observe that, in this context, the usual definition of…

Logic in Computer Science · Computer Science 2018-09-05 Eugenio Moggi , Amin Farjudian , Adam Duracz , Walid Taha

We address nonautonomous initial boundary value problems for decoupled linear first-order one-dimensional hyperbolic systems, investigating the phenomenon of finite time stabilization. We establish sufficient and necessary conditions…

Analysis of PDEs · Mathematics 2025-12-10 Irina Kmit , Natalya Lyul'ko

In this paper we show a limit result for the reliability function of a system -- that is, the probability that the whole system is still operational after a certain given time -- when the number of components of the system grows to…

Probability · Mathematics 2025-01-09 Guido Lagos , Javiera Barrera , Pablo Romero , Juan Valencia

Deep neural networks have shown remarkable performance across a wide range of vision-based tasks, particularly due to the availability of large-scale datasets for training and better architectures. However, data seen in the real world are…

Machine Learning · Computer Science 2018-11-26 Muhammad Usama , Dong Eui Chang

We construct two error feedback controllers for robust output tracking and disturbance rejection of a regular linear system with nonsmooth reference and disturbance signals. We show that for sufficiently smooth signals the output converges…

Optimization and Control · Mathematics 2023-03-01 Lassi Paunonen

This paper deals with stability of discrete-time switched linear systems whose all subsystems are unstable. We present sufficient conditions on the subsystems matrices such that a switched system is globally exponentially stable under a set…

Systems and Control · Electrical Eng. & Systems 2021-11-11 Atreyee Kundu

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…

Systems and Control · Electrical Eng. & Systems 2025-08-11 Shinji Hara , Tetsuya Iwasaki , Yutaka Hori

The conceptually new approach based on the logarithmic norm to design of robust adaptive state-feedback controller for linear time-varying (LTV) systems under system's modeling uncertainty and nonlinear external disturbance is proposed.…

Optimization and Control · Mathematics 2020-12-18 Robert Vrabel

High-fidelity quantum gates are crucial for achieving fault-tolerant quantum computing; however, decoherence significantly reduces gate fidelities during long operation times. Although optimal control techniques can theoretically minimize…

Quantum Physics · Physics 2026-02-27 Niril George , Joseph L. Allen , Robert Kosut , Eran Ginossar

This paper studies the robustness of large-scale interconnected systems with respect to external disturbances, focussing on their scalability properties. Specifically, a notion of scalability is introduced that asks for these robustness…

Optimization and Control · Mathematics 2020-05-14 Steffi Knorn , Bart Besselink

In this paper, we investigate the robustness to external disturbances of switched discrete and continuous systems with multiple equilibria. It is shown that if each subsystem of the switched system is Input-to-State Stable (ISS), then under…

Systems and Control · Computer Science 2018-09-11 Sushant Veer , Ioannis Poulakakis

We study the problem of system identification for stochastic continuous-time dynamics, based on a single finite-length state trajectory. We present a method for estimating the possibly unstable open-loop matrix by employing properly…

Machine Learning · Statistics 2025-09-30 Reza Sadeghi Hafshejani , Mohamad Kazem Shirani Fradonbeh

We study synchronization for linearly coupled temporal networks of heterogeneous time-dependent nonlinear agents via the convergence of attracting trajectories of each node. The results are obtained by constructing and studying the…

Dynamical Systems · Mathematics 2024-10-23 Hildeberto Jardón-Kojakhmetov , Christian Kuehn , Iacopo P. Longo