An official website of the United States government
This paper proposes a general framework for analyzing continuous-time systems controlled by event-triggered algorithms. Closed-loop systems resulting from using both static and dynamic output (or state) feedback laws that are implemented via asynchronous event-triggered techniques are modeled as hybrid systems given in terms of hybrid inclusions and studied using recently developed tools for robust stability. Properties of the proposed models, including stability of compact sets, robustness, and Zeno behavior of solutions are addressed. The framework and results are illustrated in several event-triggered strategies available in the literature.
more »
« less
Analysis and design of event‐triggered control algorithms using hybrid systems tools
Summary This article proposes a general framework for analyzing continuous‐time systems controlled by event‐triggered algorithms. Closed‐loop systems resulting from using both static and dynamic output (or state) feedback laws that are implemented via asynchronous event‐triggered techniques are modeled as hybrid systems given in terms of hybrid inclusions. Using recently developed tools for robust stability, properties of the proposed models, including stability of compact sets, robustness, and Zeno behavior of solutions are addressed. The framework and results are illustrated by several event‐triggered strategies available in the literature, and observations about their key dynamical properties are made.
more »
« less
- Award ID(s):
- 1710621
- PAR ID:
- 10456447
- Publisher / Repository:
- Wiley Blackwell (John Wiley & Sons)
- Date Published:
- Journal Name:
- International Journal of Robust and Nonlinear Control
- Volume:
- 30
- Issue:
- 15
- ISSN:
- 1049-8923
- Page Range / eLocation ID:
- p. 5936-5965
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
This paper presents a novel intermittent suboptimal event-triggered controller design for continuous-time nonlinear systems. The stability of the equilibrium point of the closed-loop system, and the performances are analyzed and quantified theoretically. It is proven that the static and the dynamic event-triggered suboptimal controllers have a known degree of suboptimality compared to the conventional optimal control policy. In order to generate dynamic event-triggering framework, we introduce an internal dynamical system. Moreover, the Zeno behavior is excluded. Finally, a simulation example is conducted to show the effectiveness of the proposed intermittent mechanisms.more » « less
-
Many controllers for legged robotic systems leverage open- or closed-loop control at discrete hybrid events to enhance stability. These controllers appear in several well studied phenomena such as the Raibert stepping controller, paddle juggling, and swing leg retraction. This work introduces hybrid event shaping (HES): a generalized method for analyzing and designing stable hybrid event controllers. HES utilizes the saltation matrix, which gives a closed-form equation for the effect that hybrid events have on stability. We also introduce shape parameters, which are higher order terms that can be tuned completely independently of the system dynamics to promote stability. Optimization methods are used to produce values of these parameters that optimize a stability measure. Hybrid event shaping captures previously developed control methods while also producing new optimally stable trajectories without the need for continuous-domain feedback.more » « less
-
This paper presents a model-free distributed event-triggered containment control scheme for linear multiagent systems. The proposed event-triggered scheme guarantees asymptotic stability of the equilibrium point of the containment error as well the avoidance of the Zeno behavior. To relax the requirement of complete knowledge of the dynamics, we combine an off-policy reinforcement learning algorithm in an actor critic structure with the event-trigger control mechanism to obtain the feedback gain of the distributed containment control protocol. A simulation experiment is conducted to verify the effectiveness of the approach.more » « less
-
Bartocci, Ezio; Putot, Sylvie (Ed.)Switched systems are known to exhibit subtle (in)stability behaviors requiring system designers to carefully analyze the stability of closed-loop systems that arise from their proposed switching control laws. This paper presents a formal approach for verifying switched system stability that blends classical ideas from the controls and verification literature using differential dynamic logic (dL), a logic for deductive verification of hybrid systems. From controls, we use standard stability notions for various classes of switching mechanisms and their corresponding Lyapunov function-based analysis techniques. From verification, we use dL's ability to verify quantified properties of hybrid systems and dL models of switched systems as looping hybrid programs whose stability can be formally specified and proven by finding appropriate loop invariants, i.e., properties that are preserved across each loop iteration. This blend of ideas enables a trustworthy implementation of switched system stability verification in the KeYmaera X prover based on dL. For standard classes of switching mechanisms, the implementation provides fully automated stability proofs, including searching for suitable Lyapunov functions. Moreover, the generality of the deductive approach also enables verification of switching control laws that require non-standard stability arguments through the design of loop invariants that suitably express specific intuitions behind those control laws. This flexibility is demonstrated on three case studies: a model for longitudinal flight control by Branicky, an automatic cruise controller, and Brockett's nonholonomic integrator.more » « less
