Source author record

Humberto Gonzalez

Humberto Gonzalez appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

Comfort-Aware Building Climate Control Using Distributed-Parameter Models

Controlling Heating, Ventilation and Air Conditioning (HVAC) system to maintain occupant's indoor thermal comfort is important to energy-efficient buildings and the development of smart cities. In this paper, we formulate a model predictive controller (MPC) to make optimal control strategies to HVAC in order to maintain occupant's comfort by predicted mean vote index, and then present a whole system with an estimator to indoor climate and apartment's geometric information based on only thermostats. In order to have accurate spatial resolution and make the HVAC system focus on only a zoned area around the occupant, a convection-diffusion Computer Fluid Dynamics (CFD) model is used to describe the indoor air flow and temperature distribution. The MPC system generates corresponding PDE-constrained optimization problems, and we solve them by obtain the gradients of cost functions with respect to problems' variables with the help of CFD model's adjoint equations. We evaluate the performance of our method using simulations of a real apartment in the St.\ Louis area. Our results show our MPC system's energy efficiency and the potential for its application in real-time operation of high-performance buildings.

preprint2020arXiv

Interplay between phonon downconversion efficiency, density of states at Fermi energy, and intrinsic energy resolution for microwave kinectic inductance detectors

Microwave Kinetic Inductance detectors (MKIDs) have been recognized as a powerful new tool for single photon detection. These highly multiplexed superconducting devices give timing and energy measurement for every detected photon. However, the full potential of MKID single photon spectroscopy has not been reached , the achieved energy resolution is lower than expected from first principles. Here, we study the efficiency in the phonon downconversion process following the absorption of energetic photons in MKIDs. Assuming previously published material properties, we measure an average downconversion efficiency for three TiN resonators is $η$=0.14. We discuss how this efficiency can impact the intrinsic energy resolution of MKID, and how any uncertainty in the unknown density of electron states at the Fermi energy directly affects the efficiency estimations.

preprint2016arXiv

Gradient-Based Estimation of Air Flow and Geometry Configurations in a Building Using Fluid Dynamic Adjoint Equations

Real-time estimations of temperature distributions and geometric configurations are important to energy efficient buildings and the development of smarter cities. In this paper we formulate a gradient-based estimation algorithm capable of reconstructing the states of doors in a building, as well as its temperature distribution, based on a floor plan and a set of thermostats. Our algorithm solves in real time a convection-diffusion Computer Fluid Dynamics (CFD) model for the air flow in the building as a function of its geometric configuration. We formulate the estimation algorithm as an optimization problem, and we solve it by computing the adjoint equations of our CFD model, which we then use to obtain the gradients of the cost function with respect to the flow's temperature and door states. We evaluate the performance of our method using simulations of a real apartment in the St. Louis area. Our results show that the estimation method is both efficient and accurate, establishing its potential for the design of smarter control schemes in the operation of high-performance buildings.

preprint2016arXiv

Optimal Control of Hybrid Systems Using a Feedback Relaxed Control Formulation

We present a numerically tractable formulation for computing the optimal control of the class of hybrid dynamical systems whose trajectories are continuous. Our formulation, an extension of existing relaxed-control techniques for switched dynamical systems, incorporates the domain information of each discrete mode as part of the constraints in the optimization problem. Moreover, our numerical results are consistent with phenomena that are particular to hybrid systems, such as the creation of sliding trajectories between discrete modes.

preprint2016arXiv

Zoned HVAC Control via PDE-Constrained Optimization

Efficiency, comfort, and convenience are three major aspects in the design of control systems for residential Heating, Ventilation, and Air Conditioning (HVAC) units. In this paper we propose an optimization-based algorithm for HVAC control that minimizes energy consumption while maintaining a desired temperature in a room. Our algorithm uses a Computer Fluid Dynamics model, mathematically formulated using Partial Differential Equations (PDEs), to describe the interactions between temperature, pressure, and air flow. Our model allows us to naturally formulate problems such as controlling the temperature of a small region of interest within a room, or to control the speed of the air flow at the vents, which are hard to describe using finite-dimensional Ordinary Partial Differential (ODE) models. Our results show that our algorithm produces significant energy savings without a decrease in comfort.

preprint2015arXiv

Simultaneous Receding Horizon Estimation and Control of a Fencing Robot using a Single Camera

We present a method for simultaneous Receding Horizon Estimation and Control of a robotic arm equipped with a sword in an adversarial situation. Using a single camera mounted on the arm, we solve the problem of blocking a opponent's sword with the robot's sword. Our algorithm uses model-based sensing to estimate the opponent's intentions from the camera's observations, while it simultaneously applies a control action to both block the opponent's sword and improve future camera observations.

preprint2014arXiv

Metrization and Simulation of Controlled Hybrid Systems

The study of controlled hybrid systems requires practical tools for approximation and comparison of system behaviors. Existing approaches to these problems impose undue restrictions on the system's continuous and discrete dynamics. Metrization and simulation of controlled hybrid systems is considered here in a unified framework by constructing a state space metric. The metric is applied to develop a numerical simulation algorithm that converges uniformly, with a known rate of convergence, to orbitally stable executions of controlled hybrid systems, up to and including Zeno events. Benchmark hybrid phenomena illustrate the utility of the proposed tools.

preprint2014arXiv

Rapid Integration and Calibration of New Sensors Using the Berkeley Aachen Robotics Toolkit (BART)

After the three DARPA Grand Challenge contests many groups around the world have continued to actively research and work toward an autonomous vehicle capable of accomplishing a mission in a given context (e.g. desert, city) while following a set of prescribed rules, but none has been completely successful in uncontrolled environments, a task that many people trivially fulfill every day. We believe that, together with improving the sensors used in cars and the artificial intelligence algorithms used to process the information, the community should focus on the systems engineering aspects of the problem, i.e. the limitations of the car (in terms of space, power, or heat dissipation) and the limitations of the software development cycle. This paper explores these issues and our experiences overcoming them.

preprint2012arXiv

Consistent Approximations for the Optimal Control of Constrained Switched Systems

Though switched dynamical systems have shown great utility in modeling a variety of physical phenomena, the construction of an optimal control of such systems has proven difficult since it demands some type of optimal mode scheduling. In this paper, we devise an algorithm for the computation of an optimal control of constrained nonlinear switched dynamical systems. The control parameter for such systems include a continuous-valued input and discrete-valued input, where the latter corresponds to the mode of the switched system that is active at a particular instance in time. Our approach, which we prove converges to local minimizers of the constrained optimal control problem, first relaxes the discrete-valued input, then performs traditional optimal control, and then projects the constructed relaxed discrete-valued input back to a pure discrete-valued input by employing an extension to the classical Chattering Lemma that we prove. We extend this algorithm by formulating a computationally implementable algorithm which works by discretizing the time interval over which the switched dynamical system is defined. Importantly, we prove that this implementable algorithm constructs a sequence of points by recursive application that converge to the local minimizers of the original constrained optimal control problem. Four simulation experiments are included to validate the theoretical developments.

preprint2012arXiv

Provably Safe and Robust Learning-Based Model Predictive Control

Controller design faces a trade-off between robustness and performance, and the reliability of linear controllers has caused many practitioners to focus on the former. However, there is renewed interest in improving system performance to deal with growing energy constraints. This paper describes a learning-based model predictive control (LBMPC) scheme that provides deterministic guarantees on robustness, while statistical identification tools are used to identify richer models of the system in order to improve performance; the benefits of this framework are that it handles state and input constraints, optimizes system performance with respect to a cost function, and can be designed to use a wide variety of parametric or nonparametric statistical tools. The main insight of LBMPC is that safety and performance can be decoupled under reasonable conditions in an optimization framework by maintaining two models of the system. The first is an approximate model with bounds on its uncertainty, and the second model is updated by statistical methods. LBMPC improves performance by choosing inputs that minimize a cost subject to the learned dynamics, and it ensures safety and robustness by checking whether these same inputs keep the approximate model stable when it is subject to uncertainty. Furthermore, we show that if the system is sufficiently excited, then the LBMPC control action probabilistically converges to that of an MPC computed using the true dynamics.

preprint2012arXiv

Statistical Results on Filtering and Epi-convergence for Learning-Based Model Predictive Control

Learning-based model predictive control (LBMPC) is a technique that provides deterministic guarantees on robustness, while statistical identification tools are used to identify richer models of the system in order to improve performance. This technical note provides proofs that elucidate the reasons for our choice of measurement model, as well as giving proofs concerning the stochastic convergence of LBMPC. The first part of this note discusses simultaneous state estimation and statistical identification (or learning) of unmodeled dynamics, for dynamical systems that can be described by ordinary differential equations (ODE's). The second part provides proofs concerning the epi-convergence of different statistical estimators that can be used with the learning-based model predictive control (LBMPC) technique. In particular, we prove results on the statistical properties of a nonparametric estimator that we have designed to have the correct deterministic and stochastic properties for numerical implementation when used in conjunction with LBMPC.