English
Related papers

Related papers: Scalable Computation of Controlled Invariant Sets …

200 papers

Control synthesis from temporal logic specifications has gained popularity in recent years. In this paper, we use a model predictive approach to control discrete time linear systems with additive bounded disturbances subject to constraints…

Systems and Control · Computer Science 2016-05-24 Sadra Sadraddini , Calin Belta

In this paper, we investigate delayed linear difference systems and establish several fundamental results. We first provide a Kalman-type rank condition tailored for delayed linear difference systems. Furthermore, we construct the discrete…

Optimization and Control · Mathematics 2025-08-20 Javad A. Asadzade , Nazim I. Mahmudov

Time-invariant finite-dimensional systems, under reasonable continuity assumptions, exhibit the property that if solutions exist for all future times, the set of vectors reachable from a bounded set of initial conditions over bounded time…

Systems and Control · Electrical Eng. & Systems 2026-03-25 Hernan Haimovich , Jose L. Mancilla-Aguilar

In the design of integrated circuits, one critical metric is the maximum delay introduced by combinational modules within the circuit. This delay is crucial because it represents the time required to perform a computation: in an…

Artificial Intelligence · Computer Science 2026-01-14 Alessandro Bertagnon , Marcello Dalpasso , Michele Favalli , Marco Gavanelli

This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed supervisory control problem has been investigated on the…

Systems and Control · Computer Science 2017-03-20 Renyuan Zhang , Kai Cai , Yongmei Gan , W. M. Wonham

We study delay-independent stability in nonlinear models with a distributed delay which have a positive equilibrium. Such models frequently occur in population dynamics and other applications. In particular, we construct a relevant…

Dynamical Systems · Mathematics 2009-01-12 Elena Braverman , Sergey Zhukovskiy

This paper proposes a model predictive controller for discrete-time linear systems with additive, possibly unbounded, stochastic disturbances and subject to chance constraints. By computing a polytopic probabilistic positively invariant set…

Optimization and Control · Mathematics 2024-09-23 Kai Wang , Kiet Tuan Hoang , Sébastien Gros

This paper deals with the exponential input-to-state stabilization with respect to boundary disturbances of a class of diagonal infinite-dimensional systems via delay boundary control. The considered input delays are uncertain and…

Optimization and Control · Mathematics 2020-03-13 Hugo Lhachemi , Robert Shorten , Christophe Prieur

In this paper we first study the fixed-time stabilizability of discrete-time switched linear control systems. Using a geometric approach, we derive conditions under which such systems can be stabilized within a prescribed number of steps,…

Optimization and Control · Mathematics 2026-04-30 Picchiotti Flavio , Thiago Alves Lima , Girard Antoine

We propose an extension of the theory of control sets to the case of inputs satisfying a dwell-time constraint. Although the class of such inputs is not closed under concatenation, we propose a suitably modified definition of control sets…

Optimization and Control · Mathematics 2019-02-12 Francesco Boarotto , Mario Sigalotti

We complete the first step towards the resolution of several decades-old challenges in disturbance-robust adaptive control. For a scalar linear system with an unknown parameter for which no a priori bound is given, with a disturbance that…

Optimization and Control · Mathematics 2023-04-07 Iasson Karafyllis , Miroslav Krstic , Alexandros Aslanidis

We provide two solutions to the heretofore open problem of stabilization of systems with arbitrarily long delays at the input and output of a nonlinear system using output feedback only. Both of our solutions are global, employ the…

Optimization and Control · Mathematics 2011-08-24 Iasson Karafyllis , Miroslav Krstic

A method is devised for numerically solving a class of finite-horizon optimal control problems subject to cascade linear discrete-time dynamics. It is assumed that the linear state and input inequality constraints, and the quadratic measure…

Optimization and Control · Mathematics 2017-10-13 Michael Cantoni , Farhad Farokhi , Eric C. Kerrigan , Iman Shames

This paper studies the problem of selecting a minimum-size set of input nodes to guarantee stability of a networked system in the presence of uncertainties and time delays. Current approaches to input selection in networked dynamical…

Optimization and Control · Mathematics 2017-12-13 Zhipeng Liu , Yao Long , Andrew Clark , Phillip Lee , Linda Bushnell , Daniel Kirschen , Radha Poovendran

In this paper we consider a class of linear time invariant systems with infinitely many unstable modes. By using the parameterization of all stabilizing controllers, we show that H-infinity controllers for such systems can be computed using…

Systems and Control · Electrical Eng. & Systems 2020-03-03 Suat Gumussoy , Hitay Ozbay

This paper proposes a supervisory control structure for networked systems with time-varying delays. The control structure, in which a supervisor triggers the most appropriate controller from a multi-controller unit, aims at improving the…

Systems and Control · Computer Science 2013-03-28 Burak Demirel , Corentin Briat , Mikael Johansson

The pseudospectrum of a linear time-invariant system is the set in the complex plane consisting of all the roots of the characteristic equation when the system matrices are subjected to all possible perturbations with a given upper bound.…

Systems and Control · Electrical Eng. & Systems 2020-03-19 Suat Gumussoy , Wim Michiels

In this paper, we investigate the mean-square stabilization for discrete-time stochastic systems that endure both multiple input delays and multiplicative control-dependent noises. For such multi-delay stochastic systems, we for the first…

Optimization and Control · Mathematics 2023-03-16 Cheng Tan , Zhengqiang Zhang , Haoting Sui , Wing Shing Wong

We consider the modeling, stability analysis and controller design problems for discrete-time LTI systems with state feedback, when the actuation signal is subject to switching propagation delays, due to e.g. the routing in a multi-hop…

Optimization and Control · Mathematics 2014-01-09 R. M. Jungers , A. D'Innocenzo , M. D. Di Benedetto

Recently we studied communication delay in distributed control of untimed discrete-event systems based on supervisor localization. We proposed a property called delay-robustness: the overall system behavior controlled by distributed…

Systems and Control · Computer Science 2017-05-02 Renyuan Zhang , Kai Cai , Yongmei Gan , W. M. Wonham
‹ Prev 1 3 4 5 6 7 10 Next ›