Alexandre M. Bayen

HomeResearchPublicationsTalks, workshopsStudentsTeachingPersonal, bio

 
goldenGate1.JPG
  

Publications

 

Journal publications

Refereed journal publications

  1. Comparison of the performance of four Eulerian network flow models for strategic air traffic flow management, Dengfeng Sun, Issam Strub, Alexandre Bayen, Networks and Heterogeneous Media, 2(4), pp. 569-594, December 2007.
  2. Aircraft autolander safety through optimal control based reach set computation, Alexandre Bayen, Ian Mitchell, Meeko Oishi and Claire Tomlin , AIAA Journal on Guidance, Control and Dynamics, 30(1), pp. 68-77, January-February 2007.
  3. Weak formulation of boundary conditions for scalar conservation laws: an application to highway modeling, Issam Strub and Alexandre Bayen, International Journal on Robust and Nonlinear Control, 16(16), pp. 733-748, November 2006
  4. Adjoint-based control of a new Eulerian network model of Air Traffic Flow, Alexandre Bayen, Robin Raffard and Claire Tomlin, IEEE Transactions on Control Systems Technology, 14(5), pp. 804- 818, September 2006.
  5. Lagrangian delay predictive model for sector-based air traffic flow, Alexandre Bayen, Pascal Grieder and Claire Tomlin
    AIAA Journal on Guidance, Control and Dynamics, 28(5), pp. 1015-1026, September-October 2005.
  6. Computing Reachable sets for continuous dynamic games using level set methods,Ian Mitchell, Alexandre Bayen and Claire Tomlin, IEEE Transcations on Automatic Control, 50(7), pp. 947-957, July 2005
  7. Computational techniques for the verification and control of hybrid systems, Claire Tomlin, Ian Mitchell, Alexandre Bayen and Meeko Oishi, Proceedings of the IEEE, 91(7), pp. 986-1001, July 2003

To appear

  1. Dirichlet problems for some Hamilton-Jacobi equations with inequality constraints, Jean-Pierre Aubin, Alexandre Bayen, Patrick Saint-Pierre, to appear in the  SIAM Journal on Control and Optimization, 2008.
  2. Invariance preserving abstractions of hybrid systems: application to user interface design, Meeko Oishi, Ian Mitchell, Alexandre Bayen and Claire Tomlin, to appear in the  IEEE Transactions on Control Systems Technology.
  3. A multicommodity Eulerian-Lagrangian Large capacity cell transmissoin model for enroute traffics, Dengfeng Sun, Alexandre Bayen, to appear in the  AIAA Journal on Guidance, Control and Dynamics, 2007

Conference publications

Computer Science conferences

  1. Virtual trip lines for distributed privacy preserving traffic monitoring, Baik Hoh, Marco Gruteser, Ryan Herring, Jeff Ban, Dan Work, Juan-Carlos Herrera, Alexandre Bayen, Murali Annavaram, Quinn Jacobson, Mobisys, Mobile Systems and Applications [AR 18%] June 17-18, Brekenridge, CO.

Lecture Notes in Computer Sciences

  1. Solutions to switched Hamilton-Jacobi equations and conservation laws using hybrid component, Christian Claudel, Alexandre 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), Saurabh Amin, Falk Hante, Alexandre 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), Alexandre Bayen, Christian Claudel, Patrick 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, Issam Strub, Alexandre 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, Alexandre Bayen, Robin Raffard, Claire 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, Alexandre Bayen, Eva Cruck and Claire 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, Ian Mitchell, Alexandre Bayen and Claire Tomlin, Hybrid Systems: Computation and Control (M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds.), Lecture Notes in Computer Sciences 2034, pp. 418-432, Springer-Verlag, Mar. 2001. ©Springer-Verlag 2001.

Refereed conference publications

  1. Computations of solutions to the Moskowitz Hamilton-Jacobi-Bellman equation under viability constraints, Alexandre Bayen, Christian Claudel, Patrick Saint-Pierre, to appear in the 2007 IEEE Conference on Decision and Control.
  2. Robust feasibility for control of water flow in a cnal reservoir system, Saurabh Amin, Laurent El Ghaoui, Shankar Sastry, Alexandre Bayen, to appear in the 2007 IEEE Conference on Decision and Control.
  3. Parameter identification for the shallw water equations using modal decomposition, Simon Munier, Qingfang Wu, Saurabh Amin, Alexandre Bayen, Xavier Litrico and Gilles Belaud, to appear in the 2007 IEEE Conference on Decision and Control.
  4. Multiple aircraft deconflicted path planning with weather avoidance constraints, Jessica Pannequin, Alexandre Bayen, Hoam Chung, Ian Mitchell, Shankar Sastry, to appear in the 2007 AIAA Conference on Guidance, Navigation and Control..
  5. A weighted graph approach airspace dynamic configuration, Stephane Martinez, Gano Chatterji, Dengfeng Sun and Alexandre Bayen, to appear in the 2007 AIAA Conference on Guidance, Navigation and Control..
  6. Modeling and optimization analysis of a single flagellum bacterial motion, Edgar Lobaton, Alexandre Bayen, Proceedings of the 2007 American Control Conference, pp. 455-461, New York, NY, Jul. 2006.
  7. Quality of hybrid simulation: how good was your test? A reachability analysis approach, Annalisa Scacchioli, Alexandre Bayen, Bozidar Stojadinovic, 18th Engineering Mechanics Conference (EMD2007), Blackburg, VA, Jun. 2007.
  8. Continuous adjoint methods for air traffic flow management, Issam Strub, Alexandre Bayen, 45th IEEE Conference on Decision and Control, San Diego, CA, Dec. 2006.
  9. Eulerian Trilogy, Dengfeng Sun, Sam Yang, Issam Strub, Alexandre Bayen, Banavar Sridhar, Kapil Sheth, AIAA Conference on Guidance, Control and Dynamics, AIAA Paper 2006-6227, Aug. 2006
  10. Optimal control of air traffic networks using continuous flow models, Issam Strub, Alexandre Bayen, AIAA Conference on Guidance, Control and Dynamics, AIAA Paper 2006-6228, Aug. 2006
  11. MILP control of aggregate Eulerian network airspace models, Charles-Antoine Robelin, Dengfeng Sun, Guoyuan Wu and Alexandre Bayen, Proceedings of the 2006 American Control Conference, pp. 5257-5262, Jun. 2006.
  12. A viability approach to Hamilton-Jacobi equations: application to concave highway traffic flux functions, Jean-Pierre Aubin, Alexandre Bayen and Patrick Saint-Pierre, Proceedings of the 44th IEEE Conference on Decision and control and European Control Conference, pp. 3519-3524, Dec. 2005.
  13. Polynomial time algorithms for scheduling of arrival aircraft, Kaushik Roy, Alexandre Bayen and Claire Tomlin, Proceedings of the AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2005-6044, Aug. 2005.
  14. Cooperative distributed control for a multi-agent Eulerian air traffic network, Robin Raffard, Stephen Waslander, Alexandre Bayen and Claire Tomlin, Proceedings of the AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2005-6050, Aug. 2005.
  15. Computation and control of solutions to the Burger’s equation using viability theory, Jean-Pierre Aubin, Alexandre Bayen and Patrick Saint-Pierre, Proceedings of the 2005 American Control Conference, pp. 3906-3911, June 2005.
  16. Optimal arrival traffic spacing via dynamic programming, Alexandre Bayen, Claire Tomlin, Todd Callantine, Yinyu Ye, Jiawei Zhang, AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2004-5228, Aug. 2004.
  17. Eulerian network model of air traffic flow in congested areas, Alexandre Bayen, Robin Raffard, Claire Tomlin, Proceedings of the 2004 American Control Conference, pp. 5520-5526 June 2004.
  18. Adjoint-based constrained control of Eulerian transportation networks: application to Air Traffic Control, Alexandre Bayen, Robin Raffard, Claire Tomlin, Proceedings of the 2004 American Control Conference, pp. 5539-5545, June 2004.
  19. An approximation algorithm for scheduling aircraft with holding time, Alexandre Bayen, Claire Tomlin, Yinyu Ye, Jiawei Zhang, Proceedings of the 43rd IEEE Conference on Decision and Control, pp. 2760-2767, Dec. 2004.
  20. MILP formulation and polynomial time algorithm for an aircraft scheduling problem, Alexandre Bayen, Jiawei Zhang, Claire Tomlin and Yinyu Ye, Proceedings of the 42nd IEEE Conference on Decision and Control, pp. 5003-5010, Dec. 2003.
  21. A differential game formulation of alert levels in ETMS data for high altitude traffic, Alexandre Bayen, S. Santhanam, Ian Mitchell and Claire Tomlin, Proceedings of the AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2003-5341, Aug. 2003.
  22. Real time discrete control law synthesis for hybrid systems using MILP: application to congested airspace, Alexandre Bayen and Claire Tomlin, Proceedings of the 2003 American Control Conference, pp. 4620-4626, June 2003.
  23. Hybrid verification of an interface for an automatic landing, Meeko Oishi, Ian Mitchell, Alexandre Bayen, Claire Tomlin and Asaf Degani, Proceedings of the 41st IEEE Conference on Decision and Control, pp. 1607-1613, Dec. 2002.
  24. A control theoretic predictive model for sector-based air traffic flow, Alexandre Bayen, Pascal Grieder and Claire Tomlin, Proceedings of the AIAA Conference on Guidance, Navigation and Control, AIAA Paper 2002-5011, Aug. 2002
  25. Delay predictive models of the National Airspace System using hybrid control theory, Alexandre Bayen, Pascal Grieder, Henny Sipma, George Meyer and Claire Tomlin, Proceedings of the 2002 American Control Conference, pp. 767-772, May 2002.
  26. A construction procedure using characteristics for viscosity solutions of the Hamilton-Jacobi equation, Alexandre Bayen and Claire J. Tomlin, Proceedings of the 40th IEEE Conference on Decision and Control, pp. 1657-1662, Dec. 2001.

Position articles

  1. Automotive cyber physical systems in the context of human mobility, Daniel Work, Alexandre Bayen, Quinn Jacobson, National Workshop on High-Confidence Automotive Cyber-Physical Systems, Troy, MI, April 3-4, 2008.

Non proceedings conferences

  1. Modeling and strategic flow management using dual decomposition method, Dengfeng Sun, Alexandre 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, Charles Robelin, Dengfeng Sun, Guoyuan Wu, Alexandre Bayen, INFORMS Annual Meeting 2005, New Orleans / San Francisco, Nov. 13-16, 2005.

Books

Book in preparation

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

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, Alexandre Bayen

Technical reports

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