-
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.
-
A System-Level Energy-Efficient Digital Twin Framework for Runtime Control of Batch Manufacturing Processes
Authors:
Hongliang Li,
Herschel C. Pangborn,
Ilya Kovalenko
Abstract:
The manufacturing sector has a substantial influence on worldwide energy consumption. Therefore, improving manufacturing system energy efficiency is becoming increasingly important as the world strives to move toward a more resilient and sustainable energy paradigm. Batch processes are a major contributor to energy consumption in manufacturing systems. In batch manufacturing, a number of parts are…
▽ More
The manufacturing sector has a substantial influence on worldwide energy consumption. Therefore, improving manufacturing system energy efficiency is becoming increasingly important as the world strives to move toward a more resilient and sustainable energy paradigm. Batch processes are a major contributor to energy consumption in manufacturing systems. In batch manufacturing, a number of parts are grouped together before starting a batch process. To improve the scheduling and control of batch manufacturing processes, we propose a system-level energy-efficient Digital Twin framework that considers Time-of-Use (TOU) energy pricing for runtime decision-making. As part of this framework, we develop a model that combines batch manufacturing process dynamics and TOU-based energy cost. We also provide an optimization-based decision-making algorithm that makes batch scheduling decisions during runtime. A simulated case study showcases the benefits of the proposed framework.
△ Less
Submitted 18 September, 2023;
originally announced September 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.
-
Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems
Authors:
Trevor J. Bird,
Herschel C. Pangborn,
Neera Jain,
Justin P. Koeln
Abstract:
This article presents a new set representation named the hybrid zonotope that is equivalent to the union of $2^N$ constrained zonotopes -- convex polytopes -- through the addition of $N$ binary zonotope factors. The major contribution of this manuscript is a closed-form solution for exact forward reachable sets of discrete-time, linear hybrid systems modeled as mixed logical dynamical systems. The…
▽ More
This article presents a new set representation named the hybrid zonotope that is equivalent to the union of $2^N$ constrained zonotopes -- convex polytopes -- through the addition of $N$ binary zonotope factors. The major contribution of this manuscript is a closed-form solution for exact forward reachable sets of discrete-time, linear hybrid systems modeled as mixed logical dynamical systems. The proposed approach captures the worst-case exponential growth in the number of convex sets required to represent the nonconvex reachable set while exhibiting only linear growth in the complexity of the hybrid zonotope set representation. Redundancy removal techniques are provided that leverage binary trees to store the combinations of binary factors of the hybrid zonotope that map to nonempty convex subsets. Numerical examples show the hybrid zonotope's ability to compactly represent nonconvex reachable sets with an exponential number of features. Furthermore, the hybrid zonotope is shown to be closed under linear map**s, Minkowski sums, generalized intersections, and halfspace intersections.
△ Less
Submitted 25 April, 2023; v1 submitted 28 June, 2021;
originally announced June 2021.
-
Robust Control Co-Design with Receding-Horizon MPC
Authors:
Austin L. Nash,
Herschel C. Pangborn,
Neera Jain
Abstract:
Control co-design (CCD) is a technique for improving the closed-loop performance of systems through the coordinated design of both plant parameters and an optimal control policy. While model predictive control (MPC) is an attractive control strategy for many systems, embedding it within a CCD algorithm presents challenges because obtaining a closed-form solution for this receding-horizon optimizat…
▽ More
Control co-design (CCD) is a technique for improving the closed-loop performance of systems through the coordinated design of both plant parameters and an optimal control policy. While model predictive control (MPC) is an attractive control strategy for many systems, embedding it within a CCD algorithm presents challenges because obtaining a closed-form solution for this receding-horizon optimization strategy is often not feasible. This paper meets that challenge by including a robust MPC formulation within the inner loop of a CCD algorithm. As exemplified by application to an aircraft thermal management system, the proposed algorithm closely matches the plant design of an open-loop benchmark. However, unlike the open-loop approach, the proposed algorithm can leverage MPC control variables designed a priori to achieve robust online operation under disturbance profiles that differ from those used for design.
△ Less
Submitted 16 April, 2023; v1 submitted 5 April, 2021;
originally announced April 2021.