English
Related papers

Related papers: Complexity of Ten Decision Problems in Continuous …

200 papers

We study asymptotic stability of continuous-time systems with mode-dependent guaranteed dwell time. These systems are reformulated as special cases of a general class of mixed (discrete-continuous) linear switching systems on graphs, in…

Dynamical Systems · Mathematics 2019-12-24 Yacine Chitour , Nicola Guglielmi , Mario Sigalotti , Vladimir Protasov

Stability analysis and control of linear impulsive systems is addressed in a hybrid framework, through the use of continuous-time time-varying discontinuous Lyapunov functions. Necessary and sufficient conditions for stability of impulsive…

Optimization and Control · Mathematics 2013-11-15 Corentin Briat

This technical note studies Lyapunov-like conditions to ensure a class of dynamical systems to exhibit predefined-time stability. The origin of a dynamical system is predefined-time stable if it is fixed-time stable and an upper bound of…

We address the problem of determining if a discrete time switched consensus system converges for any switching sequence and that of determining if it converges for at least one switching sequence. For these two problems, we provide…

Systems and Control · Computer Science 2015-05-22 Pierre-Yves Chevalier , Julien M. Hendrickx , Raphaël M. Jungers

Markov decision processes (MDPs) are a fundamental model in sequential decision making. Robust MDPs (RMDPs) extend this framework by allowing uncertainty in transition probabilities and optimizing against the worst-case realization of that…

Artificial Intelligence · Computer Science 2026-02-02 Ali Asadi , Krishnendu Chatterjee , Ehsan Goharshady , Mehrdad Karrabi , Alipasha Montaseri , Carlo Pagano

Energy-based learning algorithms, such as predictive coding (PC), have garnered significant attention in the machine learning community due to their theoretical properties, such as local operations and biologically plausible mechanisms for…

Machine Learning · Computer Science 2024-10-08 Ankur Mali , Tommaso Salvatori , Alexander Ororbia

We consider the time-bounded reachability problem for continuous-time Markov decision processes. We show that the problem is decidable subject to Schanuel's conjecture. Our decision procedure relies on the structure of optimal policies and…

Systems and Control · Electrical Eng. & Systems 2020-06-11 Rupak Majumdar , Mahmoud Salamati , Sadegh Soudjani

We investigate stability of a solution of a hybrid system in the sense that the graphs of solutions from nearby initial conditions remain close and tend towards the graph of the given solution. In this manner, a small continuous-time…

Optimization and Control · Mathematics 2024-09-23 J. J. B. Biemond , R. Postoyan , W. P. M. H. Heemels , N. van de Wouw

Stochastic dynamical systems are fundamental in state estimation, system identification and control. System models are often provided in continuous time, while a major part of the applied theory is developed for discrete-time systems.…

Dynamical Systems · Mathematics 2014-02-07 Niklas Wahlström , Patrix Axelsson , Fredrik Gustafsson

For a polynomial dynamical system, we study the problem of computing the minimal differential equation satisfied by a chosen coordinate (in other words, projecting the system on the coordinate). This problem can be viewed as a special case…

Symbolic Computation · Computer Science 2026-04-17 Yulia Mukhina , Gleb Pogudin

This paper presents a method to approximately solve stochastic optimal control problems in which the cost function and the system dynamics are polynomial. For stochastic systems with polynomial dynamics, the moments of the state can be…

Optimization and Control · Mathematics 2017-02-24 Andrew Lamperski , Khem Raj Ghusinga , Abhyudai Singh

In this paper, we propose a new convex approach to stability analysis of nonlinear systems with polynomial vector fields. First, we consider an arbitrary convex polytope that contains the equilibrium in its interior. Then, we decompose the…

Optimization and Control · Mathematics 2014-11-24 Reza Kamyar , Chaitanya Murti , Matthew Peet

Stiff and chaotic differential equations are challenging for time-stepping numerical methods. For explicit methods, the required time step resolution significantly exceeds the resolution associated with the smoothness of the exact solution…

Numerical Analysis · Mathematics 2024-02-28 Jan Scheffel

In this paper we consider the problem of minimizing a quadratic functional for a discrete-time linear stochastic system with multiplicative noise, on a standard probability space, in infinite time horizon. We show that the necessary and…

Optimization and Control · Mathematics 2011-08-02 Peter Situmbeko Nalitolela , Nikolai Dokuchaev

This paper studies the stability of discrete-time polynomial dynamical systems on hypergraphs by utilizing the Perron-Frobenius theorem for nonnegative tensors with respect to the tensors Z-eigenvalues and Z-eigenvectors. Firstly, for a…

Systems and Control · Electrical Eng. & Systems 2024-06-06 Shaoxuan Cui , Guofeng Zhang , Hildeberto Jardón-Kojakhmetov , Ming Cao

This paper presents new sufficient conditions for convergence and asymptotic or exponential stability of a stochastic discrete-time system, under which the constructed Lyapunov function always decreases in expectation along the system's…

Systems and Control · Computer Science 2019-06-05 Yuzhen Qin , Ming Cao , Brian D. O. Anderson

This paper studies the problem of passive grasp stability under an external disturbance, that is, the ability of a grasp to resist a disturbance through passive responses at the contacts. To obtain physically consistent results, such a…

A simple example that I have been requested illustrates the statement in E-print nlin.CD/0201060 that solutions of a smooth first order dynamic equation can be made Lyapunov stable at will by the choice of an appropriate time-dependent…

Chaotic Dynamics · Physics 2007-05-23 G. Sardanashvily

This paper is concerned with stability analysis of nonlinear time-varying systems by using Lyapunov function based approach. The classical Lyapunov stability theorems are generalized in the sense that the time-derivative of the Lyapunov…

Dynamical Systems · Mathematics 2017-08-18 Bin Zhou

There are recent shifts in demand for design controllers from simplified to complex model-based. Although simplification approaches are successful in many areas of engineering control systems, high-fidelity simulation-based control design,…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Jongrae Kim