Alexandre M. Bayen

HomeResearchPublicationsTalks, workshopsStudentsTeachingPersonal, bio

 
goldenGate1.JPG
  

Publications

 

Journal publications

Refereed journal publications (pubslihed, in press, accepted)

  1. Feed-forward control of open channel flow using differential flatness, T. Rabbani, F. Di Meglio, X. Litrico and A. Bayen, in press, IEEE Transactions on Control Systems Technology, (x)x, pp. xx-xx, 2009, doi:10.1109/TCST.2009.2014640
  2. Flatness-based control of an irrigation canal using SCADA, T. Rabbani, S. Munier, D. Dorchies, P.-O. Malaterre, accepted, IEEE Controls Systems Magazine, 2009
  3. Modeling and optimization analysis of a single-flagellum micro-structure through the method of regularized Stokeslets, E. Lobaton, A. Bayen, IEEE Transactions on Control Systems Technology, published online, (x)x, pp. xx-xx, 2009, doi:10.1109/TCST.2008.2011889
  4. Comparison of two data assimilation algorithms for shallow water flows, I. Strub, J. Percelay, O.-P. Tossavainen, A. Bayen, Networks and Heterogeneous Media, (4)2, pp. 409-430, June 2009, doi:10.3934/nhm.2009.4.409
  5. Inverse estimation of open boundary conditions in tidal channels, I. Strub, J. Percelay, M. Stacey and A. Bayen, Ocean Modelling, 29(1), pp. 85-93, March 2009, doi:10.1016/j.ocemod.2009.03.002
  6. Data reconciliation of an open channel flow network using modal decomposition, Q. Wu, X. Litrico, A. Bayen, Advances in Water Resources, 32(2), pp. 193–204, February 2009, doi:10.1016/j.advwatres.2008.10.009
  7. Convex formulations of air traffic flow optimization problems, D. Work and A. Bayen, Proceedings of the IEEE, 96(12), pp. 2096-2112, December 2008, doi:10.1109/JPROC.2008.2006150
  8. Dirichlet problems for some Hamilton-Jacobi equations with inequality constraints, J.-P. Aubin, A. Bayen, P. Saint-Pierre, SIAM Journal on Control and Optimization, 47(5), pp. 2348–2380, 2008, doi:10.1137/060659569
  9. A multicommodity Eulerian-Lagrangian Large capacity cell transmission model for enroute traffic, D. Sun and A. Bayen, AIAA Journal on Guidance, Control and Dynamics, 31(3), pp. 616-628, May-June 2008, doi:10.2514/1.31717
  10. Invariance preserving abstractions of hybrid systems: application to user interface design, M. Oishi, I. Mitchell, A. Bayen and C. Tomlin,  IEEE Transactions on Control Systems Technology, 16(2), pp. 229-244, March 2008, doi:10.1109/TCST.2007.903370
  11. Comparison of the performance of four Eulerian network flow models for strategic air traffic management, D. Sun, I. Strub, A. Bayen, Networks and Heterogeneous Media, 2(4), pp. 569-594, December 2007, doi:10.3934/nhm.2009.2.569
  12. Aircraft autolander safety through optimal control based reach set computation, A. Bayen, I. Mitchell, M. Oishi and C. Tomlin , AIAA Journal on Guidance, Control and Dynamics, 30(1), pp. 68-77, January-February 2007, doi:10.2514/1.21562
  13. Weak formulation of boundary conditions for scalar conservation laws: an application to highway traffic modeling, I. Strub and A. Bayen, International Journal on Robust and Nonlinear Control, 16(16), pp. 733-748, November 2006, doi:10.1002/rnc.1099
  14. Adjoint-based control of a new Eulerian network model of air traffic flow, A. Bayen, R. Raffard and C. Tomlin, IEEE Transactions on Control Systems Technology, 14(5), pp. 804- 818, September 2006, doi:10.1109/TCST.2006.876904
  15. Lagrangian delay predictive model for sector-based air traffic flow, A. Bayen, P. Grieder, G. Meyer and C. Tomlin, AIAA Journal on Guidance, Control and Dynamics, 28(5), pp. 1015-1026, September-October 2005, doi:10.2514/1.15242
  16. A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games, I. Mitchell, A. Bayen and C. Tomlin, IEEE Transcations on Automatic Control, 50(7), pp. 947-957, July 2005, doi:10.1109/TAC.2005.851439
  17. Computational techniques for the verification and control of hybrid systems, C. Tomlin, I. Mitchell, A. Bayen and M. Oishi, Proceedings of the IEEE, 91(7), pp. 986-1001, July 2003, doi:10.1109/JPROC.2003.814621

Refereed journal status archival conference publications (published, in press, accepted)

  1. Virtual trip lines for distributed privacy preserving traffic monitoring, B.Hoh, M. Gruteser, R. Herring, J. Ban, D. Work, J.-C. Herrera, A. Bayen, M. Annavaram, Q. Jacobson, Mobile Systems and Applications (MOBISYS), June 17-18 2008, Brekenridge, CO. doi:10.1145/1378600.1378604 [AR 18%]
  2. Optimal sensor placement for freeway travel time estimation, X. Ban, R. Herring, J.-D. Margulici, A. Bayen, 18th International Symposium on Transportation and Traffic Theory (ISTTT), July 2009

Refereed journal publications (in review)

  1. A general phase transition model for vehicular traffic, S. Blandin, D. Work, P. Goatin, B. Piccoli and A. Bayen. In review, SIAM Journal on Applied Mathematics. Submitted Mars 2009
  2. A distributed highway velocity model for traffic state reconstruction, D. Work, S. Blandin, O.-P. Tossavainen, B. Piccoli and A. Bayen. In review, Applied Mathematics and Optimization. Submitted June 2009
  3. Lax-Hopf based incorporation of internal boundary conditions into Hamilton-Jacobi equation. Part I: Theory, C. Claudel and A. Bayen. In review, IEEE Transactions on Automatic Control. Submitted April, 2008. Resubmitted in revised form April 2009
  4. Lax-Hopf based incorporation of internal boundary conditions into Hamilton-Jacobi equation. Part II: Computational methods, C. Claudel and A. Bayen. In review, IEEE Transactions on Automatic Control. Submitted June 2008. Resubmitted in revised form April 2009. Conditionally accepted, June 2009.
  5. Exponential stability of switched hyperbolic systems in a bounded domain, S. Amin, F. Hante and A. Bayen. In review, Automatica. Submitted June 2008. Resubmitted in revised form March 2009
  6. A dual decomposition method for sector capacity constrained traffic flow optimization, D. Sun, A. Clinet, and A. Bayen. In review, IEEE Transactions on Control Systems Technology. Submitted February 2009
  7. Incorporation of Lagrangian measurements in freeway traffic state estimation, J.-C. Herrera and A. Bayen. In review, Transportation Research B (Paper number TRB-D-08-00150). Submitted July 2008. Resubmitted in revised form February 2009. Resubmitted in revised form March 2009. Resubmitted in revised form May 2009.
  8. Evaluation of traffic data obtained via GPS-enabled mobile phones: the Mobile Century field experiment, J.-C. Herrera, D. Work, X. Ban, R. Herring, Q. Jacobson and A. Bayen. In review, Transportation Research C. Submitted March 2009. Resubmitted in revised form June 2009

Conference publications

Lecture Notes in Computer Sciences

  1. Solutions to switched Hamilton-Jacobi equations and conservation laws using hybrid component, C. Claudel, A. Bayen, Hybrid Systems: Computation and Control (M. Egerstedt and B. Mishra, Eds.), Lecture Notes in Computer Science 4981, pp. 101-115, Springer-Verlag, Mar. 2008. ©Springer-Verlag
  2. On stability of switched linear hyperbolic conservation laws with reflecting boundaries (short paper), S. Amin, F. Hante, A. Bayen, Hybrid Systems: Computation and Control (M. Egerstedt and B. Mishra, Eds.), Lecture Notes in Computer Science 4981, pp. 602-605, Springer-Verlag, Mar. 2008. ©Springer-Verlag
  3. Viability-based computations of solutions to the Hamilton-Jacobi-Bellman equation (short paper), A. Bayen, C. Claudel, P. Saint-Pierre, Hybrid Systems: Computation and Control (A. Bemporad, A. Bicchi, G. Buttazzo, Eds.), Lecture Notes in Computer Sciences 4416, pp. 645-649, Springer-Verlag, Mar. 2007. ©Springer-Verlag
  4. Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks, I. Strub, A. Bayen, Hybrid Systems: Computation and Control (J. Hespanha, A. Tiwari, Eds.), Lecture Notes in Computer Sciences 3927, pp. 552-567, Springer-Verlag, Mar. 2006. ©Springer-Verlag
  5. Network congestion alleviation using adjoint hybrid control: application to highways, A. Bayen, R. Raffard, C. Tomlin, Hybrid Systems: Computation and Control (R. Alur, G. Pappas, Eds.), Lecture Notes in Computer Sciences 2993, pp. 95-110, Springer-Verlag, Mar. 2004. ©Springer-Verlag
  6. Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: solving the Hamilton-Jacobi equation using viability techniques, A. Bayen, E. Cruck and C. Tomlin, Hybrid Systems: Computation and Control (C. Tomlin and M. Greenstreet, Eds.), Lecture Notes in Computer Sciences 2289, pp. 90-104, Springer-Verlag, Mar. 2002. ©Springer-Verlag
  7. Validating a Hamilton-Jacobi approximation to hybrid system reachable sets, I. Mitchell, A. Bayen and C. Tomlin, Hybrid Systems: Computation and Control (M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds.), Lecture Notes in Computer Sciences 2034, pp. 418-432, Mar. 2001, ©Springer-Verlag

Refereed conference publications

  1. Lagrangian Sensing: Traffic Estimation with Mobile Devices, D. Work, O.-P. Tossavainen, Q. Jacobson and A. Bayen, to appear, Proceedings of the 2009 American Control Conference, 2009
  2. Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments, A. Tinka, S. Diemer, L. Madureira, E. Marques, J. Sousa, R. Martins, J. Pinto, J. Silva, A. Sousa, P. Saint-Pierre and A. Bayen, to appear, Proceedings of the 2009 American Control Conference, 2009
  3. A general phase transition model for vehicular traffic, S. Blandin, D. Work, P. Goatin, B. Piccoli and A. Bayen, to appear, 2009 IFAC workshop on Control of Distributed Parameter Systems, Toulouse, France, July 20-24 2009
  4. Guaranteed bounds on highway travel times using probe and fixed data, C. Claudel, A. Hofleitner, N. Mignerey, A. Bayen, 88th Transportation Research Board Annual Meeting, Washington D.C., January 10-14 2008
  5. Delay pattern estimation for signalized intersections using sampled travel times, X. Ban, R. Herring, P. Hao, and A. Bayen, 88th Transportation Research Board Annual Meeting, Washington D.C., January 10-14 2008
  6. An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices, D. Work, O.-P. Tossavainen, S. Blandin, A. Bayen, T. Iwuchukwu, K. Tracton, 47th IEEE Conference on Decision and Control, pp. 5062-5068, Cancun, Mexico, Dec. 2008. doi:10.1109/CDC.2008.4738999
  7. Ensemble Kalman filter based state estimation in 2D shallow water equations using Lagrangian sensing and state augmentation, O.-P. Tossavainen, J. Percelay, A. Tinka, Q. Wu and A. Bayen, 47th IEEE Conference on Decision and Control, pp. 1783-1790, Cancun, Mexico, Dec. 2008
  8. Stability analysis of linear hyperbolic systems with switching parameters and boundary conditions, S. Amin, F. Hante, A. Bayen, 47th IEEE Conference on Decision and Control, pp. 2081-2086, Cancun, Mexico, Dec. 2008
  9. Feed-forward river flow control using differential flatness, F. Di Meglio, T. Rabbani, X. Litrico, A. Bayen, 47th IEEE Conference on Decision and Control, pp. 3895-3902, Cancun, Mexico, Dec. 2008
  10. Convex formulations of aggregate network air traffic flow optimization problems, D. Work and A. Bayen, 47th IEEE Conference on Decision and Control, pp. 2141-2147, Cancun, Mexico, Dec. 2008. doi: 10.1109/CDC.2008.4739033
  11. Data reconciliation of an open channel flow network using modal decomposition, Q. Wu, X. Litrico and A. Bayen, 47th IEEE Conference on Decision and Control, pp. 3903-3910, Cancun, Mexico, Dec. 2008
  12. Guaranteed bounds for traffic flow parameters estimation using mixed Lagrangian-Eulerian sensing, C. Claudel and A. Bayen, 46th Annual Allerton Conference on Communication, Control, and Computing, Allerton, IL, Sep. 23-26. 2008
  13. Integration of an aggregate flow model with a traffic flow simulator, R. Hoffman, D. Sun, A. Clinet, S. Augustine, J. Burke, R. Viswanathan and A. Bayen, AIAA Conference on Guidance, Control and Dynamics, AIAA Paper 2008-6325, Honolulu, HI, Aug. 18-21, 2008
  14. Traffic flow reconstruction using mobile sensors and loop detector data, J.-C. Herrera and A. Bayen, 87th Transportation Research Board Annual Meeting, Washington D.C., January 13-17 2008
  15. Computations of solutions to the Moskowitz Hamilton-Jacobi-Bellman equation under viability constraints, A. Bayen, C. Claudel, P. Saint-Pierre, 46th IEEE Conference on Decision and Control, pp. 4737-4742, New Orleans, LA, Dec. 12-14, 2007
  16. Robust feasibility for control of water flow in a canal reservoir system, S. Amin, L. El Ghaoui, S. Sastry, A. Bayen, 46th IEEE Conference on Decision and Control, pp. 1571-1577, New Orleans, LA, Dec. 12-14, 2007
  17. Parameter identification for the shallow water equations using modal decomposition, S. Munier, Q. Wu, S. Amin, A. Bayen, X. Litrico and G. Belaud, 46th IEEE Conference on Decision and Control, pp. 1584-1590, New Orleans, LA, Dec. 12-14, 2007
  18. Multiple aircraft deconflicted path planning with weather avoidance constraints, Jessica Pannequin, Alexandre Bayen, Hoam Chung, Ian Mitchell, Shankar Sastry, AIAA Conference on Guidance, Control and Dynamics, AIAA Paper 2007-6588, Hilton Head, SC, Aug. 20-23, 2007
  19. A weighted graph approach airspace dynamic configuration, S. Martinez, G. Chatterji, D. Sun and A. Bayen, AIAA Conference on Guidance, Control and Dynamics, AIAA Paper 2007-6448, Hilton Head, SC, Aug. 20-23, 2007
  20. Modeling and optimization analysis of a single flagellum bacterial motion, E. Lobaton, A. Bayen, American Control Conference, pp. 455-461, New York, NY, Jul. 9-13, 2006
  21. Quality of hybrid simulation: how good was your test? A reachability analysis approach, A. Scacchioli, A. Bayen, B. Stojadinovic, 18th Engineering Mechanics Conference (EMD2007), Blackburg, VA, Jun. 3-6, 2007
  22. Continuous adjoint methods for air traffic flow management, I. Strub, A. Bayen, 45th IEEE Conference on Decision and Control, pp. 101-106, San Diego, CA, Dec. 13-15, 2006
  23. Eulerian Trilogy, D. Sun, S. Yang, I. Strub, A. Bayen, B. Sridhar, K.l Sheth, AIAA Conference on Guidance, Control and Dynamics, AIAA Paper 2006-6227, Keystone, CO, Aug. 21-24, 2006
  24. Optimal control of air traffic networks using continuous flow models, I. Strub, A. Bayen, AIAA Conference on Guidance, Control and Dynamics, AIAA Paper 2006-6228, Keystone, CO, Aug. 21-24, 2006
  25. MILP control of aggregate Eulerian network airspace models, C.-A. Robelin, D. Sun, G. Wu and A. Bayen, American Control Conference, pp. 5257-5262, Minneapolis, MN, Jun. 14-16, 2006
  26. A viability approach to Hamilton-Jacobi equations: application to concave highway traffic flux functions, J.-P. Aubin, A. Bayen and P. Saint-Pierre, 44th IEEE Conference on Decision and control, European Control Conference, pp. 3519-3524, Sevilla, Spain, Dec. 12-15, 2005
  27. Polynomial time algorithms for scheduling of arrival aircraft, K. Roy, A. Bayen and C. Tomlin, AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2005-6044, San Francisco, Aug. 15-18, 2005
  28. Cooperative distributed control for a multi-agent Eulerian air traffic network, R. Raffard, S. Waslander, A. Bayen and C. Tomlin, AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2005-6050, San Francisco, Aug. 15-18, 2005
  29. Computation and control of solutions to the Burger’s equation using viability theory, J.-P. Aubin, A. Bayen and P. Saint-Pierre, American Control Conference, pp. 3906-3911, Portland, OR, June 8-10, 2005.
  30. An approximation algorithm for scheduling aircraft with holding time, A. Bayen, C. Tomlin, Y. Ye and J. Zhang, Proceedings of the 43rd IEEE Conference on Decision and Control, pp. 2760-2767, Nassau, The Bahamas, December 14-17, 2004.
  31. Optimal arrival traffic spacing via dynamic programming, A. Bayen, C. Tomlin, T. Callantine, Y. Ye, J. Zhang, AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2004-5228, Providence, RI, Aug. 16-19, 2004.
  32. Eulerian network model of air traffic flow in congested areas, A. Bayen, R. Raffard, C. Tomlin, American Control Conference, pp. 5520-5526, Boston, MA,  June 30 – July 2, 2004
  33. Adjoint-based constrained control of Eulerian transportation networks: application to Air Traffic Control, A. Bayen, R. Raffard, C. Tomlin, American Control Conference, pp. 5539-5545, Boston, MA,  June 30 – July 2, 2004
  34. MILP formulation and polynomial time algorithm for an aircraft scheduling problem, A. Bayen, Jiawei Zhang, C. Tomlin and Y. Ye, 42nd IEEE Conference on Decision and Control, pp. 5003-5010, Maui, HI, Dec. 9-12, 2003
  35. A differential game formulation of alert levels in ETMS data for high altitude traffic, A. Bayen, S. Santhanam, I. Mitchell and C. Tomlin, AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2003-5341, Austin, TX, Aug. 11-14, 2003
  36. Real time discrete control law synthesis for hybrid systems using MILP: application to congested airspace, A. Bayen and C. Tomlin, American Control Conference, pp. 4620-4626, Denver, CO, June 4-6, 2003
  37. Hybrid verification of an interface for an automatic landing, M. Oishi, I. Mitchell, A. Bayen, C. Tomlin and A. Degani, 41st IEEE Conference on Decision and Control, pp. 1607-1613, Las Vegas, NV, Dec. 10-13,  2002
  38. A control theoretic predictive model for sector-based air traffic flow, A. Bayen, P. Grieder and C. Tomlin, AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2002-5011, Monterey, CA, Aug. 11-14, 2002
  39. Delay predictive models of the National Airspace System using hybrid control theory, A.  Bayen, P. Grieder, H. Sipma, G. Meyer and C. Tomlin, American Control Conference, pp. 767-772, May 8-10, 2002
  40. A construction procedure using characteristics for viscosity solutions of the Hamilton-Jacobi equation, A. Bayen and C. J. Tomlin, 40th IEEE Conference on Decision and Control, pp. 1657-1662, Orlando, FL, Dec. 4-7, 2001

Refereed conference publications (in review)

  1. Kernel regression for travel-time estimation via convex optimization, S. Blandin, L. El Ghaoui and A. Bayen. Submitted to the 2009 IEEE Conference on Decision and Control, March 2009
  2. Inverse modeling for open boundary conditions in channel network, Q. Wu, M. Rafiee, A. Tinka and A. Bayen. Submitted to the 2009 IEEE Conference on Decision and Control, March 2009
  3. Quadratic programming based data assimilation with passive drifting sensors for shallow water flows, A. Tinka, I. Strub, Q. Wu and A. Bayen. Submitted to the 2009 IEEE Conference on Decision and Control, March 2009
  4. Kalman filter based estimation of flow states in open channels using Lagrangian sensing, M. Rafiee, Q. Wu and A. Bayen. Submitted to the 2009 IEEE Conference on Decision and Control, March 2009
  5. Dirichlet problems for some Hamilton-Jacobi equations with inequality constraints, J.-P. Aubin, A. Bayen, P. Saint-Pierre. Submitted to the 2009 IEEE Conference on Decision and Control, March 2009

Position articles

  1. Open problems and research perspectives for irrigation channels, G. Bastin, A. Bayen, C. D'Apice, X. Litrico and B. Piccoli, Networks and Heterogeneous Media, 4(2), pp. i-v. doi:10.3934/nhm.2009.4.2i
  2. Improved power grid stability and efficiency with a building-energy cyber-physical system, M.-A. Piette, M. Sohn, A. Gadgil, A. Bayen, National Workshop on Research Directions for Future Cyber-Physical Systems, Baltimore, MD, June 3-4, 2008
  3. Impacts of the mobile internet on transportation cyberphysical systems: traffic monitoring using smartphones, D. Work and A. Bayen, National Workshop for Research on High-Confidence Transportation Cyber-Physical Systems: Automotive, Aviation and Rail, Washington, DC, November 18-20, 2008
  4. Automotive cyber physical systems in the context of human mobility, D. Work, A. Bayen, and Q. Jacobson, National Workshop on High-Confidence Automotive Cyber-Physical Systems, Troy, MI, April 3-4, 2008
  5. Mobile Century - using GPS mobile phones as traffic sensors: A field experiment, S. Amin et al., 15th World Congress on Intelligent Transportation Systems, New York, NY, Nov. 2008

Non proceedings conferences

  1. Modeling and strategic flow management using dual decomposition method, D. Sun, A. Bayen, INFORMS Annual Meeting 2007, Seattle, Nov. 4-7, 2007.
  2. En-route air traffic modeling and strategic flow management using Mixed Integer Linear Programming, C. Robelin, D. Sun, G. Wu, A. Bayen, INFORMS Annual Meeting 2005, New Orleans / San Francisco, Nov. 13-16, 2005

Other

Book in preparation

  1. Elements of viability theory, Jean-Pierre Aubin, Alexandre Bayen, Noel Bonneuil, Patrick Saint-Pierre. To appear, Springer-Verlag, 2010

Book chapters

  1. A case study: Air Traffic Management systems, Alexandre Bayen and Claire Tomlin, Encyclopedia of Life Support Systems, Al Gogaisi (Ed.), UNESCO-EOLSS Publishers Co. Ltd. Ref: 6:43:28:8, 2005.
  2. Verification of hybrid systems, Claire Tomlin, Ian Mitchell and Alexandre Bayen, Encyclopedia of Life Support Systems, Al Gogaisi (Ed.), UNESCO-EOLSS Publishers Co. Ltd. Ref: 6:43:28:6, 2005.
  3. Computational tools for the verification of hybrid systems, Claire Tomlin, Stephen Boyd, Ian Mitchell, Alexandre Bayen, Michael Johannson, and Lin Xiao, Software-Enabled Control, Samad and Balas (Eds.), John Wiley, March 2003

Doctoral thesis

  1. Computational control of networks of dynamical systems: application to the National Airspace System, Stanford University, Department of Aeronautics and Astronautics, 2003, Alexandre Bayen

Technical reports

  1. Dynamic estimation of OD matrices for freeways and arterials, J.-C. Herrera, S. Amin, A. Bayen, S. Madanat, M. Zhang, Y. Nie, Z. Qian, Y. Lou, Y. Yin and M. Li, Technical Report, Institute for Transportation Studies, UC Berkeley, 2007
  2. Dirichlet problems for some Hamilton-Jacobi equations with inequality constraints, Jean-Pierre Aubin, Alexandre Bayen, Patrick Saint-Pierre, Preprint di Matematica - n. 4, Scuola Normale Superiore, Pisa, Italy, May 2006

 
 
bv