John Lygeros

ETH Zurich Automatic Control Laboratory ETL I 22, Physikstrasse 3 CH-8092 Zurich, Switzerland Tel.: +41 44 632 89 70 Fax.: +41 44 632 12 11 Email: lygeros@control.ee.ethz.ch WWW: www.control.ee.ethz.ch

Education University of California, Berkeley Doctor of Philosophy Electrical Engineering and Computer Sciences May 18, 1996 Imperial College of Science, Technology and Medicine, London, U.K. Masters of Science Control Systems December 18, 1991 Imperial College of Science, Technology and Medicine, London, U.K. Bachelors of Engineering Electrical & Electronic Engineering August 1, 1990 Appointments January 2010 - present: ETH Zurich Professor, Automatic Control Laboratory January 2009 - present: ETH Zurich Head, Automatic Control Laboratory July 2006 - December 2009: ETH Zurich Associate Professor, Automatic Control Laboratory March 2003 - July 2006: University of Patras Assistant Professor, Department of Electrical and Computer Engineering July 2000 - June 2003: University of Cambridge University Lecturer, Department of Engineering October 2000 - June 2003: Churchill College, Cambridge Title A Fellow

January 2000 - June 2000: Compulsory military service, Hellenic Navy October 1997 - December 1999: University of California, Berkeley Postdoctoral Research Associate, Electrical Engineering and Computer Sciences June 1998 - December 1999: SRI International, Menlo Park, California Research Engineer (part time), Applied Physical Sciences Laboratory May 1999 - June 1999: Universite de Bretagne Occidentale, Brest, France Visiting Professor, Mathematics Department November 1996 - October 1997: Massachusetts Institute of Technology Postdoctoral Research Associate, Laboratory for Computer Science June 1996 - October 1996: University of California, Berkeley Visiting Postdoctoral Researcher, National Automated Highway System Consortium January 1993 - May 1996: University of California, Berkeley Graduate Student Researcher, Electrical Engineering and Computer Sciences August 1992 - December 1992: University of California, Berkeley Graduate Student Instructor, Electrical Engineering and Computer Sciences June 1989 - August 1989: National Power, U.K. Intern, Central Electricity Research Laboratories June 1988 - July 1988: Hellenic Aspropyrgos Renery, Greece Intern Honors and Awards 2011: Fellow of the IEEE for contributions to hybrid and stochastic systems and applications. 2011: Plenary lecture, Computational Management Science Conference (CMS2011) 2009: Golden Owl teaching award, ETH Zurich. 2008: Semi-plenary lecture, Chinese Control and Decision Conference (CCDC2008). 2004: Senior Member of the IEEE. 1997: Eliahu Jury Award, University of California, Berkeley 1991: California Micro electronics Fellowship, University of California, Berkeley 1991: M.Sc. with Distinction, Imperial College of Science, Technology and Medicine 1990: Science and Engineering Research Council Studentship, London, U.K. 1990: B.Eng. with First Class Honours, Imperial College of Science, Technology and Medicine. 1990: Governors Prize in Electrical Engineering, City and Guilds College, London, U.K. Active Research Grants

Principal Investigator, Feedback control of camera networks for tracking and surveillance, Swiss National Science Foundation, grant number 200021-137876, start date January 1, 2012. Principal Investigator, Real time computation and optimization for networked camera surveillance, Nano-Tera/SSSTC Pilot Grant, start date October 1, 2011. Principal Investigator, Development of New PhD Courses and Increase of Research Potential in the Field of Automation of Processes in Air Transport and Trac Systems, Swiss National Science Foundation, Institutional Partnerships (SCOPES), IZ74Z0-137352, start date October 1, 2011. Principal Investigator, Hierarchical Control for Renewable Wind Energy Generation, Staatssekretariat fur Bildung und Forschung (SBF), start date April 1, 2011. Coordinator and Principal Investigator, Modeling, verication and control of complex systems: From foundations to power network applications (MoVeS), European Commission, Information Communication Technologies (ICT), FP7, Specic Targeted Research Project (STREP), FP7ICT-257005, start date October 1, 2010. Principal Investigator, Highly-complex and networked control systems (HYCON II), European Commission, Information Communication Technologies (ICT), FP7, Network of Excellence (NoE), FP7-ICT-257462, start date September 1, 2010. Principal Investigator, KIOS Research Center for Intelligent Systems and Networks, Research Promotion Foundation of Cyprus, start date September 1, 2010. Principal Investigator, Stochastic MPC, ETH Zurich, grant number ETH 12 09-2, start date August 1, 2009. Principal Investigator, Intelligent Monitoring, Control, and Security of Critical Infrastructure systems (IntelliCIS), European Science Foundation COST Action, grant number IC-0806, start date May 11, 2009. Principal Investigator, Stochastic Model Predictive Control, Swiss National Science Foundation, grant number 200021-122072, start date December 1, 2008. Principal Investigator, Feedback design for wireless networked systems (FeedNetBack), European Commission, Information Communication Technologies (ICT), FP7, Specic Targeted Research Project (STREP), FP7-ICT-223866, start date September 15, 2008. Principal Investigator, Towards and understanding of nutrient signaling and metabolic operation (YeastX), SystemsX, start date August 1, 2008. Completed Research Grants Principal Investigator, Vital Infrastructure, Networks, Information and Control Systems Management (VIKING), European Commission, Information Communication Technologies (ICT) and Security (SEC), FP7, Specic Targeted Research Project (STREP), FP7-ICT-SEC-225643, November 1, 2008 to November 30, 2011. Principal Investigator, Analysis and Control of Hybrid Systems, Sino-Swiss Science and Technology Cooperation Program (SSSCT), Travel Grant EG 50-032010, September 1 to October 31, 2011.

Principal Investigator, Safety, Complexity and Responsibility based design and validation of highly automated Air Trac Management (iFly), European Commission, Energy and Transport (TREN), FP6, Specic Targeted Research Project (STREP), FP6-TREN-03710, May 22, 2007 to August 22, 2011. Principal Investigator, Contract-based Air Transportation System (CATS), European Commission, Energy and Transport (TREN), FP7, Specic Targeted Research Project (STREP), FP7-TREN-036889, November 1, 2007 to November 30, 2010. Principal Investigator, En-route air trac soft management ultimate system (ERASMUS), European Commission, Energy and Transport (TREN), FP6, Specic Targeted Research Project (STREP), FP6-TREN-518276, May 5, 2006 to February 23, 2009. Coordinator and Principal Investigator, Hybrid systems for biochemical network modeling and analysis (HYGEIA), European Commission, New and Emerging Science and Technology (NEST), FP6, Specic Targeted Research Project (STREP), FP6-NEST-4995, January 1, 2005 to December 31, 2007. Principal Investigator, Taming heterogeneity and complexity of networked embedded systems, (HYCON), European Commission, Information Society Technologies (IST), FP6, Network of Excellence, FP6-IST-511368, September 15, 2004 to September 14, 2008. Principal Investigator, Recongurable, ubiquitous networked embedded systems, (RUNES), European Commission, Information Society Technologies (IST), FP6, Integrated Project, FP6IST-004536, September 1, 2004 to July 31, 2007. Principal Investigator, Towards a next generation ATM system: Model based conict detection and resolution, Eurocontrol Experimental Centre, grant C20051E/BM/03, July 1, 2003 to June 30, 2006. Coordinator and Principal Investigator, Controller design for safety critical embedded systems, (COLUMBUS), European Commission, Information Society Technologies (IST), FP5, research contract, FP5-IST-2001-38314, July 1, 2002 to June 30, 2004. Principal Investigator, Stochastic hybrid systems in air trac management, The British Council and the Netherlands Organization for Scientic Research. U.K.-Netherlands Partnership Program in Science, grant PPS718, April 11, 2002. Principal Investigator, Probabilistic collision avoidance for air trac control, Engineering and Physical Sciences Research Council, U.K. Visiting Fellowship GR/R62663/01, March 27, 2002. Principal Investigator, Simulation and design of hybrid control systems, Engineering and Physical Sciences Research Council, U.K. CASE Studentship, October 1, 2001 to September 30, 2004. Principal Investigator, Distributed control and stochastic analysis of hybrid systems, supporting safety critical real-time systems design (HYBRIDGE), European Commission, Information Society Technologies (IST), FP5, research contract, FP5-IST-2001-32460, January 1, 2002 to March 31, 2005. Principal Investigator, Toward a viability theory for hybrid systems, Engineering and Physical Sciences Research Council, U.K., research grant GR/R51575/01, March 1, 2002 to June 30, 2003.

Professional Activities Fellow of the IEEE. Member of the IET and the Technical Chamber of Greece. Member of the IEEE Control Systems Society Board of Governors, 2012. Member of the Scientic Steering Committee of the Newton Institute, Cambridge U.K., 20122015. Associate editor of the IEEE Transactions on Automatic Control, 2006-2009. Guest editor for the European Journal of Control, special issue on Stochastic Hybrid Systems, December 2010. Guest editor for the International Journal of Adaptive Control and Signal Processing, special issue on Air Trac Management: Challenges and opportunities for advanced control, October 2010. Chair of the International Program Committee of the European Control Conference 2013. Cochair of the Technical Program Committee of the IFAC Workshop on Estimation and Control of Networked Systems (NecSys) 2010. Member of the IEEE Control Systems Society Conference Editorial Board, 1997-1999. Member of the Program Committee of the 5th International Conference on Hybrid Systems (HS97), the International Workshop Hybrid Systems: Computation and Control (HSCC), 19992005, 2008, and 2010, the American Control Conference (ACC) 2005 and 2007, the International Conference on Research in Air Transportation (ICRAT) 2004-2010, the IEEE international conference on Research Innovation and Vision for the Future (RIVF) 2006 and 2007, the Conference on Computer Aided Verication (CAV) 2007, the Control over Communication Channels workshop (ConCom) 2007, the International Conference on Robot Communication and Coordination (RoboComm) 2007, the US/EUROPE Air Trac Management Research and Development Seminar (ATM R&D) 2009, EUROCONTROLs Innovation Workshop (INO) 2010, and the IEEE Mediterranean Conference on Control and Automation (MED) 2011. Member of the International Program Committee of the 2nd IFAC conference on the Analysis and Design of Hybrid Systems (ADHS) 2006, the IFAC Symposium on Automatic Control in Aerospace (SACA) 2007, and the International Symposium on Mathematical Theory of Networks and Systems (MTNS) 2010. Co-organizer (with G.J. Pappas and S.S. Sastry) of the workshop Hybrid Systems: Modeling, analysis, control, IEEE Conference on Decision and Control, December 6, 1999, Phoenix, Arizona, U.S.A.. Organizer of the workshop Stochastic hybrid systems: Theory and application to air trac management, University of Cambridge, September 5, 2003, Cambridge, U.K.. Coorganizer (with K. Kyriakopoulos and M.D. di Benedetto) of the workshop Hybrid systems: A formal paradigm for safety critical embedded systems, University of Patras, September 22-24, 2004, Rio, Patras, Greece. Co-organizer (with A. van der Schaft) of the workshop Stochastic hybrid systems: Theory and applications IEEE Conference on Decision and Control, December 13, 2004, Paradise Island, The Bahamas. Co-organizer (with G. Ferrari-Trecate) of the workshop Hybrid Systems Biology, IEEE Conference on Decision and Control, December 12, 2006, San Diego, CA, U.S.A. and of the PhD School by the same name, July 20, 2007, Siena, Italy. Co-organizer (with A. Abate and S. Sastry) of the workshop Stochastic Hybrid Systems: Theory and Applications, IEEE Conference on Decision and Control, December 8, 2008, Cancun, Mexico. Co-organizer (with M. Khammash and J. Stelling) of the workshop

Stochastic Systems Biology, Centro Stefano Franscini, Mote Verita, Switzerland, July 19-23, 2011. Reviewer for (among others) Molecular Systems Biology, SIAM Journal of Control and Optimization, International Journal of Control, Automatica, Systems Control Letters, IEEE Transactions on Automatic Control, IEEE Transactions on Robotics, Proceedings of the IEEE, IEEE Transactions on Control Systems Technology, IEEE Transaction on Vehicular Technology, IEEE Transactions on Fuzzy Systems, Journal of Control Theory and Advanced Technology, Society of Automotive Engineering Journal, Transportation Research C, IEEE Transactions on Aerospace and Electronic Systems IEEE/ACM Transactions on Computational Biology and Bioinformatics, ACM Transactions on Software Engineering and Methodology,IEEE Conference on Decision and Control (CDC), ASME American Control Conference (ACC), EUCA European Control Conference (ECC) and the IFAC World Congress. Reviewer for AMS Mathematical Reviews 2005-2009. Member of the international evaluation panel Heraclitus II, Secretariat General for Research and Technology (GGET), Greece, 2010. Member of the evaluation panel Scientic Co-operation between Eastern Europe and Switzerland (SCOPES, Switzerland), 2009. Member of the Engineering Responsive Mode Panel, Engineering and Physical Sciences Research Council (EPSRC, U.K.), 2001. Evaluator of proposals for the Engineering and Physical Sciences Research Council (EPSRC), the Netherlands Organization for Scientic Research (NWO), the Australian Research Council (ARC), the Greek Secretariat General for Research and Technology (GGET), and the SinoSwiss Science and Technology Cooperation (SSSTC). Language Skills Mother Language: Greek Second Language: English Other Languages: French, German

List of Publications
John Lygeros

Thesis

1.1. J. Lygeros, Hierarchical Hybrid Control of Large Scale Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1996. 1.2. J. Lygeros, Nonlinear feedback control of an absorption/stripping pilot plant, Masters thesis, Imperial College of Science Technology and Medicine, University of London, 1991.

Patent

2.1. G. Fourlas and J. Lygeros, Method for the detection of the deviation of civil aircraft from their ight plan,, Hellenic Organization of Industrial Property Rights (OBI), patent number 1006243, 2009. International classication: G08G 5/00.

Edited Volumes

3.1. M. Prandini and J. Lygeros, Stochastic hybrid systems: A powerful framework for complex, large scale applications, European Journal of Control, vol. 16, pp. 583594, December 2010. 3.2. A. Lecchini Visintini and J. Lygeros, Air trac management: challenges and opportunities for advanced control, International Journal of Adaptive Control and Signal Processing, vol. 24, pp. 811812, October 2010. 3.3. C. Cassandras and J. Lygeros (Eds.), Stochastic Hybrid Systems. No. 24 in Control Engineering, Boca Raton: CRC Press, 2006. 3.4. H. Blom and J. Lygeros (Eds.), Stochastic Hybrid Systems: Theory and Safety Critical Applications. No. 337 in Lecture Notes in Control and Information Sciences, Berlin: Springer-Verlag, 2006.

Journal Publications

4.1. R. Porreca, E. Cinquemani, J. Lygeros, and G. Ferrari-Trecate, Invalidation of the structure of genetic network dynamics: A geometric approach, International Journal of Robust and Nonlinear Control, 2012. (To appear). 4.2. T. Tuma, A. Pantazi, J. Lygeros, and A. Sebastian, Comparison of two non-linear control approaches to fast nanopositioning: Impulsive control and signal transformation, Mechatronics, 2012. (To appear). 4.3. D. Chatterjee, F. Ramponi, P. Hokayem, and J. Lygeros, On mean square boundedness of stochastic linear systems with bounded controls, Systems and Control Letters, vol. 61, pp. 375380, February 2012. 4.4. P. Hokayem, E. Cinquemani, D. Chatterjee, F. Ramponi, and J. Lygeros, Stochastic receding horizon control with output feedback and bounded controls, Automatica, vol. 48, pp. 7788, January 2012. 4.5. A. Milias-Argeitis, S. Summers, J. Stewart-Ornstein, I. Zuleta, D. Pincus, H. El-Samad, M. Khammash, and J. Lygeros, In silico feedback for in vivo regulation of a gene expression circuit, Nature Biotechnology, vol. 29, pp. 11141116, December 2011. 4.6. D. Chatterjee, P. Hokayem, and J. Lygeros, Stochastic receding horizon control with bounded control inputs: a vector space approach, IEEE Transactions on Automatic Control, vol. 56, pp. 2704 2710, November 2011.

4.7. S. Summers, C. Jones, J. Lygeros, and M. Morari, A multiresolution approximation method for fast explicit model predictive control, IEEE Transactions on Automatic Control, vol. 56, pp. 2530 2541, November 2011. 4.8. J. Ruess, A. Milias-Argeitis, S. Summers, and J. Lygeros, Moment estimation for chemically reacting systems by extended Kalman ltering, Journal of Chemical Physics, vol. 135, no. 165102, 2011. 4.9. E. Cinquemani, M. Agarwal, D. Chatterjee, and J. Lygeros, Convexity and convex approximations of discrete-time stochastic control problems with constraints, Automatica, vol. 47, pp. 20822087, September 2011. 4.10. K. Margellos and J. Lygeros, Hamilton-jacobi formulation for reach-avoid dierential games, IEEE Transactions on Automatic Control, vol. 56, pp. 18491861, August 2011. 4.11. K. Koutroumpas and J. Lygeros, Modeling and analysis of DNA replication, Automatica, vol. 47, pp. 11561164, June 2011. 4.12. D. Chatterjee, E. Cinquemani, and J. Lygeros, Maximizing the probability of attaining a target prior to extinction, Nonlinear Analysis: Hybrid Systems, vol. 5, pp. 367381, May 2011. 4.13. T. Tuma, A. Sebastian, W. H aberle, J. Lygeros, and A. Pantazi, Impulsive control for fast nanopositioning, Nanotechnology, vol. 22, April 2011. 135501. 4.14. A. Abate, J.-P. Katoen, J. Lygeros, and M. Prandini, Approximate model checking of stochastic hybrid systems, European Journal of Control, vol. 16, pp. 624641, December 2010. 4.15. A. Lecchini Visintini, J. Lygeros, and J. Maciejowski, Stochastic optimization on continuous domains with nite-time guarantees by Markov chain Monte Carlo methods, IEEE Transactions on Automatic Control, vol. 55, pp. 28582863, December 2010. 4.16. S. Summers and J. Lygeros, Verication of discrete time stochastic hybrid systems: A stochastic reachavoid decision problem, Automatica, vol. 46, pp. 19511961, December 2010. 4.17. G. Chaloulos, E. Cruck, and J. Lygeros, A simulation based study of subliminal control for air trac management, Transportation Research Part C, vol. 18, pp. 963-974, December 2010. 4.18. F. Ramponi, D. Chatterjee, A. Milias-Argeitis, P. Hokayem, and J. Lygeros, Attaining mean square boundedness of a marginally stable stochastic linear system with a bounded control input, IEEE Transactions on Automatic Control, vol. 55, pp. 24142418, October 2010. 4.19. I. Lymperopoulos and J. Lygeros, Sequential Monte Carlo methods for multi-aircraft trajectory prediction in air trac management, International Journal of Adaptive Control and Signal Processing, vol. 24, pp. 830849, October 2010. 4.20. R. Porreca, E. Cinquemani, J. Lygeros, and G. Ferrari-Trecate, Identication of genetic network dynamics with unate structure, Bioinformatics, vol. 26, no. 9, pp. 12391245, 2010. 4.21. I. Lymperopoulos and J. Lygeros, Improved multi-aircraft ground trajectory prediction for air trac control, AIAA Journal of Guidance Control and Dynamics, vol. 33, pp. 347362, March-April 2010. 4.22. A. Abate, J. Lygeros, and S. Sastry, Probabilistic safety and optimal control for survival analysis of bacillus subtilis, Systems and Control Letters, vol. 59, pp. 7985, January 2010. 4.23. C. Yuan, X. Mao, and J. Lygeros, Stochastic hybrid delay population dynamics: Well-posed models and extinction, Journal of Biological Dynamics, vol. 3, pp. 121, January 2009. 4.24. E. Cinquemani, A. Milias-Argeitis, S. Summers, and J. Lygeros, Stochastic dynamics of genetic networks: modelling and parameter identication, Bioinformatics, vol. 24, no. 23, pp. 27482754, 2008. 4.25. A. Abate, M. Prandini, J. Lygeros, and S. Sastry, Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems, Automatica, vol. 44, pp. 27242734, 2008. 4.26. J. Lygeros, K. Koutroumpas, S. Dimopoulos, I. Legouras, P. Kouretas, C. Heichinger, P. Nurse, and Z. Lygerou, Stochastic hybrid modeling of DNA replication across a complete genome, PNAS, vol. 105, pp. 1229512300, August 2008.

4.27. K. Koutroumpas, E. Cinquemani, P. Kouretas, and J. Lygeros, Parameter identication for stochastic hybrid systems using randomized optimization: A case study on subtilin production by Bacillus Subtilis, Nonlinear Analysis: Hybrid Systems, vol. 2, pp. 786802, August 2008. 4.28. V. Deligiannis, S. Manesis, and J. Lygeros, Global automata: A new approach on modelling industrial systems, International Journal of Industrial and Systems Engineering, vol. 3, no. 4, pp. 383406, 2008. 4.29. E. Cinquemani, R. Porreca, G. Ferrari-Trecate, and J. Lygeros, Subtilin production by Bacillus Subtilis: Stochastic hybrid models and parameter identication, IEEE Transactions on Automatic Control and IEEE Transactions on Circuits and Systems I Joint Special Issue on Systems Biology, vol. 53, pp. 3850, January 2008. 4.30. G. Nikolakopoulos, A. Panousopoulou, A. Tzes, and J. Lygeros, Multi-hopping induced gain scheduling for wireless networked controlled systems, Asian Journal of Control, vol. 9, pp. 450457, December 2007. 4.31. G. Chaloulos and J. Lygeros, The eect of wind correlation on aircraft conict probability, AIAA Journal of Guidance Control and Dynamics, vol. 30, pp. 17421752, November-December 2007. 4.32. Y. Gao, J. Lygeros, and M. Quincampoix, On the reachability problem for uncertain hybrid systems, IEEE Transactions on Automatic Control, vol. 52, pp. 15721586, September 2007. 4.33. K.E. Arzen, A.Bicchi, G. Dini, S. Hailes, K. Johansson, J. Lygeros, and A. Tzes, A component-based approach to the design of networked control systems, European Journal of Control, vol. 13, pp. 261279, 2007. 4.34. A. Lecchini, W. Glover, J. Lygeros, and J. Maciejowski, Monte carlo optimization for conict resolution in air trac control, IEEE Transactions on Intelligent Transportation Systems, vol. 7, pp. 470482, December 2006. 4.35. I. Legouras, G. Xouri, S. Dimopoulos, J. Lygeros, and Z. Lygerou, DNA replication in the ssion yeast: robustness in the face of uncertainty, Yeast, vol. 23, pp. 951962, October 2006. 4.36. S. Rakovic, E. Kerrigan, D. Mayne, and J. Lygeros, Reachability analysis of discrete-time systems with disturbances, IEEE Transactions on Automatic Control, vol. 51, pp. 546561, April 2006. 4.37. C. Yuan and J. Lygeros, Asymptotic stability and boundedness of delay switching diusions, IEEE Transactions on Automatic Control, vol. 51, pp. 171175, January 2006. 4.38. A. Panousopoulou, G. Nikolakopoulos, A. Tzes, and J. Lygeros, Recent trends on QoS for wireless networked controlled systems, Mediterranean Journal of Computers and Networks, vol. 2, pp. 3140, January 2006. 4.39. S. N. Simic, K. H. Johansson, J. Lygeros, and S. Sastry, Towards a geometric theory of hybrid systems, Dynamics of Discrete, Continuous, and Impulsive Systems, Series B, vol. 12, no. 5-6, pp. 649687, 2005. 4.40. A. Balluchi, L. Benvenuti, S. Engell, T. Geyer, K. Johansson, F. Lamnabhi-Lagarrigue, J. Lygeros, M. Morari, G. Papafotiou, A. Sangiovanni-Vincentelli, F. Santucci, and O. Stursberg, Hybrid control of networked embedded systems, European Journal of Control, vol. 11, pp. 131, 2005. 4.41. C. Yuan and J. Lygeros, On the exponential stability of switching diusion processes, IEEE Transactions on Automatic Control, vol. 50, pp. 1422 1426, September 2005. 4.42. C. Yuan and J. Lygeros, Stabilization of a class of stochastic dierential equations with markovian switching, Systems and Control Letters, vol. 54, pp. 819833, September 2005. 4.43. Y. Gao, J. Lygeros, M. Quincampoix, and N. Seube, On the control of uncertain impulsive systems: Approximate stabilization and controlled invariance, International Journal of Control, vol. 77, no. 16, pp. 13931407, 2004. 4.44. J. Lygeros, On reachability and minimum cost optimal control, Automatica, vol. 40, no. 6, pp. 917927, 2004. 4.45. J. Lygeros, Discussion on Switched Integrator Control Schemes for Integrating Plants, European Journal of Control, vol. 9, pp. 560565, 2003.

4.46. J. Lygeros, K. H. Johansson, S. N. Simi c, J. Zhang, and S. Sastry, Dynamical properties of hybrid automata, IEEE Transactions on Automatic Control, vol. 48, pp. 217, January 2003. 4.47. J.-P. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, Impulse dierential inclusions: A viability approach to hybrid systems, IEEE Transactions on Automatic Control, vol. 47, pp. 220, January 2002. 4.48. J. Zhang, K. Johansson, J. Lygeros, and S. Sastry, Zeno hybrid systems, International Journal of Robust and Nonlinear Control, vol. 11, pp. 435451, 2001. 4.49. M. Prandini, J. Hu, J. Lygeros, and S. Sastry, A probabilistic approach to aircraft conict detection, IEEE Transactions on Intelligent Transportation Systems, vol. 1, pp. 199220, December 2000. 4.50. D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, and A. Lindsey, Communication protocols for fault tolerant automated highway systems, IEEE Transactions on Control Systems Technology, vol. 8, pp. 787800, September 2000. 4.51. C. Livadas, J. Lygeros, and N. Lynch, High-level modeling and analysis of the trac alert and collision avoidance system (TCAS), Proceedings of the IEEE, vol. 88, pp. 926948, July 2000. 4.52. C. Tomlin, J. Lygeros, and S. Sastry, A game theoretic approach to controller design for hybrid systems, Proceedings of the IEEE, vol. 88, pp. 949969, July 2000. 4.53. J. Lygeros, D. N. Godbole, and M. E. Broucke, A fault tolerant control architecture for automated highway systems, IEEE Transactions on Control Systems Technology, vol. 8, pp. 205219, March 2000. 4.54. K. H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry, Regularization of zeno hybrid automata, Systems and Control Letters, vol. 38, pp. 141150, 1999. 4.55. J. Lygeros, C. Tomlin, and S. Sastry, Controllers for reachability specications for hybrid systems, Automatica, pp. 349370, March 1999. 4.56. J. Lygeros, D. N. Godbole, and S. Sastry, Veried hybrid controllers for automated vehicles, IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 522539, 1998. 4.57. J. B. Michael, D. N. Godbole, J. Lygeros, and R. Sengupta, Capacity analysis of trac ow over a single-lane automated highway system, ITS Journal, vol. 4, no. 1, pp. 4980, 1998. 4.58. J. Lygeros, A formal approach to fuzzy modeling, IEEE Transactions on Fuzzy Systems, vol. 5, no. 3, pp. 317327, 1997. 4.59. J. Lygeros and D. Godbole, An interface between continuous and discrete event controllers for vehicle automation, IEEE Transactions on Vehicular Technology, vol. 46, no. 1, pp. 229241, 1997. 4.60. D. N. Godbole and J. Lygeros, Longitudinal control of the lead car of a platoon, IEEE Transactions on Vehicular Technology, vol. 43, no. 4, pp. 11251135, 1994.

Book Chapters

5.1. Z. Lygerou, K. Koutroumpas, and J. Lygeros, DNA replication, in Encyclopedia of Systems Biology (K. C. W. Dubitzky, O. Wolkenhauer and H. Yokota, eds.), Springer-Verlag, 2012. (To appear). 5.2. D. Raimondo, S. Riverso, S. Summers, C. N. Jones, J. Lygeros, and M. Morari, A set-theoretic method for verifying feasibility of a fast explicit nonlinear model predictive controller, in Distributed Decision Making and Control (R. Johansson and A. Rantzer, eds.), vol. 417 of LNCIS, pp. 289311, London: Springer-Verlag, 2012. 5.3. S. Summers, M. Kamgarpour, C. Tomlin, and J. Lygeros, A stochastic reach-avoid problem with random obstacles, in Hybrid Systems: Computation and Control (E. Frazzoli and R. Grosu, eds.), pp. 251260, New York: ACM, 2011.

5.4. T. Tuma, A. Pantazi, A. Sebastian, and J. Lygeros, Impulsive control for nanopositioning: Stability and performance, in Hybrid Systems: Computation and Control (E. Frazzoli and R. Grosu, eds.), pp. 173180, New York: ACM, 2011. 5.5. F. Ramponi, D. Chatterjee, S. Summers, and J. Lygeros, On the connections between PCTL and dynamic programming, in Hybrid Systems: Computation and Control (K. Johansson and W. Yi, eds.), pp. 253 262, New York: ACM, 2010. 5.6. K. Koutroumpas and J. Lygeros, Modeling and verication of stochastic hybrid systems using HIOA: A case study on DNA replication, in Hybrid Systems: Computation and Control (K. Johansson and W. Yi, eds.), pp. 263272, New York: ACM, 2010. 5.7. J. Lygeros and M. Prandini, Stochastic hybrid systems, in Handbook of Hybrid Systems Control: Theory, Tools, Applications (J. Lunze and F. Lamnabhi-Lagarrigue, eds.), pp. 249276, New York: Cambridge University Press, 2009. 5.8. E. Cinquemani, A. Milias-Argeitis, S. Summers, and J. Lygeros, Local identication of piecewise deterministic models of genetic networks, in Hybrid Systems: Computation and Control (R. Majumdar and P. Tabuada, eds.), no. 5469 in LNCS, pp. 105119, Berlin: Springer-Verlag, 2009. 5.9. M. Bujorianu, J. Lygeros, and R. Langerak, Reachability analysis of stochastic hybrid systems by optimal control, in Hybrid Systems: Computation and Control (M. Egerstedt and B. Mishra, eds.), no. 4981 in LNCS, pp. 610613, Berlin: Springer-Verlag, 2008. 5.10. A. Abate, M. Prandini, J. Lygeros, and S. Sastry, Approximation of general stochastic hybrid systems by switching diusions with random hybrid jumps, in Hybrid Systems: Computation and Control (M. Egerstedt and B. Mishra, eds.), no. 4981 in LNCS, pp. 598601, Berlin: Springer-Verlag, 2008. 5.11. E. Cruck and J. Lygeros, A hybrid control model for subliminal air trac control, in Hybrid Systems: Computation and Control (A. Bemporad, A. Bicchi, and G. Buttazzo, eds.), no. 4416 in LNCS, pp. 672 675, Berlin: Springer-Verlag, 2007. 5.12. J. Lygeros, M. Quincampoix, and T. Rzezuchowski, Impulse dierential inclusions driven by discrete measures, in Hybrid Systems: Computation and Control (A. Bemporad, A. Bicchi, and G. Buttazzo, eds.), no. 4416 in LNCS, pp. 385398, Berlin: Springer-Verlag, 2007. 5.13. A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. Sastry, Computational approaches to reachability analysis of stochastic hybrid systems, in Hybrid Systems: Computation and Control (A. Bemporad, A. Bicchi, and G. Buttazzo, eds.), no. 4416 in LNCS, pp. 417, Berlin: Springer-Verlag, 2007. 5.14. J. Maciejowski, A. Lecchini Visintini, and J. Lygeros, NMPC for complex stochastic systems using a Markov Chain Monte Carlo approach, in Assessment and Future Directions of Nonlinear Model Predictive Control (R. Findeisen, F. Allg ower, and L. Biegler, eds.), no. 358 in LNCIS, pp. 269281, Berlin: SpringerVerlag, 2007. 5.15. C. Cassandras and J. Lygeros, Stochastic hybrid systems: Research issues and areas, in Stochastic Hybrid Systems (C. Cassandras and J. Lygeros, eds.), no. 24 in Control Engineering, pp. 114, Boca Raton: CRC Press, 2006. 5.16. P. Kouretas, K. Koutroumpas, J. Lygeros, and Z. Lygerou, Stochastic hybrid modeling of biochemical processes, in Stochastic Hybrid Systems (C. Cassandras and J. Lygeros, eds.), no. 24 in Control Engineering, pp. 221248, Boca Raton: CRC Press, 2006. 5.17. M. Bujorianu and J. Lygeros, Toward a general theory of stochastic hybrid systems, in Stochastic Hybrid Systems: Theory and Safety Critical Applications (H. Blom and J. Lygeros, eds.), no. 337 in LNCIS, pp. 330, Berlin: Springer-Verlag, 2006. 5.18. A. Lecchini Visintini, W. Glover, J. Lygeros, and J. Maciejowski, Monte Carlo optimization for conict resolution in air trac control, in Stochastic Hybrid Systems: Theory and Safety Critical Applications (H. Blom and J. Lygeros, eds.), no. 337 in LNCIS, pp. 257276, Berlin: Springer-Verlag, 2006.

5.19. Y. Gao, J. Lygeros, and M. Quincapoix, The reachability problem for uncertain hybrid systems revisited: A viability theory perspective, in Hybrid Systems: Computation and Control (J. Hespanha and A. Tiwari, eds.), no. 3927 in LNCS, pp. 242256, Berlin: Springer-Verlag, 2006. 5.20. S. Amin, A. Abate, M. Prandini, J. Lygeros, and S. Sastry, Reachability analysis for discrete time stochastic hybrid systems, in Hybrid Systems: Computation and Control (J. Hespanha and A. Tiwari, eds.), no. 3927 in LNCS, pp. 4963, Berlin: Springer-Verlag, 2006. 5.21. J. Lygeros, X. Mao and C. Yuan, Stochastic hybrid delay population dynamics, in Hybrid Systems: Computation and Control (J. Hespanha and A. Tiwari, eds.), no. 3927 in LNCS, pp. 436450, Berlin: Springer-Verlag, 2006. 5.22. J. Lygeros, An overview of hybrid system control, in Handbook of networked and embedded control systems (D. Hristu-Varsakelis and W. Levine, eds.), Computational Sciences and Engineering, pp. 519 538, Boston: Birkh auser, 2005. 5.23. A. Lecchini, W. Glover, J. Lygeros, and J. Maciejowski, Air trac control in approach sectors: Simulation Examples and Optimization, in Hybrid Systems: Computation and Control (L. Thiele and M. Morari, eds.), no. 3414 in LNCS, pp. 433448, Berlin: Springer-Verlag, 2005. 5.24. M. Bujorianu, J. Lygeros, and M. Bujorianu, Dierent approaches on bisimulation for stochastic hybrid systems, in Hybrid Systems: Computation and Control (L. Thiele and M. Morari, eds.), no. 3414 in LNCS, pp. 198214, Berlin: Springer-Verlag, 2005. 5.25. W. Glover and J. Lygeros, A stochastic hybrid model for air trac control simulation, in Hybrid Systems: Computation and Control (R. Alur and G. Pappas, eds.), no. 2993 in LNCS, pp. 372386, Springer Verlag, 2004. 5.26. C. Yuan and J. Lygeros, Asymptotic stability and boundedness of delay switching diusions, in Hybrid Systems: Computation and Control (R. Alur and G. Pappas, eds.), no. 2993 in LNCS, pp. 646659, Springer Verlag, 2004. 5.27. K. H. Johansson, J. Lygeros, and S. Sastry, Modeling of hybrid systems, in Chapter E6-43-28-01 in Theme 6.43, Control Systems, Encyclopedia of Life Support Systems (EOLSS), Developed under the auspices of UNESCO, EOLSS Publishers, Oxford, U.K., www.eolss.net, 2004. 5.28. M. Bujorianu and J. Lygeros, Reachability questions in piecewise deterministic markov processes, in Hybrid Systems: Computation and Control (O. Maler and A. Pnueli, eds.), no. 2623 in LNCS, pp. 126140, Springer Verlag, 2003. 5.29. Y. Gao, J. Lygeros, M. Quincampoix, and N. Seube, Approximate stabilisation of uncertain hybrid systems, in Hybrid Systems: Computation and Control (O. Maler and A. Pnueli, eds.), no. 2623 in LNCS, pp. 203215, Springer Verlag, 2003. 5.30. J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry, Dynamical systems revisited: Hybrid systems with zeno executions, in Hybrid Systems: Computation and Control (N. Lynch and B. H. Krogh, eds.), no. 1790 in LNCS, pp. 451464, Springer Verlag, 2000. 5.31. R. Vidal, S. Schaert, J. Lygeros, and S. Sastry, Controlled invariance of discrete time systems, in Hybrid Systems: Computation and Control (N. Lynch and B. H. Krogh, eds.), no. 1790 in LNCS, pp. 437450, Springer Verlag, 2000. 5.32. S. Simic, K. H. Johansson, S. Sastry, and J. Lygeros, Towards a geometric theory of hybrid systems, in Hybrid Systems: Computation and Control (N. Lynch and B. H. Krogh, eds.), no. 1790 in LNCS, pp. 421436, Springer Verlag, 2000. 5.33. J. Hu, J. Lygeros, and S. Sastry, Towards a theory of stochastic hybrid systems, in Hybrid Systems: Computation and Control (N. Lynch and B. H. Krogh, eds.), no. 1790 in LNCS, pp. 160173, Springer Verlag, 2000. 5.34. C. Tomlin, J. Lygeros, and S. Sastry, Computing controllers for nonlinear hybrid systems, in Hybrid Systems: Computation and Control (F. W. Vaandrager and J. H. van Schuppen, eds.), no. 1569 in LNCS, pp. 238255, Springer Verlag, 1999.

5.35. J. Lygeros and N. Lynch, Strings of vehicles: Modeling and safety conditions, in Hybrid Systems: Computation and Control (S. Sastry and T. Henzinger, eds.), no. 1386 in LNCS, pp. 273288, Springer Verlag, 1998. 5.36. C. Tomlin, J. Lygeros, and S. Sastry, Synthesizing controllers for nonlinear hybrid systems, in Hybrid Systems: Computation and Control (S. Sastry and T. Henzinger, eds.), no. 1386 in LNCS, pp. 360373, Springer Verlag, 1998. 5.37. J. Lygeros, G. Pappas, and S. Sastry, An approach to the verication of the Center-TRACON automation system, in Hybrid Systems: Computation and Control (S. Sastry and T. Henzinger, eds.), no. 1386 in LNCS, pp. 289305, Springer Verlag, 1998. 5.38. C. Tomlin, G. Pappas, J. Kosecka, J. Lygeros, and S. Sastry, Advanced air trac automation: A case study in distributed, decentralized control, in Control Problems in Robotics and Automation (B. Siciliano and K. Valavanis, eds.), no. 230 in Lecture Notes in Control and Information Sciences, pp. 261295, Springer Verlag, 1998. 5.39. J. Lygeros, C. Tomlin, and S. Sastry, Multi-objective hybrid controller synthesis, in Proceedings of HART97 (O. Maler, ed.), no. 1201 in LNCS, pp. 109123, Berlin: Springer Verlag, 1997. 5.40. G. Pappas, J. Lygeros, D. Tilbury, and S. Sastry, Exterior dierential systems in control and robotics, in Essays on Mathematical Robotics (J. Baillieul, S. S. Sastry, and H. J. Sussmann, eds.), no. 104 in IMA volumes in mathematics and its applications, pp. 271372, Springer Verlag, 1997. 5.41. C. Tomlin, G. J. Pappas, J. Lygeros, D. N. Godbole, and S. Sastry, Hybrid control models of next generarion air trac management, in Hybrid Systems IV (A. N. P. Antsaklis, W. Kohn and S. Sastry, eds.), no. 1273 in LNCS, pp. 378404, Springer Verlag, 1997. 5.42. J. Lygeros, D. N. Godbole, and S. Sastry, A game theoretic approach to hybrid system design, in Hybrid Systems III (R. Alur, T. A. Henzinger, and E. D. Sontag, eds.), no. 1066 in LNCS, pp. 112, Springer Verlag, 1996. 5.43. J. A. Haddon, D. N. Godbole, A. Deshpande, and J. Lygeros, Verication of hybrid systems: Monotonicity in the AHS control systems, in Hybrid Systems III (R. Alur, T. A. Henzinger, and E. D. Sontag, eds.), no. 1066 in LNCS, pp. 161172, Springer Verlag, 1996. 5.44. J. Lygeros, D. N. Godbole, and S. Sastry, Hybrid controller design for multi-agent systems, in Control Using Logic Based Switching (A. S. Morse, ed.), no. 222 in Lecture Notes in Control and Information Sciences, pp. 5978, Springer Verlag, 1996. 5.45. D. N. Godbole, J. Lygeros, and S. Sastry, Hierarchical hybrid control: an IVHS case study, in Hybrid Systems II (P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds.), no. 999 in LNCS, pp. 166190, Springer Verlag, 1995.

Conference Publications

6.1. T. Tuma, J. Lygeros, A. Sebastian, and A. Pantazi, Optimal scan trajectories for high speed scanning probe microscopy, in American Control Conference, Montreal, Canada, June 27-29, 2012. 6.2. S. Huck, P. Hokayem, D. Chatterjee, and J. Lygeros, Stochastic localization of sources using autonomous underwater vehicles, in American Control Conference, Montreal, Canada, June 27-29, 2012. 6.3. N. Kariotoglou, D. Raimondo, S. Summers, and J. Lygeros, A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras, in IEEE Conference on Decision and Control, Orlando, FL, USA, December 12-15, 2011. 6.4. N. Kariotoglou, D. Raimondo, S. Summers, and J. Lygeros, Probabilistic certication of pan-tilt-zoom camera surveillance systems, in IEEE Conference on Decision and Control, Orlando, FL, USA, December 12-15, 2011.

6.5. J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros, and C. Tomlin, Discrete time stochastic hybrid dynamic games, in IEEE Conference on Decision and Control, Orlando, FL, USA, December 12-15, 2011. 6.6. R. Burkart, K. Margellos, and J. Lygeros, Nonlinear control of wind turbines: An approach based on switched linear systems and feedback linearization, in IEEE Conference on Decision and Control, Orlando, FL, USA, December 12-15, 2011. 6.7. A. Milias-Argeitis and J. Lygeros, Ecient stochastic simulation of metastable markov chains, in IEEE Conference on Decision and Control, Orlando, FL, USA, December 12-15, 2011. 6.8. P. Mohajerin Esfahani, D. Chatterjee, and J. Lygeros, On a problem of stochastic reach-avoid set characterization, in IEEE Conference on Decision and Control, Orlando, FL, USA, December 12-15, 2011. 6.9. J. Tzanos, K. Margellos, and J. Lygeros, Optimal wind turbine placement via randomized optimization techniques, in Power Systems Power Systems Computation Conference, Stockholm, Sweden, August 22-26 2011. 6.10. R. Porreca, E. Cinquemani, J. Lygeros, and G. Ferrari-Trecate, Learning the structure of genetic network dynamics: A geometric approach, in IFAC World Congress, Milan, Italy, August 28 - September 2, 2011. 6.11. G. Chaloulos, P. Hokayem, and J. Lygeros, Hierarchical MPC with priorities for conict resolution in air trac control, in IFAC World Congress, Milan, Italy, August 28 - September 2, 2011. 6.12. M. Kamgarpour, M. Soler, C. Tomlin, A. Olivares, and J. Lygeros, Hybrid optimal control for aircraft trajectory design with a variable sequence of modes, in IFAC World Congress, Milan, Italy, August 28 - September 2, 2011. 6.13. A. Cherukuri, D. Chatterjee, P. Hokayem, and J. Lygeros, Stochastic receding horizon control: a comparative study and stability results, in IFAC World Congress, Milan, Italy, August 28 - September 2, 2011. 6.14. A. Abate, J.-P. Katoen, J. Lygeros, and M. Prandini, A two-step scheme for approximate model checking of stochastic hybrid systems, in IFAC World Congress, Milan, Italy, August 28 - September 2, 2011. 6.15. D. Chatterjee, S. Amin, P. Hokayem, J. Lygeros, and S. Sastry, Mean-square boundedness of stochastic networked control systems with bounded control inputs, in IEEE Conference on Decision and Control, Atlanta, Georgia, USA, December 15-17, 2010. 6.16. R. Porreca, E. Cinquemani, J. Lygeros, and G. Ferrari-Trecate, Structural identication of unate-like genetic network models from time-lapse protein concentration measurements, in IEEE Conference on Decision and Control, Atlanta, Georgia, USA, December 15-17, 2010. 6.17. P. Hokayem, E. Cinquemani, D. Chatterjee, F. Ramponi, and J. Lygeros, Stochastic receding horizon control with output feedback and bounded control inputs, in IEEE Conference on Decision and Control, Atlanta, Georgia, USA, December 15-17, 2010. 6.18. P. Mohajerin Esfahani, M. Vrakopoulou, K. Margellos, J. Lygeros, and G. Andersson, A robust policy for automatic generation control cyber attack in two area power network, in IEEE Conference on Decision and Control, Atlanta, Georgia, USA, December 15-17, 2010. 6.19. A. Milias-Argeitis, S. Summers, R. Porreca, and J. Lygeros, Bayesian model selection for the yeast GATA-factor network: A comparison of computational approaches, in IEEE Conference on Decision and Control, Atlanta, Georgia, USA, December 15-17, 2010. 6.20. K. Margellos and J. Lygeros, A simulation based MPC technique for feedback linearizable systems with input constraints, in IEEE Conference on Decision and Control, Atlanta, Georgia, USA, December 15-17, 2010. 6.21. D. Raimondo, J. Lygeros, and M. Morari, A tracking algorithm for PTZ cameras, in IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Annecy, France, 13-14 September, 2010.

6.22. F. Tedesco, D. Raimondo, A. Casavola, and J. Lygeros, Distributed collision avoidance for interacting vehicles: a command governor approach, in IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), Annecy, France, 13-14 September, 2010. 6.23. P. Hokayem, E. Cinquemani, D. Chatterjee, and J. Lygeros, Stochastic MPC with imperfect state information and bounded controls, in UKACC International Conference on Control, Coventry, U.K., 7-10 September, 2010. 6.24. S. Summers, D. Raimondo, C. Jones, J. Lygeros, and M. Morari, Fast explicit nonlinear model predictive control via multiresolution function approximation with guaranteed stability, in IFAC Symposium on Nonlinear Control Systems (NOLCOS), Bologna, Italy, September 1-3, 2010. 6.25. P. Hokayem, D. Chatterjee, F. Ramponi, G. Chaloulos, and J. Lygeros, Stable stochastic receding horizon control of linear systems with bounded control inputs, in Mathematical Theory of Networks and Systems (MTNS), Budapest, Hungary, July 5-9, 2010. 6.26. K. Margellos and J. Lygeros, Hamilton-jacobi formulation for reach-avoid problems with an application to air trac management, in American Control Conference, Baltimore, MD, U.S.A., June 30-July 2, 2010. 6.27. G. Chaloulos, P. Hokayem, and J. Lygeros, Distributed hierarchical mpc for conict resolution in air trac control, in American Control Conference, Baltimore, MD, U.S.A., June 30-July 2, 2010. 6.28. P. Mohajerin Esfahani, M. Vrakopoulou, K. Margellos, J. Lygeros, and G. Andersson, Cyber attack in a two-area power system: Impact identication using reachability, in American Control Conference, Baltimore, MD, U.S.A., June 30-July 2, 2010. 6.29. I. Lymperopoulos, G. Chaloulos, and J. Lygeros, An advanced particle ltering algorithm for improving conict detection in air trac control, in International Conference on Research in Air Transportation (ICRAT), Budapest, Hungary, June 01-04, 2010. 6.30. P. Hokayem, D. Chatterjee, and J. Lygeros, On stochastic model predictive control with bounded control inputs, in IEEE Conference on Decision and Control, Shanghai, China, December 16-18, 2009. 6.31. S. Summers, C. Jones, J. Lygeros, and M. Morari, A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees, in IEEE Conference on Decision and Control, Shanghai, China, December 16-18, 2009. 6.32. K. Margellos and J. Lygeros, Air trac management with target windows: An approach using reachability, in IEEE Conference on Decision and Control, Shanghai, China, December 16-18, 2009. 6.33. D. Panagou, K. Margellos, S. Summers, J. Lygeros, and K. Kyriakopoulos, A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances, in IEEE Conference on Decision and Control, Shanghai, China, December 16-18, 2009. 6.34. D. Chatterjee, E. Cinquemani, G. Chaloulos, and J. Lygeros, On stochastic control up to a hitting time, in IEEE Conference on Decision and Control, Shanghai, China, December 16-18, 2009. 6.35. E. Cinquemani, R. Porreca, J. Lygeros, and G. Ferrari-Trecate, Canalizing structure of genetic network dynamics: modelling and identication via mixed-integer programming, in IEEE Conference on Decision and Control, Shanghai, China, December 16-18, 2009. 6.36. G. Chaloulos, G. Roussos, J. Lygeros, and K. Kyriakopoulos, Mid and short term conict resolution in autonomous aircraft operations, in 8th EUROCONTROL Innovative Research Workshop and Exhibition (INO2009), Bretigny sur Orge, France, December 1-3, 2009. 6.37. D. Raimondo, P. Hokayem, J. Lygeros, and M. Morari, An iterative decentralized mpc algorithm for large-scale nonlinear systems, in IFAC Workshop on Estimation and Control of Networked Systems, Venice, Italy, September 26-26, 2009. 6.38. D. Chatterjee, E. Cinquemani, and J. Lygeros, Probabilistic regulation in stochastic hybrid systems subject to safety constraints, in IFAC International Conference on Analysis and Design of Hybrid Systems (ADHS09), Zaragoza, Spain, September 16-18, 2009.

6.39. S. Summers and J. Lygeros, A probabilistic reach-avoid problem for controlled discrete time stochastic hybrid systems, in IFAC International Conference on Analysis and Design of Hybrid Systems (ADHS09), Zaragoza, Spain, September 16-18, 2009. 6.40. M. Agarwal, E. Cinquemani, D. Chatterjee, and J. Lygeros, On convexity of stochastic optimization problems with constraints, in European Control Conference, Budapest, Hungary, August 23-26, 2009. 6.41. M. Prandini, L. Piroddi, and J. Lygeros, A two-step approach to aircraft conict resolution combining optimal deterministic design with monte carlo stochastic optimization, in European Control Conference, Budapest, Hungary, August 23-26, 2009. 6.42. I. Lymperopoulos and J. Lygeros, Improved ground trajectory prediction by multi-aircraft track fusion for air trac control, in AIAA Conference on Guidange Navigation and Control, Chicago, Illinois, U.S.A., August 10-13, 2009. 6.43. G. Roussos, G. Chaloulos, K. Kyriakopoulos, and J. Lygeros, Control of multiple non-holonomic vehicles under uncertainty using model predictive control and decentralized navigation functions, in IEEE Conference on Decision and Control, Cancun, Mexico, December 9-11, 2008. 6.44. E. Cinquemani, V. Roukos, Z. Lygerou, and Lygeros, Numerical analysis of FRAP experiments for DNA replication and repair, in IEEE Conference on Decision and Control, Cancun, Mexico, December 9-11, 2008. 6.45. A. Abate, M. Prandini, J. Lygeros, and S. Sastry, An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems, in IEEE Conference on Decision and Control, Cancun, Mexico, December 9-11, 2008. 6.46. A. Lecchini Visintini, J. Lygeros, and J. Maciejowski, On the approximate domain optimization of deterministic and expected value criteria, in IEEE Conference on Decision and Control, Cancun, Mexico, December 9-11, 2008. 6.47. K. Koutroumpas, Z. Lygerou, and J. Lygeros, Parameter identication for a dna replication model, in IEEE International Conference on BioInformatics and BioEngineering (BIBE08), Athens, Greece, October 8-10, 2008. 6.48. G. Chaoulos, I. Roussos, J. Lygeros, and K. Kyriakopoulos, Ground assisted conict resolution in self separation airspace, in AIAA Conference on Guidange Navigation and Control, Honolulu, Hawaii, U.S.A., August 18-21, 2008. 6.49. I. Lymperopoulos and J. Lygeros, Adaptive aircraft trajectory prediction using particle lters, in AIAA Conference on Guidange Navigation and Control, Honolulu, Hawaii, U.S.A., August 18-21, 2008. 6.50. B. Djeridane and J. Lygeros, Approximate viability using quasi-random samples and a neural network classier, in IFAC World Congress, Seoul Korea, July 6-11, 2008. 6.51. B. Djeridane, E. Cruck, and J. Lygeros, Randomized algorithm: A viability computation, in IFAC World Congress, Seoul Korea, July 6-11, 2008. 6.52. E. Cinquemani, A. Milias-Argeitis, and J. Lygeros, Identication of genetic regulatory networks: A stochastic hybrid approach, in IFAC World Congress, Seoul Korea, July 6-11, 2008. 6.53. G. Chaloulos and J. Lygeros, Limitations of subliminal control in air trac management, in International Conference on Research in Air Transportation (ICRAT08), Fiarfax, Virginia, U.S.A., June 1-4, 2008. 6.54. I. Lymperopoulos and J. Lygeros, Trajectory prediction by adaptively reducing wind uncertainty, in International Conference on Applications of Advanced Technologies in Transportation (AATT08), Athens, Greece, May 28-30, 2008. 6.55. M. Bujorianu and J. Lygeros, New insights on stochastic reachability, in IEEE Conference on Decision and Control, New Orleans, Louisiana, U.S.A., December 12-14, 2007.

6.56. G. Fourlas and J. Lygeros, Detection of aircraft divergence from its ight plan in the vertical plane, in IEEE Conference on Decision and Control, New Orleans, Louisiana, U.S.A., December 12-14, 2007. 6.57. E. Cinquemani, R. Porreca, G. Ferrari-Trecate, and J. Lygeros, Parameter identication for stochastic hybrid models of biological interaction networks, in IEEE Conference on Decision and Control, New Orleans, Louisiana, U.S.A., December 12-14, 2007. 6.58. E. Cinquemani, R. Porreca, G. Ferrari-Trecate, and J. Lygeros, A general framework for the identication of jump Markov linear systems, in IEEE Conference on Decision and Control, New Orleans, Louisiana, U.S.A., December 12-14, 2007. 6.59. A. Lecchini-Visintini, J. Lygeros, and J. Maciejowski, Simulated annealing: Rigorous nite-time guarantees for optimization on continuous domains, in Neural Information Processing Systems (NIPS07), Vancouver, B.C., Canada, December 3-6, 2007. 6.60. K. Koutroumpas, E. Cinquemani, and J. Lygeros, Randomized optimization methods in parameter identication for biochemical network models, in Foundations of Systems Biology in Engineering FOSBE07, Stuttgart, Germany, September 9-12, 2007. 6.61. A. Abate, J. Lygeros, and S. Sastry, Probabilistic safety and optimal control for survival analysis of Bacillus Subtilis, in Foundations of Systems Biology in Engineering FOSBE07, Stuttgart, Germany, September 9-12, 2007. 6.62. J. Lygeros, K. Koutroumpas, S. Dimopoulos, I. Legouras, P. Kouretas, C. Heichinger, P. Nurse, and Z. Lygerou, A stochastic hybrid model of DNA replication: Novel insight into the random gap problem, in CSHL meeting on Eukaryotic DNA replication and Genome Maintenance, Cold Spring Harbor, NY, September 5-9, 2007. 6.63. G. Chaloulos and J. Lygeros, Wind uncertainty correlation and aircraft conict detection based on RUC1 forecasts, in AIAA Conference on Guidange Navigation and Control, Hilton Head, South Carolina, USA, August 23-23, 2007. 6.64. E. Cruck and J. Lygeros, Sense and avoid system for a MALE UAV, in AIAA Conference on Guidange Navigation and Control, Hilton Head, South Carolina, USA, August 23-23, 2007. 6.65. E. Cruck and J. Lygeros, A mathematical framework for subliminal air trac control, in AIAA Conference on Guidange Navigation and Control, Hilton Head, South Carolina, USA, August 23-23, 2007. 6.66. E. Cruck and J. Lygeros, Subliminal air trac control: Human friendly control of a multi-agent system, in American Control Conference, New York, NY, U.S.A., July 11-13, 2007. 6.67. E. Cruck and J. Lygeros, Hybrid modeling for the evaluation of risk perception by air-trac controllers, in European Control Conference, Kos, Greece, July 2-5, 2007. 6.68. B. Djeridane, E. Cruck, and J. Lygeros, A learning theory approach to the computation of reachable sets, in European Control Conference, Kos, Greece, July 2-5, 2007. 6.69. K. Koutroumpas, I. Legouras, S. Dimopoulos, C. Heichinger, P. Nurse, Z. Lygerou, and J. Lygeros, Modeling permits the evaluation of dna replication dynamics in the ssion yeast cell cycle, in 2nd Conference on Biosciences of the University of Patras, Patras, Greece, 23-24 April, 2007. 6.70. S. Dimopoulos, I. Legouras, K. Koutroumpas, C. Heichinger, P. Nurse, Z. Lygerou, and J. Lygeros, Extraction of genomic level principles that characterize origin selection in ssion yeast, in 2nd Conference on Biosciences of the University of Patras, Patras, Greece, 23-24 April, 2007. 6.71. A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. Sastry, Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems, in IEEE Conference on Decision and Control, San Diego, CA, U.S.A., December 13-15, 2006. 6.72. B. Djeridane and J. Lygeros, Neural approximation of PDE solutions: An application to reachability computations, in IEEE Conference on Decision and Control, San Diego, CA, U.S.A., December 13-15, 2006.

6.73. A. Panousopoulou, E. Kolyvas, Y. Koveos, A. Tzes, and J. Lygeros, Robot-assisted target localization using a cooperative scheme relying on wireless sensor networks, in IEEE Conference on Decision and Control, San Diego, CA, U.S.A., December 13-15, 2006. 6.74. K. Niarchos and J. Lygeros, A neural approximation to continuous time reachability computations, in IEEE Conference on Decision and Control, San Diego, CA, U.S.A., December 13-15, 2006. 6.75. K. Koutroubas, I. Legouras, S. Dimopoulos, C. Heichinger, P. Nurse, Z. Lygerou, and J. Lygeros, A stochastic hybrid model for DNA replication in the ssion yeast cell cycle, in 58th Meeting of the Hellenic Society of Biochemistry and Molecular Biology, vol. 53, pp. 409412, Patras, Greece, November 9-11, 2006. 6.76. I. Legouras, C. Heichinger, S. Dimopoulos, K. Koutroubas, J. Lygeros, P. Nurse, and Z. Lygerou, A genome-wide bioinformatics analysis of origins of replication in the ssion yeast, in 58th Meeting of the Hellenic Society of Biochemistry and Molecular Biology, vol. 53, pp. 433436, Patras, Greece, November 9-11, 2006. 6.77. K.-E. Arzen, A. Bicchi, S. Hailes, K. Johansson, and J. Lygeros, On the design and control of wireless networked embedded systems, in Joint 2006 IEEE Conference on Control Applications (CCA), 2006 IEEE Computer Aided Control Systems Design Symposium (CACSD) and 2006 IEEE International Symposium on Intelligent Control (ISIC), Munich, Germany, October 4-6, 2006. 6.78. A. Lecchini, W. Glover, J. Lygeros, and J. Maciejowski, Predictive control of complex stochastic systems using markov chain monte carlo with application to air trac control, in IEEE Nonlinear Statistical Signal Processing Workshop, pp. 175178, Cambridge, U.K., September 13-15, 2006. 6.79. G. Fourlas and J. Lygeros, Detection of ight plan divergence in the horizontal plane, in AIAA Conference on Guidange Navigation and Control, Keystone, Colorado, USA, August 21-24, 2006. 6.80. I. Lymperopoulos, J. Lygeros, and A. Lecchini, Model based aircraft trajectory prediction during takeo, in AIAA Conference on Guidange Navigation and Control, Keystone, Colorado, USA, August 21-24, 2006. 6.81. G. Pola, J. Lygeros, and M. Di Benedetto, Invariance in stochastic dynamical systems, in International Symposium on Mathematical Theory of Networks and Systems (MTNS06), Kyoto, Japan, July 24-28, 2006. 6.82. A. Panousopoulou, G. Nikolakopoulos, A. Tzes, and J. Lygeros, Experimental evaluation of a mobile ad-hoc networked (MANET) controlled system, in International Symposium on Mathematical Theory of Networks and Systems (MTNS06), Kyoto, Japan, July 24-28, 2006. 6.83. S. Dimopoulos, Z. Lygerou, and J. Lygeros, Estimation of potential origin positions and replication fork velocity in ssion yeast genome, in 5th European Symposium on Biomedical Engineering (ESBME06), Rio, Greece, July 7-9, 2006. 6.84. G. Nikolakopoulos, L. Dritsas, A. Tzes, and J. Lygeros, Adaptive constrained control of uncertain ARMA-systems based on set membership identication, in Mediterranean Conference on Control Automation (Med06), Ancona, Italy, June 28-30, 2006. 6.85. P. Kouretas, K. Koutroumpas, and J. Lygeros, Parameter identication for piecewise deterministic markov processes: A case study on a biochemical network, in IFAC Conference on Analysis and Design of Hybrid Systems ADHS06, Alghero, Italy, June 7-9, 2006. 6.86. G. Nikolakopoulos, A. Panousopoulou, A. Tzes, and J. Lygeros, Multi-hopping induced gain scheduling for wireless networked controlled systems, in IEEE Conference on Decision and Control, Seville, Spain, December 12-15, 2005. 6.87. K. Koutroumpas, S. Dimopoulos, I. Legouras, P. Kouretas, C. Heichinger, P. Nurse, Z. Lygerou, and J. Lygeros, A stochastic hybrid model for DNA replication, in European Fission Yeast Meeting, Wellcome Trust Genome Campus, Hinxton, UK, 16-18 March, 2006. 6.88. I. Legouras, P. Kouretas, P. Nurse, J. Lygeros, and Z. Lygerou, A bioinformatics approach to predict origin eciencies as a function of the genomic context, in European Fission Yeast Meeting, Wellcome Trust Genome Campus, Hinxton, UK, 16-18 March, 2006.

6.89. M. Bujorianu, M. Bujorianu, and J. Lygeros, Abstractions of stochastic hybrid systems, in IEEE Conference on Decision and Control, Seville, Spain, December 12-15, 2005. 6.90. I. Kitsios and J. Lygeros, Final glide-back envelope computation for reusable launch vehicle using reachability, in IEEE Conference on Decision and Control, Seville, Spain, December 12-15, 2005. 6.91. J. Lygeros, An overview of research areas in hybrid control, in IEEE Conference on Decision and Control, Seville, Spain, December 12-15, 2005. 6.92. P. Collins and J. Lygeros, Computability of nite-time reachable sets for hybrid systems, in IEEE Conference on Decision and Control, Seville, Spain, December 12-15, 2005. 6.93. A. Lecchini, W. Glover, J. Lygeros, and J. Maciejowski, Monte-carlo optimization strategies for air trac control, in AIAA Conference on Guidange Navigation and Control, San Francisco California, USA, August 15-18, 2005. 6.94. I. Kitsios and J. Lygeros, Launch-pad abort ight envelope computation for a personnel launch vehicle using reachability, in AIAA Conference on Guidange Navigation and Control, San Francisco California, USA, August 15-18, 2005. 6.95. N. Panousopoulou, G. Nikolakopoulos, A. Tzes, and J. Lygeros, Recent trends on QoS for wireless networked controlled systems, in International Conference on Cybernetics and Information Technologies, Systems and Applications(CITSA05), Orlando, Florida, USA, on July 14-17, 2005. 6.96. C. Yuan, J. Lygeros, W. Glover, and J. Maciejowski, Moment asymptotic stability of stochastic hybrid delay systems, in IFAC World Congress, Prague, Czech Republic, July 4-8, 2005. 6.97. A. Lecchini, W. Glover, J. Lygeros, and J. Maciejowski, Air trac control with an expected value criterion, in IFAC World Congress, Prague, Czech Republic, July 4-8, 2005. 6.98. T. Arampatzis, J. Lygeros, and S. Manesis, A survey of applications of wireless sensors and wireless sensor networks, in Mediterranean Conference on Control and Automation MED05, Nicosia, Cyprus, June 27-29, 2005. 6.99. I. Kitsios and J. Lygeros, Aerodynamic envelope computation for safe landing of the hl-20 personnel launch vehicle using hybrid control, in Mediterranean Conference on Control and Automation MED05, Nicosia, Cyprus, June 27-29, 2005. 6.100. C. Yuan and J. Lygeros, Invariant measure of stochastic hybrid processes, in IEEE Conference on Decision and Control, Paradise Island, The Bahamas, December 14-17, 2004. 6.101. M. Bujorianu and J. Lygeros, General stochastic hybrid systems: Modelling and optimal control, in IEEE Conference on Decision and Control, Paradise Island, The Bahamas, December 14-17, 2004. 6.102. Y. Gao, J. Lygeros, and M. Quincampoix, A viability approach to the reachability problem for uncertain hybrid systems, in Mathematical Theory of Networks and systems (MTNS04), Leuven, Belgium, July 5-9, 2004. 6.103. M. Bujorianu and J. Lygeros, Theoretical foundations of stochastic hybrid systems, in Mathematical Theory of Networks and systems (MTNS04), Leuven, Belgium, July 5-9, 2004. 6.104. C. Yuan and J. Lygeros, Stabilization of a class of stochastic systems with markovian switching, in Mathematical Theory of Networks and systems (MTNS04), Leuven, Belgium, July 5-9, 2004. 6.105. M. Bujorianu and J. Lygeros, General stochastic hybrid systems, in Mediterranean Conference on Control and Automation MED04, Kusadasi, Turkey, June 6-9, 2004. 6.106. Y. Gao, J. Lygeros, M. Quincampoix, and N. Seube, Approximate stabilisation of uncertain hybrid systems with controllable transitions, in IEEE Conference on Decision and Control, Maui, Hawaii, USA, December 9-12, 2003. 6.107. O. Watkins and J. Lygeros, Stochastic reachability for discrete time systems: An application to aircraft collision avoidance, in IEEE Conference on Decision and Control, Maui, Hawaii, USA, December 9-12, 2003.

6.108. Y. Gao and J. Lygeros, On the computation of viable polytopes for linear systems, in European Control Conference ECC2003, Cambridge, U.K., September 1-4, 2003. 6.109. J. Lygeros, Minimum cost optimal control: An application to ight level tracking, in Mediterranean Conference on Control and Automation MED03, Rhodes, Greece, June 18-20, 2003. 6.110. G. Pola, M. Bujorianu, J. Lygeros, and M.D. Di Benedetto, Stochastic hybrid models: An overview, in IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, pp. 4550, Saint Malo, France, June 16-18, 2003. 6.111. J. Lygeros, Innite horizon minmax optimal control: A viability approach, in IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, pp. 265270, Saint Malo, France, June 16-18, 2003. 6.112. M.D. Di Benedetto, J. Lygeros, and the DEWS Team, A new experiment in research on hybrid systems: the center of excellence DEWS, in IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, pp. 1320, Saint Malo, France, June 16-18, 2003. 6.113. J. Lygeros and M. Prandini, Aircraft and weather models for probabilistic collision avoidance in air trac control, in IEEE Conference on Decision and Control, pp. 24272432, Las Vegas, Nevada, USA, December 10-13, 2002. 6.114. J. Lygeros, On the relation of reachability to minimum cost optimal control, in IEEE Conference on Decision and Control, pp. 19101915, Las Vegas, Nevada, USA, December 10-13, 2002. 6.115. S. Simic, K. Johansson, J. Lygeros, and S. Sastry, Hybrid limit cycles and hybrid poincare-bendixson, in IFAC World Congress, Barcelona, Spain, July 22-26, 2002. 6.116. E. Kerrigan, J. Lygeros, and J. Maciejowski, A geometric approach to reachability computations for contrained discrete time systems, in IFAC World Congress, Barcelona, Spain, July 22-26, 2002. 6.117. R. Vidal, S. Schaert, O. Shakernia, J. Lygeros, and S. Sastry, Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems, in IEEE Conference on Decision and Control, pp. 12431248, Orlando, Florida, USA, December 4-7, 2001. 6.118. J. Lygeros, K. Johansson, S. Simic, J. Zhang, and S. Sastry, Continuity and invariance in hybrid automata, in IEEE Conference on Decision and Control, pp. 340345, Orlando, Florida, USA, December 4-7, 2001. 6.119. J. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, Viability and invariance kernels of impulse dierential inclusions, in IEEE Conference on Decision and Control, pp. 16391644, Orlando, Florida, USA, December 4-7, 2001. 6.120. J. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, Towards a viability theory for hybrid systems, in European Control Conference, pp. 38523857, Porto, Portugal, September 4-7, 2001. 6.121. S. Simic, K. Johansson, J. Lygeros, and S. Sastry, Structural stability of hybrid systems, in European Control Conference, pp. 38583863, Porto, Portugal, September 4-7, 2001. 6.122. M. Egerstedt, P. Ogren, O. Shakernia, and J. Lygeros, Toward optimal control of switched linear systems, in IEEE Conference on Decision and Control, pp. 18341839, Sydney, Australia, December 12-15, 2000. 6.123. K. H. Johansson, J. Lygeros, S. Sastry, and J. Zhang, Hybrid automata: A formal paradigm for heterogeneous modeling, in 11th IEEE International Symposium on Computer-Aided Control Systems Design, Anchorage, Alaska, USA, September 25-27, 2000. 6.124. J. Lygeros, K. H. Johansson, J. Zhang, and S. Sastry, Fundamental properties of hybrid dynamical systems, in Mediteranean Control Conference, pp. , Rio, Greece, July 7-10, 2000. 6.125. C. Livadas, J. Lygeros, and N. Lynch, High-level modeling and analysis of TCAS, in IEEE Real-Time Systems Symposium, pp. 115-125, Phoenix, Arizona, USA, December 1-3, 1999.

6.126. M. Prandini, J. Lygeros, A. Nilim, and S. Sastry, Randomized algorithms for probabilistic aircraft conict detection, in IEEE Conference on Decision and Control, pp. 24442449, Phoenix, Arizona, USA, December 7-10, 1999. 6.127. J. Hu, J. Lygeros, M. Prandini, and S. Sastry, Aircraft conict prediction and resolution using brownian motion, in IEEE Conference on Decision and Control, pp. 24382443, Phoenix, Arizona, USA, December 7-10, 1999. 6.128. J. Hu, J. Lygeros, M. Prandini, and S. Sastry, A probabilistic framework for highway safety analysis, in IEEE Conference on Decision and Control, pp. 37343739, Phoenix, Arizona, USA, December 7-10, 1999. 6.129. J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedt, On the existence of executions of hybrid automata, in IEEE Conference on Decision and Control, pp. 22492254, Phoenix, Arizona, USA, December 7-10, 1999. 6.130. K. H. Johansson, J. Lygeros, S. Sastry, and M. Egerstedt, Simulation of zeno hybrid automata, in IEEE Conference on Decision and Control, pp. 35383543, Phoenix, Arizona, USA, December 7-10, 1999. 6.131. M. Egerstedt, K. H. Johansson, J. Lygeros, and S. Sastry, Behavior based robotics using regularized hybrid automata, in IEEE Conference on Decision and Control, pp. 34003405, Phoenix, Arizona, USA, December 7-10, 1999. 6.132. J. Lygeros, G. Pappas, and S. Sastry, An introduction to hybrid system modeling, analysis and control, in First Nonlinear Control Network (NCN) Pedagogical School, pp. 307329, Athens, Greece, September 6-10, 1999. 6.133. M. Prandini, J. Lygeros, A. Nilim, and S. Sastry, A probabilistic framework for aircraft conict detection, in AIAA Guidance, Navigation and Control Conference, pp. 10471057, Portland, Oregon, USA, August 9-11, 1999. 6.134. C. Tomlin, J. Lygeros, and S. Sastry, Computation of controllers for nonlinear hybrid systems, in IFAC World Congress, pp. 1824, Beijing, P.R.China, July 5-9, 1999. 6.135. J. Lygeros, C. Tomlin, and S. Sastry, On controller synthesis for nonlinear hybrid systems, in IEEE Conference on Decision and Control, pp. 21012106, Tampa, Florida, USA, December 16-18, 1998. 6.136. J. Lygeros, G. Pappas, and S. Sastry, Large scale systems issues in automated highway and air trac management systems, in IFAC, Large Scale Systems: Theory and Applications Conference, pp. 722727, Rio, Patras, Greece, July 1517, 1998. 6.137. C. Tomlin, J. Lygeros, and S. Sastry, Aerodynamic envelope protection using hybrid control, in American Control Conference, pp. 17931796, Philadelphia, Pennsylvania, USA, June 24-26, 1998. 6.138. J. Lygeros, C. Tomlin, and S. Sastry, Multi-objective hybrid controller synthesis: Least restrictive controls, in IEEE Conference on Decision and Control, pp. 127132, San Diego, California, USA, December 10-12, 1997. 6.139. J. Lygeros and N. Lynch, On the formal verication of the TCAS conict resolution algorithms, in IEEE Conference on Decision and Control, pp. 18291834, San Diego, California, USA, December 10-12, 1997. 6.140. G. J. Pappas, C. J. Tomlin, J. Lygeros, D. N. Godbole, and S. S. Sastry, A next generation architecture for air trac management systems, in IEEE Conference on Decision and Control, pp. 24052440, San Diego, California, USA, December 10-12, 1997. 6.141. D. N. Godbole and J. Lygeros, Tools for safety and throughput analysis of automated highway systems, in American Control Conference, pp. 20312035, Albuqueque, New Mexico, USA, June 4-6, 1997. 6.142. J. Lygeros, D. N. Godbole, and S. Sastry, A veried hybrid controller for automated vehicles, in IEEE Conference on Decision and Control, pp. 22892294, Kobe, Japan, December 11-13, 1996.

6.143. J. Lygeros, D. N. Godbole, and S. Sastry, Multiagent hybrid system design using game theory and optimal control, in IEEE Conference on Decision and Control, pp. 11901195, Kobe, Japan, December 11-13, 1996. 6.144. J. Lygeros, To brake or not to brake? is there a question?, in IEEE Conference on Decision and Control, pp. 37233728, Kobe, Japan, December 11-13, 1996. 6.145. J. Lygeros, D. N. Godbole, and S. Sastry, Optimal control approach to multiagent, hierarchical system verication, in IFAC World Congress, pp. 389394, San Fransisco, California, USA, June 30 - July 5, 1996. 6.146. C. Tomlin, G. Pappas, J. Lygeros, D. Godbole, S. Sastry, and G. Meyer, Hybrid control in air trac management systems, in IFAC World Congress, pp. 127132, San Fransisco, California, USA, June 30 July 5, 1996. 6.147. D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, and A. Lindsey, Design and verication of coordination layer protocols for degraded modes of operation of AHS, in IEEE Conference on Decision and Control, pp. 427432, New Orleans, Louisiana, USA, December 13-15, 1995. 6.148. G. J. Pappas, J. Lygeros, and D. N. Godbole, Stabilization and tracking of feedback linearizable systems under input constraints, in IEEE Conference on Decision and Control, pp. 596601, New Orleans, Louisiana, USA, December 13-15, 1995. 6.149. C. Tomlin, J. Lygeros, L. Benvenuti, and S. Sastry, Output tracking for a non-minimum phase dynamic CTOL aircraft model, in IEEE Conference on Decision and Control, pp. 18671872, New Orleans, Louisiana, USA, December 13-15, 1995. 6.150. S. Sastry, G. Meyer, C. Tomlin, J. Lygeros, D. Godbole, and G. Pappas, Hybrid systems in air trac control, in IEEE Conference on Decision and Control, pp. 14781483, New Orleans, Louisiana, USA, December 13-15, 1995. 6.151. J. Lygeros, D. N. Godbole, and M. E. Broucke, Towards a fault tolerant AHS design, in SAE Future Transportation Technology Conference, no. 951894, pp. 1332, Costa Mesa, California, USA, August 7-10, 1995. 6.152. J. Lygeros, A formal approach to fuzzy modeling, in American Control Conference, pp. 37403744, Seattle, Washington, USA, June 21-23, 1995. 6.153. J. Lygeros, D. N. Godbole, and M. E. Broucke, Design of an extended architecture for degraded modes of operation of IVHS, in American Control Conference, pp. 35923596, Seattle, Washington, USA, June 21-23, 1995. 6.154. D. N. Godbole, J. Lygeros, and S. Sastry, Hierarchical hybrid control: an IVHS case study, in IEEE Conference on Decision and Control, pp. 15921597, Lake Buena Vista, Florida, USA, December 14-16, 1994. 6.155. J. Lygeros, D. N. Godbole, and C. P. Coleman, Model based fuzzy logic control, in IEEE Conference on Decision and Control, pp. 26332638, Lake Buena Vista, Florida, USA, December 14-16, 1994. 6.156. J. Lygeros, D. N. Godbole, and S. Sastry, Simulation as a tool for hybrid control, in Proceedings of the Fifth IEEE conference on AI, Simulation and Planning in High-Autonomy Systems, Gainesville, Florida, USA, December 7-9, 1994. 6.157. D. Godbole and J. Lygeros, Longitudinal control of the lead car of a platoon, in American Control Conference, pp. 398402, Baltimore, Maryland, USA, June 29 - July 1, 1994. 6.158. J. Lygeros and D. Godbole, An interface between continuous and discrete event controllers for vehicle automation, in American Control Conference, pp. 801805, Baltimore, Maryland, USA, June 29 - July 1, 1994.