中文
相关论文

相关论文: Graph-Based Controller Synthesis for Safety-Constr…

200 篇论文

Many robot control scenarios involve assessing system robustness against a task specification. If either the controller or environment are composed of "black-box" components with unknown dynamics, we cannot rely on formal verification to…

机器人学 · 计算机科学 2022-02-23 Craig Innes , Subramanian Ramamoorthy

This paper proposes a framework for secure and resilient controller design for positive systems against cyber-attacks. In particular, we consider a network-controlled system where an adversary injects false data into the actuator channels…

系统与控制 · 电气工程与系统科学 2026-05-12 Alba Gurpegui , Sribalaji C. Anand , André M. H. Teixeira

Autonomous systems are emerging in many application domains. With the recent advancements in artificial intelligence and machine learning, sensor technology, perception algorithms and robotics, scenarios previously requiring strong human…

密码学与安全 · 计算机科学 2023-12-05 Mohammad Hamad , Sebastian Steinhorst

This paper introduces the notion of quantitative resilience of a control system. Following prior work, we study systems enduring a loss of control authority over some of their actuators. Such a malfunction results in actuators producing…

系统与控制 · 电气工程与系统科学 2022-01-03 Jean-Baptiste Bouvier , Kathleen Xu , Melkior Ornik

Collaborative decision-making is an essential capability for multi-robot systems, such as connected vehicles, to collaboratively control autonomous vehicles in accident-prone scenarios. Under limited communication bandwidth, capturing…

机器人学 · 计算机科学 2023-11-01 Peng Gao , Yu Shen , Ming C. Lin

This paper proposes a distributed controller synthesis framework for safe navigation of multi-agent systems. We leverage control barrier functions to formulate collision avoidance with obstacles and teammates as constraints on the control…

系统与控制 · 电气工程与系统科学 2024-05-03 Pol Mestres , Carlos Nieto-Granda , Jorge Cortés

The paper deals with the problem of optimization of a guaranteed (worst case) result for a control system described by an ordinary differential equation. The disturbances as functions of time are subject to functional constraints belonging…

最优化与控制 · 数学 2014-08-28 Dmitrii A. Serkov

We consider the joint design of control and scheduling under stochastic Denial-of-Service (DoS) attacks in the context of networked control systems. A sensor takes measurements of the system output and forwards its dynamic state estimates…

系统与控制 · 电气工程与系统科学 2022-04-12 Jingyi Lu , Daniel E. Quevedo

We consider a discrete-time linear-quadratic Gaussian control problem in which we minimize a weighted sum of the directed information from the state of the system to the control input and the control cost. The optimal control and sensing…

系统与控制 · 电气工程与系统科学 2020-04-14 Murat Cubuktepe , Takashi Tanaka , Ufuk Topcu

This paper addresses a fundamental and important question in control: under what conditions does there fail to exist a robust control policy that keeps the state of a constrained linear system within a target set, despite bounded…

系统与控制 · 电气工程与系统科学 2025-07-08 Paul Trodden , José M. Maestre , Hideaki Ishii

As self-driving systems become better, simulating scenarios where the autonomy stack may fail becomes more important. Traditionally, those scenarios are generated for a few scenes with respect to the planning module that takes ground-truth…

机器人学 · 计算机科学 2023-04-18 Jingkang Wang , Ava Pun , James Tu , Sivabalan Manivasagam , Abbas Sadat , Sergio Casas , Mengye Ren , Raquel Urtasun

Control Co-Design (CCD) considers the coupled effects of both the plant and control parameters to optimize a system's closed-loop transient performance during the design stage. This paper presents a new method for CCD with guarantees on…

系统与控制 · 电气工程与系统科学 2023-10-19 Trevor J. Bird , Jacob A. Siefert , Herschel C. Pangborn , Neera Jain

We present a method for optimal control with respect to a linear cost function for positive linear systems with coupled input constraints. We show that the optimal cost function and resulting sparse state feedback for these systems can be…

最优化与控制 · 数学 2023-11-07 David Ohlin , Emma Tegling , Anders Rantzer

Control parallelism and data parallelism is mostly reasoned and optimized as separate functions. Because of this, workloads that are irregular, fine-grain and dynamic such as dynamic graph processing become very hard to scale. An…

分布式、并行与集群计算 · 计算机科学 2023-03-08 Bibrak Qamar Chandio , Thomas Sterling , Prateek Srivastava

We consider a nonlinear control system with vector-valued measures as controls and with dynamics depending on time delayed states. First, we introduce a notion of discontinuous, bounded variation solution associated with this system and…

最优化与控制 · 数学 2024-09-02 Giovanni Fusco , Monica Motta , Richard Vinter

Autonomous systems are composed of several subsystems such as mechanical, propulsion, perception, planning and control. These are traditionally designed separately which makes performance optimization of the integrated system a significant…

机器人学 · 计算机科学 2022-03-01 Hongrui Zheng , Johannes Betz , Rahul Mangharam

The hype around self-driving cars has been growing over the past years and has sparked much research. Several modules in self-driving cars are thoroughly investigated to ensure safety, comfort, and efficiency, among which the controller is…

机器人学 · 计算机科学 2024-10-17 Jilan Samiuddin , Benoit Boulet , Di Wu

Controllability is one of the central concepts of modern control theory that allows a good understanding of a system's behaviour. It consists in constraining a system to reach the desired state from an initial state within a given time…

元胞自动机与格子气 · 物理学 2024-03-07 Sara Dridi , Samira El Yacoubi , Franco Bagnoli , Allyx Fontaine

The graphical notion of effective resistance has found wide-ranging applications in many areas of pure mathematics, applied mathematics and control theory. By the nature of its construction, effective resistance can only be computed in…

最优化与控制 · 数学 2013-10-23 George Forrest Young , Luca Scardovi , Naomi Ehrich Leonard

We investigate the vulnerabilities of consensus-based distributed optimization protocols to nodes that deviate from the prescribed update rule (e.g., due to failures or adversarial attacks). We first characterize certain fundamental…

系统与控制 · 计算机科学 2016-06-30 Shreyas Sundaram , Bahman Gharesifard