English
Related papers

Related papers: Approximately bisimilar symbolic models for increm…

200 papers

Switching dynamical systems provide a powerful, interpretable modeling framework for inference in time-series data in, e.g., the natural sciences or engineering applications. Since many areas, such as biology or discrete-event systems, are…

Machine Learning · Computer Science 2021-09-30 Lukas Köhs , Bastian Alt , Heinz Koeppl

The problem of finding a finite state symbolic model which is bisimilar to a hybrid dynamical system (HDS) and has the minimum number of states is considered. The considered class of HDS allows for discrete-valued inputs that only affect…

Systems and Control · Computer Science 2014-09-02 Babak Tavassoli

One of the main aspects of switched affine systems that makes their stabilizability study intricate is the existence of (generally) infinitely many equilibrium points in the state space. Thus, prior to designing the switched control, the…

Systems and Control · Electrical Eng. & Systems 2021-01-12 Lucas N. Egidio , Anders Hansson

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

In this paper we present a switching control strategy to incrementally stabilize a class of nonlinear dynamical systems. Exploiting recent results on contraction analysis of switched Filippov systems derived using regularization, sufficient…

Systems and Control · Computer Science 2020-03-18 Mario di Bernardo , Davide Fiore

This paper presents novel stabilizability conditions for switched linear systems with arbitrary and uncontrollable underlying switching signals. We distinguish and study two particular settings: i) the \emph{robust} case, in which the…

Optimization and Control · Mathematics 2023-06-21 Matteo Della Rossa , Thiago Alves Lima , Marc Jungers , Raphaël M. Jungers

This article deals with input-to-state stability (ISS) of continuous-time switched nonlinear systems. Given a family of systems with exogenous inputs such that not all systems in the family are ISS, we characterize a new and general class…

Systems and Control · Computer Science 2017-11-27 Atreyee Kundu , Debasish Chatterjee , Daniel Liberzon

Autonomous agents are often tasked with operating in an area where feedback is unavailable. Inspired by such applications, this paper develops a novel switched systems-based control method for uncertain nonlinear systems with temporary loss…

Systems and Control · Computer Science 2018-03-16 Hsi-Yuan Chen , Zachary I. Bell , Patryk Deptula , Warren E. Dixon

In this paper, we present a novel approach to determine the stability of switched linear and nonlinear systems using Sum of Squares optimisation. Particularly, we use Sum of Squares optimisation to search for a Lyapunov function that…

Dynamical Systems · Mathematics 2023-06-26 Jacopo Piccini , Elias August , Sigurdur Hafstein , Stefania Andersen

In this work we show that given a nonlinear programming problem, it is possible to construct a family of dynamical systems defined on the feasible set of the given problem, so that: (a) the equilibrium points are the unknown critical points…

Optimization and Control · Mathematics 2012-11-07 Iasson Karafyllis

In this article we study algorithmic synthesis of the class of stabilizing switching signals for discrete-time switched linear systems proposed in [12]. A weighted digraph is associated in a natural way to a switched system, and the…

Systems and Control · Computer Science 2019-05-27 Atreyee Kundu , Niranjan Balachandran , Debasish Chatterjee

This paper presents a Lyapunov function based control strategy for networked control systems (NCS) affected by variable time delays and data loss. A special focus is put on the reduction of the computational complexity. A specific buffering…

Systems and Control · Electrical Eng. & Systems 2023-06-13 Katarina Stanojevic , Martin Steinberger , Martin Horn

We consider here systems with piecewise linear dynamics that are periodically sampled with a given period {\tau} . At each sampling time, the mode of the system, i.e., the parameters of the linear dynamics, can be switched, according to a…

Logic in Computer Science · Computer Science 2011-11-15 Laurent Fribourg , Bertrand Revol , Romain Soulat

We propose a stability analysis method for sampled-data switched linear systems with finite-level static quantizers. In the closed-loop system, information on the active mode of the plant is transmitted to the controller only at each…

Systems and Control · Computer Science 2015-09-03 Masashi Wakaiki , Yutaka Yamamoto

Power systems, including synchronous generator systems, are typical systems that strive for stable operation. In this article, we numerically study the fault transient process of a synchronous generator system based on the first benchmark…

Numerical Analysis · Mathematics 2025-02-25 Sixu Wu , Feng Ji , Lu Gao , Ruili Zhang , Cunwei Tang , Yifa Tang

Computational simulations are a popular method for testing hypotheses about the emergence of communication. This kind of research is performed in a variety of traditions including language evolution, developmental psychology, cognitive…

Artificial Intelligence · Computer Science 2023-03-09 Julian Zubek , Tomasz Korbak , Joanna Rączaszek-Leonardi

Distributed consensus-based controllers for optimal secondary frequency regulation of microgrids and power systems have received substantial attention in recent years. This paper provides a Lyapunov-based proof that, under a time-scale…

Optimization and Control · Mathematics 2020-03-11 John W. Simpson-Porco

This article aims to investigate sufficient conditions for the stability of stochastic differential equations with a random structure, particularly in contexts involving the presence of concentration points. The proof of asymptotic…

Probability · Mathematics 2023-05-22 Taras Lukashiv , Igor V. Malyk , Maryna Chepeleva , Petr V. Nazarov

In this work, we propose the design and analysis of a novel continuous robust controller for a class of multi--input multi--output (MIMO) nonlinear uncertain systems. The systems under consideration contains unstructured uncertainties in…

Optimization and Control · Mathematics 2013-01-24 Baris Bidikli , Enver Tatlicioglu , Erkan Zergeroglu , Alper Bayrak

In this article, we present a new scheme that approximates unknown sensorimotor models of robots by using feedback signals only. The formulation of the uncalibrated sensor-based regulation problem is first formulated, then, we develop a…

Robotics · Computer Science 2020-07-07 David Navarro-Alarcon , Jiaming Qi , Jihong Zhu , Andrea Cherubini