English
Related papers

Related papers: Maximally Resilient Controllers under Temporal Log…

200 papers

We will present a new general framework for robust and adaptive control that allows for distributed and scalable learning and control of large systems of interconnected linear subsystems. The control method is demonstrated for a linear…

Systems and Control · Computer Science 2019-04-02 Dimitar Ho , John C. Doyle

This paper is concerned with robust instability analysis for linear multi-agent dynamical systems with cyclic structure. This relates to interesting and important periodic oscillation phenomena in biology and neuronal science, since the…

Systems and Control · Electrical Eng. & Systems 2021-01-28 Shinji Hara , Tetsuya Iwasaki , Yutaka Hori

We investigate the problem of practical output regulation, i.e., to design a controller that brings the system output in the vicinity of a desired target value while keeping the other variables bounded. We consider uncertain systems that…

Optimization and Control · Mathematics 2021-07-19 Mohammad Saeed Sarafraz , Anton V. Proskurnikov , Mohammad Saleh Tavazoei , Peyman Mohajerin Esfahani

We investigate stability analysis and controller design of unknown continuous-time systems under state-feedback with aperiodic sampling, using only noisy data but no model knowledge. We first derive a novel data-dependent parametrization of…

Optimization and Control · Mathematics 2022-08-26 Julian Berberich , Stefan Wildhagen , Michael Hertneck , Frank Allgöwer

In this paper we present a dynamic programing approach to stochastic optimal control problems with dynamic, time-consistent risk constraints. Constrained stochastic optimal control problems, which naturally arise when one has to consider…

Optimization and Control · Mathematics 2015-11-24 Yin-Lam Chow , Marco Pavone

In this paper, we focus on formal synthesis of control policies for finite Markov decision processes with non-negative real-valued costs. We develop an algorithm to automatically generate a policy that guarantees the satisfaction of a…

Logic in Computer Science · Computer Science 2013-09-10 Maria Svorenova , Ivana Cerna , Calin Belta

In this paper, we develop safe reinforcement-learning-based controllers for systems tasked with accomplishing complex missions that can be expressed as linear temporal logic specifications, similar to those required by search-and-rescue…

Systems and Control · Electrical Eng. & Systems 2022-03-30 Aris Kanellopoulos , Filippos Fotiadis , Chuangchuang Sun , Zhe Xu , Kyriakos G. Vamvoudakis , Ufuk Topcu , Warren E. Dixon

We present three dynamic error feedback controllers for robust output regulation of regular linear systems. These controllers are (i) a minimal order robust controller for exponentially stable systems (ii) an observer-based robust…

Optimization and Control · Mathematics 2017-01-16 Lassi Paunonen

End-to-end engineering design pipelines, in which designs are evaluated using concurrently defined optimal controllers, are becoming increasingly common in practice. To discover designs that perform well even under the misspecification of…

Systems and Control · Electrical Eng. & Systems 2025-10-10 Yash Patel , Sahana Rayan , Ambuj Tewari

Critical systems must be designed resilient to all kinds of malfunctions. We are especially interested by the loss of control authority over actuators. This malfunction considers actuators producing uncontrolled and possibly undesirable…

Systems and Control · Electrical Eng. & Systems 2022-03-25 Jean-Baptiste Bouvier , Melkior Ornik

We present stability conditions for deterministic time-varying nonlinear discrete-time systems whose inputs aim to minimize an infinite-horizon time-dependent cost. Global asymptotic and exponential stability properties for general…

Systems and Control · Electrical Eng. & Systems 2023-08-28 Sifeddine Benahmed , Romain Postoyan , Mathieu Granzotto , Lucian Buşoniu , Jamal Daafouz , Dragan Nešić

This paper is concerned with the design of optimal control for finite-dimensional control-affine nonlinear dynamical systems. We introduce an optimal control problem that specifically optimizes nonlinear observability in addition to…

Systems and Control · Computer Science 2017-08-03 Atiye Alaeddini , Kristi A. Morgansen , Mehran Mesbahi

This paper presents a general framework for the design of linear controllers for linear systems subject to time-domain constraints. The design framework exploits sums-of-squares techniques to incorporate the time-domain constraints on…

Optimization and Control · Mathematics 2012-05-04 W. H. T. M. Aangenent , W. P. M. H. Heemels , M. J. G. Van De Molengraft , Didier Henrion , Maarten Steinbuch

The notion of a part of phase space containing desired (or allowed) states of a dynamical system is important in a wide range of complex systems research. It has been called the safe operating space, the viability kernel or the sunny…

Adaptation and Self-Organizing Systems · Physics 2016-07-15 Frank Hellmann , Paul Schultz , Carsten Grabow , Jobst Heitzig , Jürgen Kurths

This paper addresses the problem of finite horizon constrained robust optimal control for nonlinear systems subject to norm-bounded disturbances. To this end, the underlying uncertain nonlinear system is decomposed based on a first-order…

Optimization and Control · Mathematics 2025-08-01 Antoine P. Leeman , Johannes Köhler , Andrea Zanelli , Samir Bennani , Melanie N. Zeilinger

Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop a direct data-driven control synthesis method for temporal…

Systems and Control · Electrical Eng. & Systems 2024-04-05 Birgit C. van Huijgevoort , Chris Verhoek , Roland Tóth , Sofie Haesaert

When a malfunction causes a control system to lose authority over a subset of its actuators, achieving a task may require spending additional energy in order to compensate for the effect of uncontrolled inputs. To understand this increase…

Optimization and Control · Mathematics 2025-05-13 Ram Padmanabhan , Melkior Ornik

Signal Temporal Logic (STL) is an efficient technique for describing temporal constraints. It can play a significant role in robotic manipulation, for example, to optimize the robot performance according to task-dependent metrics. In this…

Robotics · Computer Science 2021-10-04 Akshay Dhonthi , Philipp Schillinger , Leonel Rozo , Daniele Nardi

In this chapter, we introduce methods to address resiliency issues for control systems. The main challenge for control systems is its cyber-physical system nature which strongly couples the cyber systems with physical layer dynamics. Hence…

Systems and Control · Electrical Eng. & Systems 2021-05-19 Quanyan Zhu

We consider a problem on the synthesis of reactive controllers that optimize some a priori unknown performance criterion while interacting with an uncontrolled environment such that the system satisfies a given temporal logic specification.…

Logic in Computer Science · Computer Science 2015-03-09 Min Wen , Ruediger Ehlers , Ufuk Topcu