English
Related papers

Related papers: A Constructive Method for Designing Safe Multirate…

200 papers

When designing controllers for safety-critical systems, practitioners often face a challenging tradeoff between robustness and performance. While robust control methods provide rigorous guarantees on system stability under certain…

Machine Learning · Computer Science 2021-04-27 Priya L. Donti , Melrose Roderick , Mahyar Fazlyab , J. Zico Kolter

Safety in dynamic systems with prevalent uncertainties is crucial. Current robust safe controllers, designed primarily for uni-modal uncertainties, may be either overly conservative or unsafe when handling multi-modal uncertainties. To…

Robotics · Computer Science 2023-10-02 Tianhao Wei , Liqian Ma , Ravi Pandya , Changliu Liu

Incremental stability is a property of dynamical and control systems, requiring the uniform asymptotic stability of every trajectory, rather than that of an equilibrium point or a particular time-varying trajectory. Similarly to stability,…

Optimization and Control · Mathematics 2012-07-03 Majid Zamani , Nathan van de Wouw , Rupak Majumdar

This paper investigates the synthesis of robust controllers from logical specification of regular properties given in an interval temporal logic QDDC. Our specification encompasses both hard robustness and soft robustness. Here, hard…

Logic in Computer Science · Computer Science 2019-05-28 Paritosh K. Pandya , Amol Wakankar

This paper considers the problem of designing a continuous-time dynamical system that solves a constrained nonlinear optimization problem and makes the feasible set forward invariant and asymptotically stable. The invariance of the feasible…

Optimization and Control · Mathematics 2024-08-27 Ahmed Allibhoy , Jorge Cortés

The current limitation in the synthesis of distributed $\mathscr{H}_2$ controllers for linear interconnected systems is scalability due to non-convex or unstructured synthesis conditions. In this paper we develop convex and structured…

Systems and Control · Electrical Eng. & Systems 2021-01-15 Tom R. V. Steentjes , Mircea Lazar , Paul M. J. Van den Hof

Complex real-world applications of cyber-physical systems give rise to the need for multi-objective controller synthesis, which concerns the problem of computing an optimal controller subject to multiple (possibly conflicting) criteria. The…

Artificial Intelligence · Computer Science 2022-03-04 Shenghui Chen , Kayla Boggess , David Parker , Lu Feng

Ensuring both performance and safety is critical for autonomous systems operating in real-world environments. While safety filters such as Control Barrier Functions (CBFs) enforce constraints by modifying nominal controllers in real time,…

Systems and Control · Electrical Eng. & Systems 2025-07-21 Aditya Singh , Aastha Mishra , Manan Tayal , Shishir Kolathaya , Pushpak Jagtap

In recent years, formal methods have been extensively used in the design of autonomous systems. By employing mathematically rigorous techniques, formal methods can provide fully automated reasoning processes with provable safety guarantees…

Systems and Control · Electrical Eng. & Systems 2024-02-21 Xiang Yin , Bingzhao Gao , Xiao Yu

This paper describes the design process for developing a nonlinear model predictive controller for fault tolerant flight control. After examining and implementing a number of numerical techniques, this paper identifies pseudospectral…

Optimization and Control · Mathematics 2016-10-10 Rudaba Khan , Paul Williams , Paul Riseborough , Asha Rao , Robin Hill

Collaborative robots and space manipulators contain significant joint flexibility. It complicates the control design, compromises the control bandwidth, and limits the tracking accuracy. The imprecise knowledge of the flexible joint…

Robotics · Computer Science 2020-03-12 Shuyang Chen , John Wen

We propose a robust model predictive control (MPC) method for discrete-time linear systems with polytopic model uncertainty and additive disturbances. Optimizing over linear time-varying (LTV) state feedback controllers has been…

Systems and Control · Electrical Eng. & Systems 2023-09-28 Shaoru Chen , Victor M. Preciado , Manfred Morari , Nikolai Matni

Positive-negative pressure regulation is critical to soft robotic actuators, enabling large motion ranges and versatile actuation modes. However, it remains challenging due to complex nonlinearities, oscillations, and direction-dependent,…

Systems and Control · Electrical Eng. & Systems 2025-10-02 Yu Mei , Xinyu Zhou , Xiaobo Tan

This paper considers the optimization landscape of linear dynamic output feedback control with $\mathcal{H}_\infty$ robustness constraints. We consider the feasible set of all the stabilizing full-order dynamical controllers that satisfy an…

Optimization and Control · Mathematics 2023-07-07 Bin Hu , Yang Zheng

So far, many control algorithms have been developed for singularly perturbed systems. However, in many industrial processes, enforcing closed-loop fast-slow dynamics for peculiarly non-separable ones is a prior request and a crucial issue…

Systems and Control · Electrical Eng. & Systems 2024-10-30 Xinglong Zhang , Wei Jiang , Shuyou Yu , Xin Xu , Zhizhong Li

The mechanical simplicity, hover capabilities, and high agility of quadrotors lead to a fast adaption in the industry for inspection, exploration, and urban aerial mobility. On the other hand, the unstable and underactuated dynamics of…

Robotics · Computer Science 2022-02-11 Fang Nan , Sihao Sun , Philipp Foehn , Davide Scaramuzza

In this paper, we investigate the problem of unified prescribed performance tracking for a class of non-square strict-feedback nonlinear systems under relaxed controllability conditions. By using a skillful matrix decomposition and…

Systems and Control · Electrical Eng. & Systems 2025-08-15 Bing Zhou , Kai Zhao , Yongduan Song , Zhen Chen

We study the constrained linear quadratic regulator with unknown dynamics, addressing the tension between safety and exploration in data-driven control techniques. We present a framework which allows for system identification through…

Optimization and Control · Mathematics 2019-07-09 Sarah Dean , Stephen Tu , Nikolai Matni , Benjamin Recht

We present a novel method of optimal robust control through quadratic programs that offers tracking stability while subject to input and state-based constraints as well as safety-critical constraints for nonlinear dynamical robotic systems…

Systems and Control · Electrical Eng. & Systems 2021-04-14 Quan Nguyen , Koushil Sreenath

This paper presents a scheme to design a tracking controller for a class of uncertain nonlinear systems using a robust feedback linearization approach. The scheme is composed of two steps. In the first step, a linearized uncertainty model…

Systems and Control · Computer Science 2012-03-01 Obaid Ur Rehman , Ian R. Petersen , Barıs Fidan