Claire J. Tomlin Professor, Electrical Engineering and Computer Sciences UC Berkeley, Berkeley CA, 94720-1770 Professor, Aeronautics and Astronautics Stanford University, Stanford CA, 94305-4035 Ph.D. (EECS) U.C. Berkeley, 1998 M.Sc. (EE) Imperial College, London, 1993 B.A.Sc. (EE) University of Waterloo, 1992

---

Office: 028A Durand Building, MC 4035, Stanford University, Stanford CA, 94305-4035
Phone: (650) 723-5164, Fax: (650)723-3738, tomlin at stanford.edu

Administrative Associate: Sherann Ellsworth, 028 Durand Building
Phone: (650) 723-3389, Fax: (650)723-3738, sheranne at stanford.edu

---

Courses

• Analysis and Control of Nonlinear Systems (E209A), Winter 2007
• Linear System Theory (EE221A), Berkeley, Fall 2006
• Nonlinear Systems: Analysis, Stability, and Control (EE222), Berkeley, Spring 2006
• Analysis and Control of Hybrid Systems (AA278A), Spring 2005
• Introduction to Control Design Techniques (Engr 205), Fall 2004
• Advanced Nonlinear Control (E209B), Spring 2004
• Applied Optimal Estimation and Stochastic Control (E207B), Spring 1999

---

Areas of Research

• Hybrid Control Systems (Hybrid Systems Lab Web Page)
  These are systems which combine continuous time dynamics with discrete event dynamics. Research involves design, verification using new computational methods for computing reachable sets, and simulation of hybrid systems. We are currently developing the theory and designing models to predict the behavior of complex systems.
  This work is supported by an ONR MURI project called CoMotion, for Computational Methods for Collaborative Motion, an NSF Career Award, and was formerly supported by the DARPA Software Enabled Control program.
  Below are some images of reachable set calculation for a test problem (The Game of Two Identical Vehicles); with both the three dimensional set in relative (x,y) and heading angle coordinates, and slices at fixed heading shown. Code and images by Ian Mitchell.
  
  
• Air Traffic Control Automation
  This is joint work with NASA Ames to design models of and control systems for Air Traffic dynamics. This research includes algorithms for automatic resolution of trajectory conflicts between multiple aircraft, as well as novel polynomial time scheduling algorithms. This work is supported through NASA Ames (George Meyer, Len Tobias).
  
  
• Algorithms for Decentralized Optimization
  In this project, we are designing algorithms with provable convergence properties for decentralized optimization -- meaning that several interconnected units act as local decision-makers and optimize local costs, coordinating with each other through constraints. This work is supported by the CoMotion ONR MURI, by a Decision Making under Uncertainty ONR MURI and, formerly, by the DARPA MICA program.
  
  
• Flight Management System Analysis and Design
  This research involves analysis of flight mode switching, aerodynamic envelope protection, and in the verification of cockpit automation from the human pilot's point of view. Joint work with the human factors division at NASA Ames (Asaf Degani).
  
  
• Modeling and Analysis of Biological Cell Networks
  In this research project we are building models and analysis tools for biological cell networks. Current research includes modeling a protein network within Drosophila wing that causes planar polarity within the wing -- we have developed a two-layer model, a hybrid model interfaced with a more detailed PDE reaction-diffusion model. This work is funded by DARPA's BioComp Program, NIH, the Stanford Bio-X Program, and formerly, by DARPA's BioInfoMicro Program. Joint with Professor Jeff Axelrod in the Department of Pathology, Stanford University School of Medicine.
  Below are some images: (Left) Fly wing showing hair polarity (courtesy Dali Ma, Stanford University); (Center) Results of our PDE Model showing Fz steady state protein concentration and resulting predicted hair cell direction in the presence of a patch of cells mutant for Fz protein; (Right) Results of our Hybrid Model showing Fz steady state protein concentration in the presence of a patch of cells mutant for Fz protein. Models and images by Keith Amonlirdviman and Ronojoy Ghosh.
  
  
• Unmanned Aerial Vehicle Design and Control
  In this project we are building a team of UAVs with the goals of studying formation flying, architectures for distributed control, and methods for reliable control over communication links. All of the aircraft and automation design has been done by us -- and we fly the vehicles at Moffett Federal airfield next to NASA Ames. This work was supported by the DARPA Software Enabled Control program. Work of Jung Soon Jang and Rodney Teo.
  
  
• Flight test program: see our DragonFly UAV Lab
  
  

---

Awards

• Chancellor's Professor, Berkeley (2007-2010)
• MacArthur Foundation Fellow (2006)
• Okawa Foundation Research Grant (Berkeley, 2006)
• Vance D. and Arlene C. Coffman Faculty Scholar in the School of Engineering (2006)
• MIT Technology Review's Top 100 Innovators (TR100) (2003)
• Donald P. Eckman Award of the American Automatic Control Council (2003)
  
• National Academy of Engineering's Frontiers of Engineering Program (2002)
  
• AIAA Outstanding Teacher Award, Stanford (2000-2001)
  
• NSF Career Award (2000-2003)
  
• Terman Fellow, Stanford (1998-2001)
  
• Bernard Friedman Memorial Prize in Applied Mathematics, Berkeley (1998)
  
• Zonta Amelia Earhart Awards for Aeronautics Research (1996-98)
  
• Natural Sciences and Engineering Research Council of Canada 1967 Fellow (1992)
  
• Athlone Fellow (1992)
  

---

My Group

Current Ph.D. Students

• Gabe Hoffmann
• Steven Waslander
• Kaushik Roy
• Haomiao Huang
• Anil Aswani
• Maryam Kamgarpour

Former Students

• Robin Raffard (Ph.D. December 2006), Research Associate, Barclays Global Investors.
• Hamsa Balakrishnan (Ph.D. March 2006), Assistant Professor, Department of Aeronautics and Astronautics, and Systems Engineering Division, MIT.
• Ronojoy Ghosh (Ph.D. December 2005) Associate, McKinsey & Co., Detroit.
• Keith Amonlirdviman (Ph.D. August 2005) Associate, McKinsey & Co., Montreal.
• Gokhan Inalhan (Ph.D. August 2004) Assistant Professor, Department of Aeronautics and Astronautics, Istanbul Technical University.
• Alexandre Bayen (Ph.D. January 2004) Assistant Professor, Department of Civil and Environmental Engineering, UC Berkeley
• Jung Soon Jang (Ph.D. January 2004) Inertial Engineer, Cr ossbow Technology
• Inseok Hwang (Ph.D. January 2004) Assistant Professor, School of Aeronautics and Astronautics, Purdue
• Meeko Oishi (Ph.D. January 2004) Assistant Professor, Department of Electrical Engineering, UBC.
• Rodney Teo (Ph.D. January 2004) Researcher, DSTA, Singapore
• Ian Mitchell (Ph.D. August 2002) Assistant Professor, Department of Computer Science, UBC.
• Norihiko Shishido (M. Eng. June 2000), Kawasaki Industries, Japan.

Former Research Associates

• Jung Soon Jang, Inertial Engineer, Crossbow Technology
• Sriram Shankaran, Postdoctoral Researcher, ICME, Stanford
• Jianghai Hu, Assistant Professor, Department of Electrical and Computer Engineering, Purdue
• Dusan Stipanovic, Assistant Professor, Department of General Engineering, University of Illinois at Urbana-Champaign

  ---

  Publications
  
  

  Books
  
  

  • J. Lygeros, C. Tomlin, and S. S. Sastry. Hybrid Systems and Control. In preparation.
    
  • C. Tomlin and M. Greenstreet, Editors. Hybrid Systems: Computation and Control,
    Springer-Verlag, Lecture Notes in Computer Science (LNCS) 2289, March 2002.
    
    

  Refereed Journal Publications
  
  

  1. I. Hwang, J. Kim, and C. Tomlin, Protocol-Based Conflict Resolution for Air Traffic Control. Air Traffic Control Quarterly, 2007, accepted to appear.
  2. I. Hwang, H. Balakrishnan, K. Roy, and C. Tomlin, Multiple-Target Tracking and Identity Management Algorithm with Application to Aircraft Tracking. AIAA Journal of Guidance, Control and Dynamics, 2007, accepted to appear.
  3. M. K. Oishi, I. M. Mitchell, A. M. Bayen and C. J. Tomlin, Hybrid system verification: application to user-interface design. Accepted to appear in the IEEE Transactions on Control Systems Technology, 2007.
     
  4. A. M. Bayen, I. Mitchell, M. K. Oishi and C. J. Tomlin, Aircraft Autolander Safety Analysis Through Optimal Control-Based Reach Set Computation. AIAA Journal on Guidance, Control and Dynamics, 30(1), pp. 68-77, January-February 2007.
  5. J. Hu, M. Prandini, and C. Tomlin, Conjugate points in formation constrained optimal multi-agent coordination: a case study. Accepted to appear in the SIAM J. Control and Optimization, 2006.
  6. A. M. Bayen, R. Raffard, and C. J. Tomlin, Adjoint-based control of a new Eulerian network model of Air Traffic Flow. IEEE Transactions on Control Systems Technology, 14(5): 804-818, September 2006.
  7. I. Hwang, H. Balakrishnan, and C. J. Tomlin, State Estimation for Hybrid Systems: Applications to Aircraft Tracking.
     IEE Proceedings of Control Theory and Applications, 153(5): 556-566, September 2006.
  8. D. M. Stipanovic, S. Shankaran, and C. J. Tomlin, Multi-agent avoidance control using an M-Matrix property. Electronic Journal of Linear Algebra (ELA), 12: 64-72, May 2005.
  9. C. J. Tomlin and J. D. Axelrod, Understanding biology by reverse engineering the control. Proceedings of the National Academy of Sciences (PNAS) 102(12): 4219-4220, March 2005. (Review)
  10. K. Amonlirdviman, N. A. Khare, D. R. P. Tree, W.-S. Chen, J. D. Axelrod, and C. J. Tomlin, Mathematical Modeling of Planar Cell Polarity to Understand Domineering Nonautonomy. Science 307 5708:423-426, 21 Jan 2005. Supporting online material.
      
  11. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, A Time-Dependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games IEEE Transactions on Automatic Control, 50(7): 947-957, July 2005.
  12. R. Ghosh and C. J. Tomlin, Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modeling: Delta-Notch protein signaling, IEE Transactions on Systems Biology, Volume 1, Number 1, pp. 170-183, June 2004.
  13. D. Stipanovic, G. Inalhan, R. Teo, and C. J. Tomlin, Decentralized Overlapping Control of a Formation of Unmanned Aerial Vehicles, Automatica, Volume 40, Number 8, pp.1285-1296, August 2004.
  14. A. M. Bayen, P. Grieder, G. Meyer, and C. J. Tomlin, Lagrangian Delay Predictive Model for Sector Based Air Traffic Flow, AIAA Journal of Guidance, Control, and Dynamics, 28(5): 1015--1026, 2005.
  15. D. Stipanovic, I. Hwang, and C. J. Tomlin, Computation of an Overapproximation of the Backwards reachable set using Subsystem Level Set Functions, Dynamics of Continuous, Discrete, and Impulsive Systems, Series A: Mathematical Analysis 11, pp. 399-411, 2004.
  16. C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, Computational Techniques for the Verification and Control of Hybrid Systems,
      Proceedings of the IEEE, Volume 91, Number 7, pp. 986-1001, July 2003.
  17. Ian Mitchell and C. J. Tomlin, Overapproximating Reachable Sets by Hamilton-Jacobi Projections. Journal of Scientific Computation, Volume 19, Number 1, pp. 323-346, December 2003.
  18. R. Teo and C. J. Tomlin, Computing Danger Zones for Provably Safe Closely Spaced Parallel Approaches. AIAA Journal of Guidance, Control, and Dynamics, Volume 26, Number 3, pp. 434-443, May-June 2003.
  19. Safety Verification of Conflict Resolution Maneuvers
      Claire Tomlin, Ian Mitchell, and Ronojoy Ghosh.
      IEEE Transactions on Intelligent Transportation Systems, Volume 2, Number 2, June 2001.
  20. A Game Theoretic Approach to Controller Design for Hybrid Systems
      Claire Tomlin, John Lygeros, and Shankar Sastry.
      Proceedings of the IEEE, Volume 88, Number 7, July 2000.
  21. Controllers for Reachability Specifications for Hybrid Systems
      John Lygeros, Claire Tomlin, and Shankar Sastry.
      Automatica, Volume 35, Number 3, March 1999.
  22. Switching Through Singularities
      Claire Tomlin and Shankar Sastry
      Systems and Control Letters, Volume 35, pp. 145-154, 1998.
  23. Conflict Resolution for Air Traffic Management: A Study in Multi-Agent Hybrid Systems
      Claire Tomlin, George J. Pappas, and Shankar Sastry.
      IEEE Transactions on Automatic Control, Volume 43, Number 4, April 1998.
  24. Bounded Tracking for Nonminimum Phase Nonlinear Systems with Fast Zero Dynamics
      Claire Tomlin and Shankar Sastry
      International Journal of Control. Volume 68, Number 4, November 1997.
      

  
  

  Book Chapters
  
  

  • C. Tomlin, S. Boyd, I. Mitchell, A. Bayen, M. Johannson, and L. Xiao,
    Computational Tools for the Verification of Hybrid Systems,
    In Software-Enabled Control, Samad and Balas (Eds.), John Wiley, March 2003.
    
    

  Lecture Notes in Computer Science (LNCS) Chapters (not up to date)
  
  

  1. Automated Symbolic Reachability Analysis, with Application to Delta-Notch Signaling Automata
     Ronojoy Ghosh, Ashish Tiwari, and Claire Tomlin
     ©Springer-Verlag 2003, may not be further reproduced without their permission, and is published in Volume xxxx of the LNCS series.
     
  2. 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
     ©Springer-Verlag 2002, may not be further reproduced without their permission, and is published in Volume 2289 of the LNCS series.
     
  3. Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets
     Ian Mitchell, Alexandre Bayen, and Claire Tomlin
     ©Springer-Verlag 2001, may not be further reproduced without their permission, and is published in Volume 2034 of the LNCS series.
     
  4. Addressing Multiobjective Control: Safety and Performance through Constrained Optimization
     Meeko Oishi, Claire Tomlin, Vipin Gopal, and Datta Godole
     ©Springer-Verlag 2001, may not be further reproduced without their permission, and is published in Volume 2034 of the LNCS series.
     
  5. Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
     Ronojoy Ghosh and Claire Tomlin
     ©Springer-Verlag 2001, may not be further reproduced without their permission, and is published in Volume 2034 of the LNCS series.
     
  6. Level Set Methods for Computation in Hybrid Systems
     Ian Mitchell and Claire Tomlin
     ©Springer-Verlag 2000, may not be further reproduced without their permission, and is published in Volume 1790 of the LNCS series.
     
  7. Computing Controllers for Nonlinear Hybrid Systems
     Claire Tomlin, John Lygeros, and Shankar Sastry
     ©Springer-Verlag 1999, may not be further reproduced without their permission, and is published in Volume 1569 of the LNCS series.
     
  8. Synthesizing Controllers for Nonlinear Hybrid Systems
     Claire J. Tomlin, John Lygeros, and Shankar Sastry
     ©Springer-Verlag 1998, may not be further reproduced without their permission, and is published in Volume 1386 of the LNCS series.
     
  9. Multiobjective Hybrid Controller Synthesis
     John Lygeros, Claire J. Tomlin, and Shankar Sastry
     Available as Tech. Rep. UCB/ERL M97/59.
     ©Springer-Verlag 1997, may not be further reproduced without their permission, and is published in Volume 1201 of the LNCS series.
     
  10. A Next Generation Architecture for Air Traffic Management Systems
      C. Tomlin, G. Pappas, J. Lygeros, D. Godbole, and S. Sastry
      ©Springer-Verlag 1996, may not be further reproduced without their permission, and is published in Volume 1273 of the LNCS series.
      

  
  

  Selected Refereed Conference Publications (not up to date)
  
  

  1. I. Hwang, H. Balakrishnan, and C. Tomlin,
     Observability Criteria and Estimator Design for Stochastic Linear Hybrid Systems,
     In the Proceedings of IEE European Control Conference, Cambridge, UK, September 2003.
  2. D. Stipanovic, I. Hwang, G. Inalhan, and C. Tomlin,
     Computation of an Over-Approximation of the Backward Reachable Set using Subsystem Level Set Functions,
     In the Proceedings of IEE European Control Conference, Cambridge, UK, September 2003.
  3. I. Hwang, J. Hwang, and C. Tomlin,
     Flight-Mode-Based Aircraft Conflict Detection using a Residual-Mean Interacting Multiple Model Algorithm,
     Proceedings of the AIAA Guidance, Navigation, and Control Conference, Austin, August 2003.
  4. A. Bayen, S. Santhanam, I. Mitchell and C. Tomlin,
     A differential game formulation of alert levels in ETMS data for high altitude traffic,
     Proceedings of the AIAA Guidance, Navigation, and Control Conference, Austin, August 2003.
  5. J. S. Jang, and C. Tomlin,
     Longitudinal Stability Augmentation System Design for the DragonFly UAV using a Single GPS Receiver,
     Proceedings of the AIAA Guidance, Navigation, and Control Conference, Austin, AIAA Paper Number 2003-5592, August 2003.
  6. A. Bayen, and C. Tomlin,
     Real-time discrete contol law synthesis for hybrid systems using MILP: Application to congested airspace,
     In the Proceedings of the AACC American Control Conference, Denver, June 2003.
  7. I. Hwang, D. Stipanovic, and C. Tomlin,
     Application of Polytopic Approximations of Reachable Sets to Linear Dynamic Games and a Class of Nonlinear Systems,
     In the Proceedings of the AACC American Control Conference, Denver, June 2003.
  8. Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, and Claire Tomlin,
     Reachability Analysis of Delta-Notch Lateral Inhibition using Predicate Abstraction
     In the Proceedings of High Performance Computing, Bangalore, December 2002.
  9. K. Amonlirdviman, R. Ghosh, J. D. Axelrod, C. J. Tomlin,
     A Hybrid Systems Approach to Modeling and Analyzing Planar Cell Polarity
     In the Proceedings of the International Conference on Systems Biology, Stockholm, December 2002.
  10. D. Stipanovic, G. Inalhan, R. Teo, and C. Tomlin,
      Decentralized overlapping control of a formation of unmanned aerial vehicles,
      In the Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, December 2002.
  11. M. Oishi, I. Mitchell, A. Bayen, C. Tomlin, and A. Degani,
      Hybrid verification of an interface for an automatic landing,
      In the Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, December 2002.
  12. R. Ghosh, K. Amonlirdviman, C. Tomlin,
      A hybrid systems model of planar cell polarity signaling in drosophila melanogaster wing epithelium,
      In the Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, December 2002.
  13. G. Inalhan, D. Stipanovic, and C. Tomlin,
      Decentralized Optimization, with application to Multiple Aircraft Coordination, Best student paper finalist!
      In the Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, December 2002.
  14. R. Teo, D. Stipanovic, and C. Tomlin,
      Multiple Vehicle Control over a Lossy Datalink,
      In the Proceedings of the Asian Control Conference, Singapore, September 2002.
  15. A. Bayen, P. Grieder, C. Tomlin,
      A Control Theoretic Predictive Model for Sector-Based Air Traffic Flow,
      Proceedings of the AIAA Guidance, Navigation, and Control Conference, Monterey, AIAA Paper Number 2002-5011, August 2002.
  16. J. S. Jang and C. Tomlin,
      Design and Implementation of a Low Cost, Hierarchical and Modular Avionics Architecture for the DragonFly UAVs,
      Proceedings of the AIAA Guidance, Navigation, and Control Conference, Monterey, AIAA Paper Number 2002-4465, August 2002.
  17. A. Bayen, P. Grieder, H. Sipma, C. Tomlin, and G. Meyer,
      Delay predictive models of the national airspace system using hybrid control theory: design, simulations, and proofs,
      In the Proceedings of the AACC American Control Conference, Anchorage, May 2002.
  18. I. Hwang and C. Tomlin,
      Multiple Aircraft Conflict Resolution under Finite Information Horizon,
      In the Proceedings of the AACC American Control Conference, Anchorage, May 2002.
  19. A construction procedure using characteristics for viscosity solutions of the Hamilton-Jacobi equation
      Alexandre Bayen and Claire J. Tomlin
      In the Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, December 2001.
  20. R. Ghosh and C. Tomlin,
      A Suitable Switch: Parameter Constraints for a Hybrid Model of Lateral Inhibition through Delta-Notch Signaling,
      39th Annual Allerton Conference on Communication, Control, and Computing, October 2001.
  21. J. Evans, G. Inalhan, J. S. Jang, R. Teo, and C. Tomlin,
      DragonFly: A versatile UAV platform for the advancement of aircraft navigation and control,
      Proceedings of the 20th Digital Avionics System Conference, Daytona Beach, pp. 1C3/1-12, October 2001.
  22. Provably Safe Evasive Maneuvers against Blunders in Closely Spaced Parallel Approaches
      Rodney Teo and Claire J. Tomlin
      In the Proceedings of the AIAA Guidance, Navigation, and Control Conference, Montreal, August 2001.
  23. Autopilot Design for the Stanford DragonFly UAV: Validation through Hardware-in-the-Loop Simulation
      Jung Soon Jang and Claire J. Tomlin
      In the Proceedings of the AIAA Guidance, Navigation, and Control Conference, Montreal, August 2001.
  24. Ellipsoidal Approximation of Reachable Sets for Linear Games
      Norihiko Shishido and Claire Tomlin
      In the Proceedings of the 39th IEEE Conference on Decision and Control, Sydney, December 2000.
  25. Computing Provably Safe Aircraft to Aircraft Spacing for Closely Spaced Parallel Approaches
      Rodney Teo and Claire Tomlin
      In the Proceedings of the Digital Avionics Systems Conference (DASC00), Philadelphia, October 2000.
  26. Nonlinear Inverse Dynamic Control for Mode-based Flight
      Ronojoy Ghosh and Claire Tomlin
      In the Proceedings of the AIAA Guidance, navigation, and Control Conference, Denver, August 2000.
  27. Maneuver Design for Multiple Aircraft Conflict Resolution
      Ronojoy Ghosh and Claire Tomlin
      In the Proceedings of the American Control Conference, Chicago, June 2000.
  28. Switching in Nonminimum Phase Nonlinear Systems: Applications to a VSTOL Aircraft
      Meeko Oishi and Claire Tomlin
      In the Proceedings of the American Control Conference, Chicago, June 2000.
  29. Switched Nonlinear Control of a VSTOL Aircraft
      Meeko Oishi and Claire Tomlin
      In the Proceedings of the 38th IEEE Conference on Decision and Control, Phoenix, December 1999.
  30. Towards Efficient Computation of Solutions to Hybrid Systems
      Claire Tomlin
      In the Proceedings of the 38th IEEE Conference on Decision and Control, Phoenix, December 1999.
  31. Hybrid Control of Air Traffic Management
      C. Tomlin.
      In the Proceedings of the 1999 ASME International Mechanical Engineering Congress and Exposition, Nashville, November 1999.
  32. Flight Tests of an Unmanned Air Vehicle with Integrated Multi-Antenna GPS Receiver and IMU: Towards a Testbed for Distributed Control and Formation Flight
      J. Evans, W. Hodge, J. Liebman, C. Tomlin, B. Parkinson.
      In the Proceedings of the ION-GPS Conference, Nashville, September 1999.
  33. Towards Automated Conflict Resolution in Air Traffic Control
      C. Tomlin.
      In the Proceedings of IFAC99, Beijing, July 1999.
  34. Controller Synthesis for Hybrid Systems: the Hamilton-Jacobi Approach
      C. Tomlin, J. Lygeros, and S. Sastry.
      In the Proceedings of the AAAI Spring Symposium, Stanford, March 1999.
  35. Free Flight in 2000: Games on Lie Groups
      Claire Tomlin, Yi Ma, and Shankar Sastry
      In the Proceedings of the 37th IEEE Conference on Decision and Control, Tampa, December 1998.
  36. Aerodynamic Envelope Protection using Hybrid Control
      C. Tomlin, J. Lygeros, and S. Sastry
      In the Proceedings of the American Control Conference, Philadelphia, June 1998.
  37. Advanced Air Traffic Automation: A Case Study in Distributed Decentralized Control
      C. Tomlin, G. Pappas, J. Kosecka, J. Lygeros and S. Sastry
      Springer-Verlag, Proceedings of the Workshop Control Problems in Robotics and Automation, San Diego, December 1997.
  38. Noncooperative Conflict Resolution
      Claire Tomlin, George J. Pappas, and Shankar Sastry.
      In the Proceedings of the 36th IEEE Conference on Decision and Control, San Diego, December 1997.
  39. Output Tracking for a Non-Minimum Phase Dynamic CTOL Aircraft Model
      Claire Tomlin, John Lygeros, Luca Benvenuti, and Shankar Sastry
      In the Proceedings of the 34th IEEE Conference on Decision and Control, New Orleans, December 1995.

  
  

  Reports
  
  

  • Control of Systems on Lie Groups
    Claire Tomlin and Shankar Sastry.
    Part of Technical Report UCB/ERL M95/8, Advanced Topics in Adaptive and Nonlinear Control, by Professor S. S. Sastry.
  • Verification of an Air Traffic Management Protocol using HyTech
    Claire Tomlin.
    EE290A, Henzinger - Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Spring 1996.
  • Splining on Lie Groups
    Claire Tomlin.
    CS284, Barsky - Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Fall 1995.

  
  

  Ph.D. Thesis
  
  

  • Hybrid Control of Air Traffic Management Systems
    Claire Tomlin
    Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, 1998.
    

  
  

  ---

  Some Recent Talks
  
  

  • Controlling Networks of Aircraft,
    UC Berkeley Institute of Transportation Systems, October 2003.
  • An Engineering Viewpoint of Signaling in Protein Networks,
    National Academies' Keck Futures Symposium, Washington DC, May 2003.
  • Computational Methods for Controlling Hybrid Systems,
    UC Berkeley EECS Seminar, May 2003; MIT LIDS Seminar, April 2002; Princeton MAE Seminar, February 2002.
  • Using Hybrid Control to Decode Biological Circuits,
    MIT Division of Biological Engineering Colloquium, April 2002.
  • Level Set Methods for Control, with Applications to Air Traffic and Flight Management Systems,
    UC Berkeley Applied Math Seminar, February 2002.
    
  • Applying formal verification of hybrid systems to the design of autopilot interfaces,
    Boeing Commercial Aircraft Group: Control and Human Factors, Seattle, December 2001.
    
  • Deconstructing Hairy: Using Control Theory to Decode Biological Circuits,
    Department of Energy and Whitehead Institute Workshop: Computational and Systems Biology, Visions for the Future, Washington DC, September 2001.
    
  • A Glimpse into the Mathematics of Air Traffic Control,
    Presented at the University of British Columbia, Symposium in Honor of Nobel Prize Winning Scientist Dr. Michael Smith, April 2001. Featured in the article Crash Course by Allen Abel, Canadian National Post, Saturday Night Magazine, Toronto, April 28, 2001.

  ---

  Brief Biography
  
  In September 1998, I received my Ph.D. from the Department of Electrical Engineering and Computer Sciences at Berkeley. Here is a picture of me as a graduate student. I received my B.A.Sc. in Electrical Engineering from the University of Waterloo, Canada, in 1992, and my M.Sc. in Electrical Engineering from Imperial College, London, England, in 1993.

  ---

  Claire Tomlin (tomlin@stanford.edu) / January 2005.