ITS Berkeley

We describe and implement an algorithm for computing the set of reachable states of a continuous dynamic game. The algorithm is based on a proof that the reachable set is the zero sublevel set of the viscosity solution of a particular time-dependent Hamilton-Jacobi-Isaacs partial differential equation. While alternative techniques for computing the reachable set have been proposed, the differential game formulation allows treatment of nonlinear systems with inputs and uncertain parameters. Because the time-dependent equation's solution is continuous and defined throughout the state space,...

This article proves the existence and uniqueness of a weak solution to a scalar conservation law on a bounded domain. A weak formulation of hybrid boundary conditions is needed for the problem to be well posed. The boundary conditions are represented by a hybrid automaton with switches between the modes determined by the direction of characteristics of the system at the boundary. The existence of the solution results from the convergence of a Godunov scheme derived in this article. This weak formulation is written explicitly in the context of a strictly concave flux function (relevant for...

Sensing by proxy, as described in this study, is a sensing paradigm which infers latent factors by “proxy” measurements based on constitutive models that exploit the spatial and physical features in the system. In this study, we demonstrate the efficiency of sensing by proxy for occupancy detection based on indoor CO2 concentration. We propose a link model that relates the proxy measurements with unknown human emission rates based on a data-driven model which consists of a coupled Partial Differential Equation (PDE) – Ordinary Differential Equation (ODE) system. We report on several...

The world faces some of its greatest challenges of modern time and how we address them will have a dramatic impact on the life for generations to come. Simultaneously, control systems, consisting of information enriched by various degrees of analytics followed by decision-making, are pervading a variety of sectors, not only in engineering but beyond, into financial services, socio-economic analysis, entertainment and sports, and political and social sciences. Increased levels of automation are sought after in various sectors and being introduced into new domains. All of these advances and...