Searcharxiv⌕ Search

arXiv subjects

Ricardo Sanfelice

Publications and source records attributed to Ricardo Sanfelice.

6 recordsLinked to original sources

A Hybrid Systems Model of Feedback Optimization for Linear Systems: Convergence and Robustness

Feedback optimization algorithms compute inputs to a system using real-time output measurements, which helps mitigate the effects of disturbances. However, existing work often models both system dynamics and computations in either discrete or continuous time, which may not accurately model some applications. In this work, we model linear system dynamics in continuous time, and we model the computations of inputs in discrete time. Therefore, we present a novel hybrid systems model of feedback optimization. We first establish the well-posedness of this hybrid model and establish completeness of solutions while ruling out Zeno behavior. Then we show the state of the system converges exponentially fast to a ball of known radius about a desired goal state. Next we analytically show that this system is robust to perturbations in (i) the values of measured outputs, (ii) the matrices that model the linear time-invariant system, and (iii) the times at which inputs are applied to the system. Simulation results confirm that this approach successfully mitigates the effects of disturbances.

eess.SY↗

cHyRRT and cHySST: Two Motion Planning Tools for Hybrid Dynamical Systems

This paper presents two implementations of the recently developed motion planning algorithms HyRRT arXiv:2210.1508(2) and HySST arXiv:2305.1864(9). Specifically, cHyRRT, an implementation of the HyRRT algorithm, generates solutions to motion planning problems for hybrid systems with a probabilistic completeness guarantee, while cHySST, an implementation of the asymptotically near-optimal HySST algorithm, finds near-optimal trajectories based on a user-defined cost function. The implementations align with the theoretical foundations of hybrid system theory and are designed based on OMPL, ensuring compatibility with ROS while prioritizing computational efficiency. The structure, components, and usage of both tools are detailed. A modified pinball game and collision-resilient tensegrity multicopter example are provided to illustrate the tools' key capabilities.

cs.RO↗

Deep Nonlinear Adaptive Control for Unmanned Aerial Systems Operating under Dynamic Uncertainties

Recent literature in the field of machine learning (ML) control has shown promising theoretical results for a Deep Neural Network (DNN) based Nonlinear Adaptive Controller (DNAC) capable of achieving trajectory tracking for nonlinear systems. Expanding on this work, this paper applies DNAC to the Attitude Control System (ACS) of a quadrotor and shows improvement to attitude control performance under disturbed flying conditions where the model uncertainty is high. Moreover, these results are noteworthy for ML control because they were achieved with no prior training data and an arbitrary system dynamics initialization; simply put, the controller presented in this paper is practically modelless, yet yields the ability to force trajectory tracking for nonlinear systems while rejecting significant undesirable model disturbances learned through a DNN. The combination of ML techniques to learn a system's dynamics and the Lyapunov analysis required to provide stability guarantees leads to a controller with applications in safety-critical systems that may undergo uncertain model changes, as is the case for most aerial systems. Experimental findings are analyzed in the final section of this paper, and DNAC is shown to outperform the trajectory tracking capabilities of PID, MRAC, and the recently developed Deep Model Reference Adaptive Control (DMRAC) schemes.

eess.SY↗

CLF-Based Control for Hybrid Dynamical Systems

Pointwise minimum norm control laws for hybrid dynamical systems are proposed. Hybrid systems are given by differential equations capturing the continuous dynamics or flows, and by difference equations capturing the discrete dynamics or jumps. The proposed control laws are defined as the pointwise minimum norm selection from the set of inputs guaranteeing a decrease of a control Lyapunov function. The cases of individual and common inputs during flows and jumps, as well as when inputs enter through one of the system dynamics, are considered. Examples illustrate the results.

math.OC↗

Forward Invariance of Sets for Hybrid Dynamical Systems (Part II)

This article presents tools for the design of control laws inducing robust controlled forward invariance of a set for hybrid dynamical systems modeled as hybrid inclusions. A set has the robust controlled forward invariance property via a control law if every solution to the closed-loop system that starts from the set stays within the set for all future time, regardless of the value of the disturbances. Building on the first part of this article, which focuses on analysis (Chai and Sanfelice, 2019), in this article, sufficient conditions for generic sets to enjoy such a property are proposed. To construct invariance inducing state-feedback laws, the notion of robust control Lyapunov function for forward invariance is defined. The proposed synthesis results rely on set-valued maps that include all admissible control inputs that keep closed-loop solutions within the set of interest. Results guaranteeing the existence of such state-feedback laws are also presented. Moreover, conditions for the design of continuous state-feedback laws with minimum point-wise norm are provided. Major results are illustrated throughout this article in a constrained bouncing ball system and a robotic manipulator application.

math.DS↗

A unifying convex analysis and switching system approach to consensus with undirected communication graphs

Switching between finitely many continuous-time autonomous steepest descent dynamics for convex functions is considered. Convergence of complete solutions to common minimizers of the convex functions, if such minimizers exist, is shown. The convex functions need not be smooth and may be subject to constraints. Since the common minimizers may represent consensus in a multi-agent system modeled by an undirected communication graph, several known results about asymptotic consensus are deduced as special cases. Extensions to time-varying convex functions and to dynamics given by set-valued mappings more general than subdifferentials of convex functions are included.

math.OC↗