arXiv subjects

Herschel C. Pangborn

Publications and source records attributed to Herschel C. Pangborn.

24 records · Page 2Linked to original sources

arXiv2023

A Set-Based Approach for Robust Control Co-Design

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.

eess.SY↗

arXiv2023

A System-Level Energy-Efficient Digital Twin Framework for Runtime Control of Batch Manufacturing Processes

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.

eess.SY↗

arXiv2023

Set-valued State Estimation for Nonlinear Systems Using Hybrid Zonotopes

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.

eess.SY↗

arXiv2023

Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems

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 mappings, Minkowski sums, generalized intersections, and halfspace intersections.

eess.SY↗

arXiv2023

Successor Sets of Discrete-time Nonlinear Systems Using Hybrid Zonotopes

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.

eess.SY↗

arXiv2023

Robust Control Co-Design with Receding-Horizon MPC

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.

eess.SY↗