Modeling

Sensing by Proxy: Occupancy Detection Based on Indoor CO2 Concentration

Jin, Ming
Bekiaris-Liberis, Nikolaos
Weekly, Kevin
Spanos, Costas
Bayen, Alexandre
2015

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...

Continuous Adjoint Method for Air Traffic Flow Management

Strub, Issam S.
Bayen, Alexandre M.
2006

This article develops a model of air traffic flow using an Eulerian description with hyperbolic partial differential equations. Existence and uniqueness (well-posedness) of a solution to the system of partial differential equations on a network is established. Subsequently, an optimal control problem is studied with the junction coefficients as control variables. We use a continuous adjoint approach and we implement it on a network with 16 links and 5 junctions, demonstrating the computational efficiency of this method

Modeling and Optimization Analysis of Single Flagellum Bacterial Motion

Lobaton, Edgar
Bayen, Alexandre M.
2007

Bacteria such as Rhodobacter sphaeroides use a single flagellum for propulsion and change of orientation. Simple organisms such as this have inspired nanorobotic designs with potential applications in medicine which motivates the present work. In this article, an elastic model for a single flagellum bacterium is presented and followed by an analysis of the system based on optimization. The model is based on the method of Regularized Stokeslet which allows for a discretization of the system into particles which are connected by spring forces. An optimal elasticity distribution that...

Comparison of the Performance of Four Eulerian Network Flow Models for Strategic Air Traffic Management

Sun, Dengfeng
Strub, Issam
Bayen, Alexandre M.
2007

Four Eulerian network models are implemented to model high altitude air traffic flow. Three of the models use the framework of discrete time dynamical systems, while the fourth consists of a network of partial differential equations. The construction of these models is done using one year of air traffic data. The four models are applied to high altitude traffic for six Air Route Traffic Control Centers in the National Airspace System and surrounding airspace. Simulations are carried out for a full day of data for each of the models, to assess their predictive capabilities. The models’...

Delay Pattern Estimation for Signalized Intersections Using Sampled Travel Times

Ban, Xuegang (Jeff)
Bayen, Alexandre M.
2009

Intersection delays are the major contributing factor to arterial delays. Methods to estimate intersection delay patterns by using measured travel times are studied. The delay patterns provide a way to estimate the delay for any vehicle arriving at the intersection at any time, which is useful for providing time-dependent intersection delay information to the driving public. The model requires sampled travel times between two consecutive locations on arterial streets, one upstream and the other downstream of a signalized intersection, without the need to know signal timing or traffic flow...

Inverse Modeling for Open Boundary Conditions in Channel Network

Wu, Qingfang
Rafiee, Mohammad
Tinka, Andrew
Bayen, Alexandre M.
2009

An inverse modeling problem for systems of networked one dimensional shallow water equations subject to periodic forcing is investigated. The problem is described as a PDE-constrained optimization problem with the objective of minimizing the norm of the difference between the observed variables and model outputs. After linearizing and discretizing the governing equations using an implicit discretization scheme, linear constraints are constructed which leads to a quadratic programming formulation of the state estimation problem. The usefulness of the proposed approach is illustrated with a...

A Class of Perturbed Cell-Transmission Models to Account for Traffic Variability

Blandin, Sébastien
Work, Daniel
Goatin, Paola
Piccoli, Benedetto
Bayen, Alexandre M.
2010

We introduce a general class of traffic models derived as perturbations of cell-transmission type models. These models use different dynamics in free-flow and in congestion phases. They can be viewed as extensions to cell transmission type models by considering the velocity to be a function not only of the density but also of a second state variable describing perturbations. We present the models in their discretized form under a new formulation similar to the classical supply demand formulation used by the seminal Cell-Transmission Model. We then show their equivalence to hydrodynamic...

Feed-Forward Control of Open Channel Flow Using Differential Flatness

Rabbani, Tarek
Meglio, Florent Di
Litrico, Xavier
Bayen, Alexandre M.
2010

This brief derives a method for open-loop control of open channel flow, based on the Hayami model, a parabolic partial differential equation resulting from a simplification of the Saint-Venant equations. The open-loop control is represented as infinite series using differential flatness, for which convergence is assessed. A comparison is made with a similar problem available in the literature for thermal systems. Numerical simulations show the effectiveness of the approach by applying the open-loop controller to irrigation canals modeled by the full Saint-Venant equations.

A Dual Decomposition Method for Sector Capacity Constrained Traffic Flow Optimization

Sun, Dengfeng
Clinet, Alexis
Bayen, Alexandre M.
2011

An aggregate air traffic flow model based on a multicommodity network is used for traffic flow management in the National Airspace System. The problem of minimizing the total travel time of flights in the National Airspace System of the United States, subject to sector capacity constraints, is formulated as an Integer Program. The resulting solution achieves optimal delay control. The Integer Program implemented for the scenarios investigated has billions of variables and constraints. It is relaxed to a Linear Program for computational efficiency. A dual decomposition method is...

Optimal Decomposition of Travel Times Measured by Probe Vehicles Using a Statistical Traffic Flow Model

Hofleitner, A.
Bayen, A.
2011

Sparse location measurements of probe vehicles are a promising data source for arterial traffic monitoring. One common challenge in processing this source of data is that vehicles are sampled infrequently (on the order of once per minute), which means that many vehicles will travel several links of the network between consecutive measurements. In this article, we propose an optimal decomposition of path travel times of probe vehicles to link travel times for each link traversed. From a model of arterial traffic dynamics, we derive probability distributions of travel times. We prove that...