Related papers: Stability and Safety through Event-Triggered Inter…
This letter investigates the prescribed-instant stabilization problem for high-order integrator systems. In anothor word, the settling time under the presented controller is independent of the initial conditions and equals the prescribed…
Immersion and Invariance is a technique for the design of stabilizing and adaptive controllers and state observers for nonlinear systems. In all these applications the problem considered is the stabilization of equilibrium points. Motivated…
In this work, we report the enhanced stability of induced synchronization observed through transient uncoupling in a class of unidirectionally coupled identical chaotic systems. The phenomenon of transient uncoupling implies the clipping of…
The design of robust orbitally stabilizing feedback is considered. From a known orbitally stabilizing controller for a nominal, disturbance-free system, a robustifying feedback extension is designed utilizing the sliding-mode control (SMC)…
A controller synthesis method for state- and input-constrained nonlinear systems is presented that seeks continuous piecewise affine (CPA) Lyapunov-like functions and controllers simultaneously. Non-convex optimization problems are…
This paper discusses cooperative stabilization control of rigid formations via an event-based approach. We first design a centralized event-based formation control system, in which a central event controller determines the next triggering…
We propose a provably stabilizing and tractable approach for control of constrained linear systems under intermittent observations and unreliable transmissions of control commands. A smart sensor equipped with a Kalman filter is employed…
We study the existence of asymptotically stable periodic trajectories induced by reset feedback. The analysis is developed for a planar system. Casting the problem into the hybrid setting, we show that a periodic orbit arises from the…
In this paper, we present a Lyapunov-based homogeneous controller for the stabilization of a perturbed chain of integrators of arbitrary order $r\geq 1$. The proposed controller is based on homogeneous controller for stabilization of pure…
We present a safety-critical controller for the problem of stabilization for force-controlled nonholonomic mobile robots. The proposed control law is based on the constructions of control Lyapunov functions (CLFs) and control barrier…
This note studies stability of event-triggered control systems with the event-triggered control algorithm proposed in [1]. We construct a novel Halanay-type inequality, which is used to show that sufficient conditions of the main results in…
For a general time-varying system, we prove that existence of an "Output Robust Control Lyapunov Function" implies existence of continuous time-varying feedback stabilizer, which guarantees output asymptotic stability with respect to the…
We propose a method for combining Harmonic Control Lyapunov-Barrier Functions (HCLBFs) derived from Signal Temporal Logic (STL) specifications with any given robot policy to turn an unsafe policy into a safe one with formal guarantees. The…
The property that every control system should posses is stability, which translates into safety in real-life applications. A central tool in systems theory for synthesizing control laws that achieve stability are control Lyapunov functions…
This paper considers enforcing safety and stability of dynamical systems in the presence of model uncertainty. Safety and stability constraints may be specified using a control barrier function (CBF) and a control Lyapunov function (CLF),…
This paper studies the problem of safe stabilization of control-affine systems under uncertainty. Our starting point is the availability of worst-case or probabilistic error descriptions for the dynamics and a control barrier function…
Control Lyapunov functions (CLFs) and control barrier functions (CBFs) have been used to develop provably safe controllers by means of quadratic programs (QPs), guaranteeing safety in the form of trajectory invariance with respect to a…
Due to the complexity and inconstancy of the space environment, accurate mathematical models for spacecraft rendezvous are difficult to obtain, which consequently complicates the control tasks. In this paper, a linearized time-variant plant…
This paper develops an approach to learn a policy of a dynamical system that is guaranteed to be both provably safe and goal-reaching. Here, the safety means that a policy must not drive the state of the system to any unsafe region, while…
Control Lyapunov Functions (CLFs) and Control Barrier Functions (CBFs) can be combined, typically by means of Quadratic Programs (QPs), to design controllers that achieve performance and safety objectives. However, a significant limitation…