Search Results - "IEEE control systems letters"

Control Barrier Functions for Signal Temporal Logic Tasks by Lindemann, Lars, Dimarogonas, Dimos V.

“…The need for computationally-efficient control methods of dynamical systems under temporal logic tasks has recently become more apparent. Existing methods are…”
Get full text

Willems' Fundamental Lemma for State-Space Systems and Its Extension to Multiple Datasets by van Waarde, Henk J., De Persis, Claudio, Camlibel, M. Kanat, Tesi, Pietro

“…Willems et al. 's fundamental lemma asserts that all trajectories of a linear system can be obtained from a single given one, assuming that a persistency of…”
Get full text

Robust Adaptive Control Barrier Functions: An Adaptive and Data-Driven Approach to Safety by Lopez, Brett T., Slotine, Jean-Jacques E., How, Jonathan P.

“…A new framework is developed for control of constrained nonlinear systems with structured parametric uncertainty. Forward invariance of a safe set is achieved…”
Get full text

A Linear Algorithm for Optimization Over Directed Graphs With Geometric Convergence by Ran Xin, Khan, Usman A.

“…In this letter, we study distributed optimization, where a network of agents, abstracted as a directed graph, collaborates to minimize the average of locally…”
Get full text

Nonsmooth Barrier Functions With Applications to Multi-Robot Systems by Glotfelter, Paul, Cortes, Jorge, Egerstedt, Magnus

“…As multi-agent systems become more wide-spread and versatile, the ability to satisfy multiple system-level constraints grows increasingly important. In…”
Get full text

Input-to-State Safety With Control Barrier Functions by Kolathaya, Shishir, Ames, Aaron D.

“…This letter presents a new notion of inputto-state safe control barrier functions (ISSf-CBFs), which ensure safety of nonlinear dynamical systems under input…”
Get full text

Learning an Approximate Model Predictive Controller With Guarantees by Hertneck, Michael, Kohler, Johannes, Trimpe, Sebastian, Allgower, Frank

“…A supervised learning framework is proposed to approximate a model predictive controller (MPC) with reduced computational complexity and guarantees on…”
Get full text

Guaranteed Obstacle Avoidance for Multi-Robot Operations With Limited Actuation: A Control Barrier Function Approach by Chen, Yuxiao, Singletary, Andrew, Ames, Aaron D.

“…This letter considers the problem of obstacle avoidance for multiple robotic agents moving in an environment with obstacles. A decentralized supervisory…”
Get full text

Can the COVID-19 Epidemic Be Controlled on the Basis of Daily Test Reports? by Casella, Francesco

“…This letter studies if and to which extent COVID-19 epidemics can be controlled by authorities taking decisions on public health measures on the basis of daily…”
Get full text

Training Robust Neural Networks Using Lipschitz Bounds by Pauli, Patricia, Koch, Anne, Berberich, Julian, Kohler, Paul, Allgower, Frank

“…Due to their susceptibility to adversarial perturbations, neural networks (NNs) are hardly used in safety-critical applications. One measure of robustness to…”
Get full text

Non-Asymptotic Identification of Linear Dynamical Systems Using Multiple Trajectories by Zheng, Yang, Li, Na

“…This letter considers the problem of linear time-invariant (LTI) system identification using input/output data. Recent work has provided non-asymptotic results…”
Get full text

Formal Synthesis of Lyapunov Neural Networks by Abate, Alessandro, Ahmed, Daniele, Giacobbe, Mirco, Peruffo, Andrea

“…We propose an automatic and formally sound method for synthesising Lyapunov functions for the asymptotic stability of autonomous non-linear systems…”
Get full text

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control by Gilpin, Yann, Kurtz, Vince, Lin, Hai

“…Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal specification language for symbolic control, due to its expressiveness and…”
Get full text

On the Exponential Stability of Primal-Dual Gradient Dynamics by Qu, Guannan, Li, Na

“…Continuous time primal-dual gradient dynamics (PDGD) that find a saddle point of a Lagrangian of an optimization problem have been widely used in systems and…”
Get full text

The Fastest Known Globally Convergent First-Order Method for Minimizing Strongly Convex Functions by Van Scoy, Bryan, Freeman, Randy A., Lynch, Kevin M.

“…We design and analyze a novel gradient-based algorithm for unconstrained convex optimization. When the objective function is m-strongly convex and its gradient…”
Get full text

Safe Controller Synthesis With Tunable Input-to-State Safe Control Barrier Functions by Alan, Anil, Taylor, Andrew J., He, Chaozhe R., Orosz, Gabor, Ames, Aaron D.

“…To bring complex systems into real world environments in a safe manner, they will have to be robust to uncertainties-both in the environment and the system…”
Get full text

Safety-Critical Kinematic Control of Robotic Systems by Singletary, Andrew, Kolathaya, Shishir, Ames, Aaron D.

“…Over the decades, kinematic controllers have proven to be practically useful for applications like set-point and trajectory tracking in robotic systems. To…”
Get full text

Control Barrier Function-Based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria by Reis, Matheus F., Aguiar, A. Pedro, Tabuada, Paulo

“…Control Lyapunov functions (CLFs) and control barrier functions (CBFs) have been used to develop provably safe controllers by means of quadratic programs…”
Get full text

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables by Kurtz, Vincent, Lin, Hai

“…Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in…”
Get full text

Optimal Covariance Control for Stochastic Systems Under Chance Constraints by Okamoto, Kazuhide, Goldshtein, Maxim, Tsiotras, Panagiotis

“…This letter addresses the optimal covariance control problem for stochastic discrete-time linear systems subject to chance constraints. To the best of our…”
Get full text