skip to main content


Title: A Hybrid PID Design for Asymptotic Stabilization with Intermittent Measurements
In this paper, we propose a modeling and design technique for a proportional-integral-derivative (PID) controller in the presence of aperiodic intermittent sensor measurements. Using classical control design methods, PID controllers can be designed when measurements are available periodically, at discrete time instances, or continuously. Unfortunately, such design do not apply when measurements are available intermittently. Using the hybrid inclusions framework, we model the continuous-time plant to control, the mechanism triggering intermittent measurements, and a hybrid PID control law defining a hybrid closed-loop system. We provide sufficient conditions for uniform global asymptotic stability using Lyapunov set stability methods. These sufficient conditions are used for the design of the gains of the hybrid PID controller. Also, we propose relaxed sufficient conditions to provide a computationally tractable design method leveraging a polytopic embedding approach. The results are illustrated via numerical examples.  more » « less
Award ID(s):
1710621
NSF-PAR ID:
10094224
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
2018 IEEE Conference on Decision and Control
Page Range / eLocation ID:
737 to 742
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    This paper presents a generalizable methodology for data-driven identification of nonlinear dynamics that bounds the model error in terms of the prediction horizon and the magnitude of the derivatives of the system states. Using higher order derivatives of general nonlinear dynamics that need not be known, we construct a Koopman operator-based linear representation and utilize Taylor series accuracy analysis to derive an error bound. The resulting error formula is used to choose the order of derivatives in the basis functions and obtain a data-driven Koopman model using a closed-form expression that can be computed in real time. Using the inverted pendulum system, we illustrate the robustness of the error bounds given noisy measurements of unknown dynamics, where the derivatives are estimated numerically. When combined with control, the Koopman representation of the nonlinear system has marginally better performance than competing nonlinear modeling methods, such as SINDy and NARX. In addition, as a linear model, the Koopman approach lends itself readily to efficient control design tools, such as LQR, whereas the other modeling approaches require nonlinear control methods. The efficacy of the approach is further demonstrated with simulation and experimental results on the control of a tail-actuated robotic fish. Experimental results show that the proposed data-driven control approach outperforms a tuned PID (Proportional Integral Derivative) controller and that updating the data-driven model online significantly improves performance in the presence of unmodeled fluid disturbance. This paper is complemented with a video: https://youtu.be/9 wx0tdDta0. 
    more » « less
  2. null (Ed.)
    Defense mechanisms against network-level attacks are commonly based on the use of cryptographic techniques, such as lengthy message authentication codes (MAC) that provide data integrity guarantees. However, such mechanisms require significant resources (both computational and network bandwidth), which prevents their continuous use in resource-constrained cyber-physical systems (CPS). Recently, it was shown how physical properties of controlled systems can be exploited to relax these stringent requirements for systems where sensor measurements and actuator commands are transmitted over a potentially compromised network; specifically, that merely intermittent use of data authentication (i.e., at occasional time points during system execution), can still provide strong Quality-of-Control (QoC) guarantees even in the presence of false-data injection attacks, such as Man-in-the-Middle (MitM) attacks. Consequently, in this work, we focus on integrating security into existing resource-constrained CPS, in order to protect against MitM attacks on a system where a set of control tasks communicates over a real-time network with system sensors and actuators. We introduce a design-time methodology that incorporates requirements for QoC in the presence of attacks into end-to-end timing constraints for real-time control transactions, which include data acquisition and authentication, real-time network messages, and control tasks. This allows us to formulate a mixed integer linear programming-based method for direct synthesis of schedulable tasks and message parameters (i.e., deadlines and offsets) that do not violate timing requirements for the already deployed controllers, while adding a sufficient level of protection against network-based attacks; specifically, the synthesis method also provides suitable intermittent authentication policies that ensure the desired QoC levels under attack. To additionally reduce the security-related bandwidth overhead, we propose the use of cumulative message authentication at time instances when the integrity of messages from subsets of sensors should be ensured. Furthermore, we introduce a method for the opportunistic use of the remaining resources to further improve the overall QoC guarantees while ensuring system (i.e., task and message) schedulability. Finally, we demonstrate applicability and scalability of our methodology on synthetic automotive systems as well as a real-world automotive case-study. 
    more » « less
  3. With the increasing penetration of non-synchronous variable renewable energy sources (RES) in power grids, the system's inertia decreases and varies over time, affecting the capability of current control schemes to handle frequency regulation. Providing virtual inertia to power systems has become an interesting topic of research, since it may provide a reasonable solution to address this new issue. However, power dynamics are usually modeled as time-invariant, without including the effect of varying inertia due to the presence of RES. This paper presents a framework to design a fixed learned controller based on datasets of optimal time-varying LQR controllers. In our scheme, we model power dynamics as a hybrid system with discrete modes representing different rotational inertia regimes of the grid. We test the performance of our controller in a twelve-bus system using different fixed inertia modes. We also study our learned controller as the inertia changes over time. By adding virtual inertia we can guarantee stability of high-renewable (low-inertia) modes. The novelty of our work is to propose a design framework for a stable controller with fixed gains for time-varying power dynamics. This is relevant because it would be simpler to implement a proportional controller with fixed gains compared to a time-varying control. 
    more » « less
  4. Abstract A safety-critical measure of legged locomotion performance is a robot's ability to track its desired time-varying position trajectory in an environment, which is herein termed as “global-position tracking.” This paper introduces a nonlinear control approach that achieves asymptotic global-position tracking for three-dimensional (3D) bipedal robots. Designing a global-position tracking controller presents a challenging problem due to the complex hybrid robot model and the time-varying desired global-position trajectory. Toward tackling this problem, the first main contribution is the construction of impact invariance to ensure all desired trajectories respect the foot-landing impact dynamics, which is a necessary condition for realizing asymptotic tracking of hybrid walking systems. Thanks to their independence of the desired global position, these conditions can be exploited to decouple the higher-level planning of the global position and the lower-level planning of the remaining trajectories, thereby greatly alleviating the computational burden of motion planning. The second main contribution is the Lyapunov-based stability analysis of the hybrid closed-loop system, which produces sufficient conditions to guide the controller design for achieving asymptotic global-position tracking during fully actuated walking. Simulations and experiments on a 3D bipedal robot with twenty revolute joints confirm the validity of the proposed control approach in guaranteeing accurate tracking. 
    more » « less
  5. We consider the problem of rendezvous, proximity operations, and docking of an autonomous spacecraft. The problem can be conveniently divided into four phases: 1) rendezvous with angles-only measurements; 2) rendezvous with range measurements; 3) docking phase; and 4) docked phase. Due to the different constraints, available measurements, and tasks to perform on each phase, we study this problem using a hybrid systems approach, in which the system has different modes of operation for which a suitable controller is to be designed. Following this approach, we characterize the family of individual controllers and the required properties they should induce to the closed-loop system to solve the problem within each phase of operation. Furthermore, we propose a supervisor that robustly coordinates the individual controllers so as to provide a solution to the problem. Due to the stringent mission requirements, the solution requires hybrid controllers that induce convergence, invariance, or asymptotic stability properties, which can be designed using recent techniques in the literature of hybrid systems. In addition, we outline specific controller designs that appropriately solve the control problems for individual phases and validate them numerically1. 
    more » « less