ISR Distinguished Lecturer: Hybrid Systems and Control
Tuesday, March 7, 2006
1115 Computer Science Instructional Center
301 405 6615
S. Shankar Sastry
Director, Center for Information Technology in the Interest of Society
NEC Distinguished Professor of EECS and Professor of Bioengineering
University of California, Berkeley
In the last decade we have developed a very extensive program of studying the dynamics and control of hybrid systems (systems consisting of systems with both continuous and discrete components), such as embedded software that controls physical systems. Mathematical problems for the analysis, design, testing and verification of these systems abound. Simulation is difficult, since there is no complete existence uniqueness theory. Simulations may not exist because of phenomena such as the so-called Zeno phenomenon. I will give an overview of difficulties involved in characterizing Zeno systems and include hints as to their regularization. In addition, controlling hybrid systems involves using games for systems with both continuous and discrete dynamics. I will give the conceptual framework for solving synthesis problems for safety properties (namely invariance properties) of control systems. Computational questions for these classes of systems are difficult. While there are some serious burdens, I will give a summary of efforts aimed at establishing bounds for hybrid systems. Applications of the techniques to a large number of practical applications abound. I will focus on automated highway systems, air traffic control and systems biology. Finally, I will present new vistas and directions in stochastic hybrid systems and identifying hybrid systems.
S. Shankar Sastry is NEC Distinguished Professor of Electrical Engineering and Computer Sciences and Bioengineering, and Director of the Center for Information Technology Research in the Interest of Society (CITRIS) at the University of California, Berkeley. Previously, he chaired Berkeleys EECS Department, directed the Information Technology Office at DARPA, and directed Berkeleys Electronics Research Laboratory. His research areas are embedded and autonomous software; computer vision; computation in novel substrates such as DNA; nonlinear and adaptive control; robotic telesurgery; control of hybrid systems; embedded systems; sensor networks; and biological motor control.
Sastry received his Ph.D. in 1981 from UC Berkeley. He was on the faculty of MIT as assistant professor (1980-1982) and at Harvard University as a chaired Gordon McKay professor (1994). He has held visiting appointments at the Australian National University in Canberra; the University of Rome; Scuola Normale; the University of Pisa; the CNRS Laboratory LAAS in Toulouse (poste rouge); and was Professor Invite at Institut National Polytechnique de Grenoble (CNRS laboratory VERIMAG); and a Vinton Hayes Visiting Fellow at the Center for Intelligent Control Systems at MIT.
Sastrys latest book is Nonlinear Systems: Analysis, Stability and Control (Springer-Verlag, 1999). He has cowritten more than 250 technical papers and six books, including Adaptive Control: Stability, Convergence and Robustness (with M. Bodson, Prentice Hall, 1989) and A Mathematical Introduction to Robotic Manipulation (with R. Murray and Z. Li, CRC Press, 1994). He co-edited Hybrid Control II, Hybrid Control IV and Hybrid Control V (with P. Antsaklis, A. Nerode, and W. Kohn, Springer Lecture Notes in Computer Science, 1995, 1997, and 1999, respectively); Hybrid Systems: Computation and Control (with T.Henzinger, Springer-Verlag Lecture Notes in Computer Science, 1998), and Essays in Mathematical Robotics (with Baillieul and Sussmann, Springer-Verlag IMA Series). Books on embedded software and structure from motion in computer vision are in progress.
Sastry served as associate editor for publications including IEEE Transactions on Automatic Control; IEEE Control Magazine; IEEE Transactions on Circuits and Systems; Journal of Mathematical Systems, Estimation and Control; IMA Journal of Control and Information; International Journal of Adaptive Control and Signal Processing; and Journal of Biomimetic Systems and Materials.
Sastry was elected into the National Academy of Engineering in 2001 for pioneering contributions to the design of hybrid and embedded systems. He also received the President of India Gold Medal (1977), the IBM Faculty Development Award (1983-1985), the NSF Presidential Young Investigator Award (1985) the Eckman Award of the American Automatic Control Council (1990), an M.A. (honoris causa) from Harvard (1994), IEEE Fellow (1994), the Distinguished Alumnus Award of the Indian Institute of Technology (1999), and the David Marr best paper prize at the International Conference in Computer Vision (1999). He has supervised more than 45 doctoral students and 50 M.S. students. His former students occupy leadership roles in places such as dean of engineering at Caltech; director of the Information Systems Laboratory, Stanford; and on the faculties of many major U.S. universities.
Dr. Sastry will also be available for a Roundtable Discussion.
Tuesday, March 7, 3:00 p.m.
2168 A.V. Williams Building, University of Maryland