-
Error Bounds for Compositions of Piecewise Affine Approximations
Authors:
Jonah J. Glunt,
Jacob A. Siefert,
Andrew F. Thompson,
Herschel C. Pangborn
Abstract:
Nonlinear expressions are often approximated by piecewise affine (PWA) functions to simplify analysis or reduce computational costs. To reduce computational complexity, multivariate functions can be represented as compositions of functions with one or two inputs, which can be approximated individually. This paper provides efficient methods to generate PWA approximations of nonlinear functions via…
▽ More
Nonlinear expressions are often approximated by piecewise affine (PWA) functions to simplify analysis or reduce computational costs. To reduce computational complexity, multivariate functions can be represented as compositions of functions with one or two inputs, which can be approximated individually. This paper provides efficient methods to generate PWA approximations of nonlinear functions via functional decomposition. The key contributions focus on intelligent placement of breakpoints for PWA approximations without requiring optimization, and on bounding the error of PWA compositions as a function of the error tolerance for each component of that composition. The proposed methods are used to systematically construct a PWA approximation for a complicated function, either to within a desired error tolerance or to a given level of complexity.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
A Set-Based Approach for Robust Control Co-Design
Authors:
Trevor J. Bird,
Jacob A. Siefert,
Herschel C. Pangborn,
Neera Jain
Abstract:
Control Co-Design (CCD) considers the coupled effects of both the plant and control parameters to optimize a system's closed-loop transient performance during the design stage. This paper presents a new method for CCD with guarantees on robustness to nondeterministic disturbances for all initial conditions within a specified region of operation. This is accomplished by calculating the reachable se…
▽ More
Control Co-Design (CCD) considers the coupled effects of both the plant and control parameters to optimize a system's closed-loop transient performance during the design stage. This paper presents a new method for CCD with guarantees on robustness to nondeterministic disturbances for all initial conditions within a specified region of operation. This is accomplished by calculating the reachable sets of a candidate closed-loop system directly within the optimization problem. Using this approach, the plant and control parameters are simultaneously chosen to shape these reachable sets to be robustly positive invariant and thus safe for all time. Compared to conventional approaches that perform the optimization for a single initial condition and an a priori chosen sequence of disturbances, the proposed set-based method avoids sensitivity to variations in the assumed design scenario. As a representative example, the proposed method is applied to an active suspension system.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Set-valued State Estimation for Nonlinear Systems Using Hybrid Zonotopes
Authors:
Jacob A. Siefert,
Andrew F. Thompson,
Jonah J. Glunt,
Herschel C. Pangborn
Abstract:
This paper proposes a method for set-valued state estimation of nonlinear, discrete-time systems. This is achieved by combining graphs of functions representing system dynamics and measurements with the hybrid zonotope set representation that can efficiently represent nonconvex and disjoint sets. Tight over-approximations of complex nonlinear functions are efficiently produced by leveraging specia…
▽ More
This paper proposes a method for set-valued state estimation of nonlinear, discrete-time systems. This is achieved by combining graphs of functions representing system dynamics and measurements with the hybrid zonotope set representation that can efficiently represent nonconvex and disjoint sets. Tight over-approximations of complex nonlinear functions are efficiently produced by leveraging special ordered sets and neural networks, which enable computation of set-valued state estimates that grow linearly in memory complexity with time. A numerical example demonstrates significant reduction of conservatism in the set-valued state estimates using the proposed method as compared to an idealized convex approach.
△ Less
Submitted 16 September, 2023; v1 submitted 16 April, 2023;
originally announced April 2023.
-
Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
Authors:
Jacob A. Siefert,
Trevor J. Bird,
Andrew F. Thompson,
Jonah J. Glunt,
Justin P. Koeln,
Neera Jain,
Herschel C. Pangborn
Abstract:
This paper proposes methods for reachability analysis of nonlinear systems in both open loop and closed loop with advanced controllers. The methods combine hybrid zonotopes, a construct called a state-update set, functional decomposition, and special ordered set approximations to enable linear growth in reachable set memory complexity with time and linear scaling in computational complexity with t…
▽ More
This paper proposes methods for reachability analysis of nonlinear systems in both open loop and closed loop with advanced controllers. The methods combine hybrid zonotopes, a construct called a state-update set, functional decomposition, and special ordered set approximations to enable linear growth in reachable set memory complexity with time and linear scaling in computational complexity with the system dimension. Facilitating this combination are new identities for constructing nonconvex sets that contain nonlinear functions and for efficiently converting a collection of polytopes from vertex representation to hybrid zonotope representation. Benchmark numerical examples from the literature demonstrate the proposed methods and provide comparison to state-of-the-art techniques.
△ Less
Submitted 22 February, 2024; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Successor Sets of Discrete-time Nonlinear Systems Using Hybrid Zonotopes
Authors:
Jacob A. Siefert,
Trevor J. Bird,
Justin P. Koeln,
Neera Jain,
Herschel C. Pangborn
Abstract:
This paper presents identities for calculating over-approximated successor sets of discrete-time nonlinear systems using hybrid zonotopes. The proposed technique extends the state-update set construct, previously developed for linear hybrid systems, to nonlinear systems. Forward reachability of nonlinear systems can then be performed using only projection, intersection, and Cartesian product set o…
▽ More
This paper presents identities for calculating over-approximated successor sets of discrete-time nonlinear systems using hybrid zonotopes. The proposed technique extends the state-update set construct, previously developed for linear hybrid systems, to nonlinear systems. Forward reachability of nonlinear systems can then be performed using only projection, intersection, and Cartesian product set operations with the state-update set. It is shown that use of an over-approximation of the state-update set yields over-approximations of successor sets. A technique to over-approximate a nonlinear function using a special ordered set approximation, equivalently represented as a hybrid zonotope, is then presented. A numerical example of a nonlinear system controlled by a piecewise-affine control law demonstrates that the approach provides a computationally-efficient and tight over-approximation of the closed-loop reachable set.
△ Less
Submitted 16 April, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.