中文
相关论文

相关论文: A Constructive Method for Designing Safe Multirate…

200 篇论文

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…

机器学习 · 计算机科学 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…

机器人学 · 计算机科学 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,…

最优化与控制 · 数学 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…

计算机科学中的逻辑 · 计算机科学 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…

最优化与控制 · 数学 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…

系统与控制 · 电气工程与系统科学 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…

人工智能 · 计算机科学 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,…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 电气工程与系统科学 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…

最优化与控制 · 数学 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…

机器人学 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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,…

系统与控制 · 电气工程与系统科学 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…

最优化与控制 · 数学 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…

系统与控制 · 电气工程与系统科学 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…

机器人学 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

最优化与控制 · 数学 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…

系统与控制 · 电气工程与系统科学 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…

系统与控制 · 计算机科学 2012-03-01 Obaid Ur Rehman , Ian R. Petersen , Barıs Fidan