arXiv subjects

Justin P. Koeln

Publications and source records attributed to Justin P. Koeln.

8 recordsLinked to original sources

arXiv2026

Graph-Based Modeling, Control, and Optimization for Multi-Domain and Multi-Timescale Energy Systems

Modern energy systems in vehicles and built infrastructure are governed by high-dimensional dynamics spanning multiple physical domains (e.g., electrical, thermal, mechanical) and timescales. This tutorial paper presents a graph-based modeling approach created to facilitate the modeling, analysis, control, estimation, optimization, and design of these systems. Matured and validated through more than a decade of research spanning multiple academic institutions and companies, the graph-based approach combines transient energy conservation with an explicit mathematical representation of the network by which energy is stored and transferred within a system. Following a mathematical overview of graph-based models, examples of multi-domain component and system models from the recent literature are presented, including single-phase thermal systems, two-phase thermal systems, and electro-mechanical systems. This is followed by a survey of recent applications for decentralized and hierarchical model predictive control, design optimization, and control co-design. Lastly, the paper describes an open-source toolbox created to facilitate the generation and analysis of graph-based models.

eess.SY↗

arXiv2024

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition

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.

eess.SY↗

arXiv2024

Robust Model Predictive Control for nonlinear discrete-time systems using iterative time-varying constraint tightening

Robust Model Predictive Control (MPC) for nonlinear systems is a problem that poses significant challenges as highlighted by the diversity of approaches proposed in the last decades. Often compromises with respect to computational load, conservatism, generality, or implementation complexity have to be made, and finding an approach that provides the right balance is still a challenge to the research community. This work provides a contribution by proposing a novel shrinking-horizon robust MPC formulation for nonlinear discrete-time systems. By explicitly accounting for how disturbances and linearization errors are propagated through the nonlinear dynamics, a constraint tightening-based formulation is obtained, with guarantees of robust constraint satisfaction. The proposed controller relies on iteratively solving a Nonlinear Program (NLP) to simultaneously optimize system operation and the required constraint tightening. Numerical experiments show the effectiveness of the proposed controller with three different choices of NLP solvers as well as significantly improved computational speed, better scalability, and generally reduced conservatism when compared to an existing technique from the literature.

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

Switched Moving Boundary Modeling of Phase Change Thermal Energy Storage Systems

Thermal Energy Storage (TES) devices, which leverage the constant-temperature thermal capacity of the latent heat of a Phase Change Material (PCM), provide benefits to a variety of thermal management systems by decoupling the absorption and rejection of thermal energy. While performing a role similar to a battery in an electrical system, it is critical to know when to charge (freeze) and discharge (melt) the TES to maximize the capabilities and efficiency of the overall system. Therefore, control-oriented models of TES are needed to predict the behavior of the TES and make informed control decisions. While existing modeling approaches divide the TES in to multiple sections using a Fixed Grid (FG) approach, this paper proposes a switched Moving Boundary (MB) model that captures the key dynamics of the TES with significantly fewer dynamic states. Specifically, a graph-based modeling approach is used to model the heat flow through the TES and a MB approach is used to model the time-varying liquid and solid regions of the TES. Additionally, a Finite State Machine (FSM) is used to switch between four different modes of operation based on the State-of-Charge (SOC) of the TES. Numerical simulations comparing the proposed approach with a more traditional FG approach show that the MB model is capable of accurately modeling the behavior of the FG model while using far fewer states, leading to five times faster simulations.

eess.SY↗

arXiv2022

Hierarchical MPC for coupled subsystems using adjustable tubes

A hierarchical Model Predictive Control (MPC) formulation is presented for coupled discrete-time linear systems with state and input constraints. Compared to a centralized approach, a two-level hierarchical controller, with one controller in the upper-level and one controller per subsystem in the lower-level, can significantly reduce the computational cost associated with MPC. Hierarchical coordination is achieved using adjustable tubes, which are optimized by the upper-level controller and bound permissible lower-level controller deviations from the system trajectories determined by the upper-level controller. The size of these adjustable tubes determines the degree of uncertainty between subsystems and directly affects the required constraint tightening under a tube-based robust MPC framework. Sets are represented as zonotopes to enable the ability to optimize the size of these adjustable tubes and perform the necessary constraint tightening online as part of the MPC optimization problems. State and input constraint satisfaction is proven for the two-level hierarchical controller with an arbitrary number of controllers at the lower-level and a numerical example demonstrates the key features and performance of the approach.

eess.SY↗

arXiv2020

Set operations and order reductions for constrained zonotopes

This paper presents methods for using zonotopes and constrained zonotopes to improve the practicality of a wide variety of set-based operations commonly used in control theory. The proposed methods extend the use of constrained zonotopes to represent sets resulting from operations including halfspace intersections, convex hulls, robust positively invariant sets, and Pontryagin differences. Order reduction techniques are also presented that provide lower-complexity inner-approximations of zonotopes and constrained zonotopes. Numerical examples are used to demonstrate the efficacy and computational advantages of using zonotope-based set representations for dynamic system analysis and control.

eess.SY↗