T. John Koo

T. John Koo is Professor and Director of the Center for Embedded Software Systems, Shenzhen Institute of Advanced Technology (SIAT), Chinese Academy of Sciences (CAS).  Prof. Koo received the Ph.D degree in Electrical Engineering from the University of California at Berkeley in 2000, and the M.Phil. degree in Information Engineering and the B.Eng. degree in Electronic Engineering from the Chinese University of Hong Kong in 1994 and 1992, respectively. Prof. Koo received the Nation Science Foundation (NSF) Faculty Early Career Development (CAREER) Award in 2005 and the Distinguished M.Phil. Thesis Award of the Faculty of Engineering, the Chinese University of Hong Kong, in 1994. He is a senior member of IEEE and a member of ACM and Sigma Xi.
From 1995 to 2002, he was the founder and project leader of the Berkeley Aerial Robot project. In 1998, he held a Consultant position at the Stanford Research Institute International, Menlo Park, CA. He was a Postdoctoral Fellow in the Department of Electrical Engineering of the University of Pennsylvania in 2000.  In 2001, he held a Research Specialist position in the Electronics Research Laboratory of the University of California at Berkeley. He was a Visiting Faculty in the Department of Electrical Engineering and Computer Sciences of the University of California at Berkeley in 2002. He was on the faculty of Vanderbilt University in the Department of Electrical Engineering and Computer Science (EECS) and the Institute for Software Integrated Systems (ISIS) during 2003-2006. He was an Associated Faculty of the National Science Foundation ITR Center for Hybrid and Embedded Software Systems (CHESS). He  was the Co-Director of the Tsinghua-STU Joint Laboratory on Future Internet Technologies and the Research Director of the Ministry of Education National Key Laboratory at Shantou University in China. He held a joint professorship in the Departments of Computer Science and Electronic Engineering, College of Engineering and he was an Adjunct Professor and PhD Advisor in the Department of Mathematics at Shantou University. He was a Consultant of the ASM Pacific Technology Limited, Hong Kong, in 2007.

In US, Prof. Koo worked with major aircraft and automobiles companies and their suppliers on several projects including Information Technology Research (ITR), Software-Enabled Control (SEC), Model-Based Integration of Embedded Systems (MoBIES) with funding supported by NSF and DARPA. He has been invited to participate in several US/EU national strategic meetings on High Confidence Software and Systems (HCSS) and Cyber-Physical Systems (CPS). His current research projects are supported by National Natural Science Foundation of China, Ministry of Science and Technology, Guangdong Natural Science Foundation  and Li Ka Shing Foundation. He has been a reviewer of NSF and Research Grants Council (RGC) of Hong Kong. Prof. Koo has coauthored over 60 technical papers and book chapters.

Journal and Book Chapter

1.         J. Xu, T. J. Koo and Z. Li. Planning of Multi-fingered Finger Gaits using Rapidly-exploring Random Trees, Vol. 28, No. 4, pp. 385-402,Autonomous Robots, Springer, 2010.

2.         H. Su, G. Hemingway, K. Chen and T. J. Koo, “Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems,” Forth International Symposium on Automated Technology for Verification and Analysis (ATVA), Lecture Notes in Computer Science, Vol. 4218, pp. 523-537, Springer-Verlag, Beijing, China, October 23-26, 2006.

3.         J. Sztipanovits, G. Biswas, K. Frampton, A. Gokhale, L. Howard, G. Karsai, T. J. Koo, X. Koutsoukos, D. Schmidt, “Introducing Embedded Software and Systems Education and Advanced Learning Technology in Engineering Curriculum,” ACM Transactions on Embedded Computing Systems, Special Issue on Education, 2005.

4.         Dubey, X. Wu, H. Su, T. J. Koo, ”Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach,“ Third International Symposium on Automated Technology for Verification and Analysis (ATVA),  Lecture Notes in Computer Science, Vol. 3707, pp. 114-128, Springer-Verlag, Taipei, Taiwan, October 4-7, 2005.

5.         M. Senesky, G. Eirea, and T. J. Koo, “Hybrid Modelling and Control of Power Electronics,”Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Springer-Verlag, 2003.

6.         B. Horowitz, J. Liebman, C. Ma, T. J. Koo, A. Sangiovanni-Vincentelli, and S. Sastry, “Platform-Based Embedded Software Design and System Integration for Autonomous Vehicles,” The Proceedings of the IEEE, Vol. 91, No. 1, January 2003.

7.         T. J. Koo, J. Liebman, C. Ma, B. Horowitz, A. Sangiovanni-Vincentelli, and S. Sastry, “Platform-Based Embedded Software Design for Multi-Vehicle Multi-Modal Embedded Software,”Embedded Software, Alberto Sangiovanni-Vincentelli and Joseph Sifakis (Eds.), Lecture Notes in Computer Science, Springer-Verlag, 2002.

8.         T. J. Koo, G. J. Pappas, and S. Sastry, “Multi-Modal Control of Constrained Nonlinear Systems,” Software-Enabled Control: Information Technology for Dynamical Systems, Tariq Samad and Gary Balas (Eds.), IEEE Press, 2002.

9.         T. J. Koo, S. Sastry, “Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-Modal Systems,” Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Vol. 2289, pp. 281-293, Springer-Verlag, 2002.

10.     T. J. Koo, “Stable Model Reference Adaptive Fuzzy Control of a Class of Nonlinear Systems,” IEEE Transactions on Fuzzy Systems, Vol. 9, No. 4, pp. 624-636, August  2001.

11.     T. J. Koo, J. Liebman, C. Ma, and S. Sastry, “Hierarchical Approach for Design of Multi-Vehicle Multi-Modal Embedded Software,”Embedded Software, T. A. Henzinger and C. M. Kirsch (Eds.), Lecture Notes in Computer Science, Vol. 2211, pp. 344-360, Springer-Verlag, 2001.

12.     T. J. Koo, G. J. Pappas, and S. Sastry, “Mode Switching Synthesis for Reachability Specifications,” Hybrid Systems: Computation and Control, M. D. Di Benedetto and A. Sangiovanni-Vincentelli (Eds.), Lecture Notes in Computer Science, Vol. 2034, pp. 333-346, Springer-Verlag, 2001.

13.     O. Shakernia, Y. Ma, T. J. Koo, and S. Sastry, “Landing an Unmanned Air Vehicle: Vision Based Motion Estimation and Nonlinear Control,” Asian Journal of Control, Vol. 1, No.3, pp. 128-145, September 1999.

14.     M. Egerstedt, T. J. Koo, F. Hoffmann, and S. Sastry, “Path Planning and Flight Controller Scheduling for an Autonomous Helicopter,” Hybrid Systems: Computation and Control, F. W. Vaandrager and J. H. van Schuppen (Eds.), Lecture Notes in Computer Science, Vol. 1569, pp. 91-102, Springer, 1999.

15.     F. Hoffmann, T. J. Koo, and O. Shakernia, “Evolutionary Design of a Helicopter Autopilot,” Advances in Soft Computing - Engineering Design and Manufacturing, Part 3: Intelligent Control, pp. 201-214, Springer-Verlag, 1999.

16.     T. J. Koo, “Adaptive Fuzzy Controller with Model-following Capability,” The Future Directions of Fuzzy Theory and Systems, Ch. 9, World Scientific Publishing Co. Pte. Ltd., 1995.

17.     T. J. Koo, “Analysis of a Class of Fuzzy Controllers,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol. 2, No. 3, pp. 257-264, September 1994.

Conference

18.     T. J. Koo, X. Qin, S. Yang and Y. Susuki, “Reachability Computation for Power System Transient Stability,” in the Proceedings of the 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA), Sapporo, Japan, October 18-21, 2009.

19.     J. Chen, Y. He, L. Song, Z. Wang, Y. Zou, and T. J. Koo, “Hardware-In-the-Loop Simulation Based on Ptolemy II Model Transformed from Simulink Model,” Ptolemy Miniconference, Berkeley, CA, April, 2009.

20.     T. J. Koo, Z. Xiong, J. Qu, “Curriculum Reform for Accommodating Multicore Technology in Shantou University,” In the Proceedings of the First ACM Summit on Computing Education in China, Tsinghua University, October 24-25, 2008.

21.     J. Xu, T. J. Koo and Z. Li, “Finger Gaits Planning for Multifingered Manipulation,” In the Proceedings of the IEEE/RSJ 2007 International Conference on Intelligent Robots and Systems, San Diego, California, October 29-November 2, 2007.

22.     G. Hemingway, H. Su, K. Chen and T. J. Koo, “A Semantic Anchoring Infrastructure for the Design of Embedded Systems,” In the Proceedings of the 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, July 24-27, 2007.

23.     T. J. Koo and H. Su, “A Computational Approach for Estimating Stability Regions,” In the Proceedings the IEEE International Symposium on Computer-Aided Control Systems Design, Munich, Germany, October 2006.

24.     N. Kandasamy, F. Aloul, T. John Koo, “Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots,” In the Proceedings of the 2006 IEEE International Conference on Robotics and Automation, Orlando, Florida, May 15-19, 2006.

25.     T. J. Koo, C. A. Clifton and G. Hemingway, ”Casacded Control Design for a Quadrotor Aerial Robot,” In the Proceedings of the Asian Control Conference, Bali, Indonesia, July 2006.

26.     T. J. Koo, X. Wu, H. Su, J. Chen, A. Dubey, “ReachLab: Computation Platform for the Analysis of Hybrid Automata,” the 9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, CA, March, 2006

27.     T. J. Koo, “Algorithmic Approach for the Design and Analysis of High-Confidence Medical Device Systems,“ High Confidence Medical Device Software and Systems Workshop, Philadelphia, PA, June, 2005.

28.     S. Zelinski, T. J. Koo and S. Sastry, “Hybrid System Design For Formations of Autonomous Vehicles,” in the Proceedings of the IEEE Conference on Decision and Control, Hawaii, December 2003.

29.     T. J. Koo and S. Sastry, “Hybrid Control of Unmanned Aerial Vehicles for Autonomous Landing,” in Proceedings of 2nd AIAA ”Unmanned Unlimited” Systems, Technologies, and Operations-Aerospace, Land, and Sea Conference, San Diego, California, September 2003.

30.     T. J. Koo, S. Zelinski, and S. Sastry, “Formation Reconfiguration for Autonomous Vehicles,” in Proceedings of AHS 59th Annual Forum and Technology Display ”Vertical Flight Transformations”, Phoenix, Arizona, May 2003.

31.     S. Zelinski, T. J. Koo, and S. Sastry, “Optimization-based Formation Reconfiguration Planning For Autonomous Vehicles,” International Conference on Robotics and Automation, Taipei, Taiwan, May 2003.

32.     S. Coleri, M. Ergen, and T. J. Koo, “Lifetime Analysis of a Sensor Network with Hybrid Automata Modelling,” in Proceedings of ACM International Workshop on Wireless Sensor Networks and Applications, Atlanta, Georgia, September 2002.

33.     B. Horowitz, J. Liebman, C. Ma, R. Tal, T. J. Koo, T. A. Henzinger, and S. S. Sastry, “Hardware-in-the-loop (HIL) Simulation of Multi-Vehicle Multi-Modal Embedded Systems,” in Proceedings of IFAC World Congress on Automatic Control, Barcelona, Spain, 2002.

34.     T. J. Koo, “Hierarchical System Architecture for Multi-Agent Multi-Modal Systems,” in Proceedings of IEEE Conference on Decision and Control, Orlando, Florida, December 2001.

35.     T. J. Koo, G. J. Pappas, and S. Sastry, “Multi-Modal Control of Systems with Constraints,” in Proceedings of IEEE Conference on Decision and Control, Orlando, Florida, December 2001.

36.     A. Pant, P. Seiler, T. J. Koo, and K. Hedrick, “Mesh Stability of Unmanned Aerial Vehicle Clusters,” in Proceedings of American Control Conference, Arlington, Virginia, June, 2001.

37.     T. J. Koo, and S. M. Shahruz, “Formation of a Group of Unmanned Aerial Vehicles (UAVs),” in Proceedings of American Control Conference, Arlington, Virginia, June, 2001.

38.     B. Sinopoli, M. Aicheli, G. Donato, T. J. Koo, “Vision Based Navigation for an Unmanned Aerial Vehicle,” in Proceedings of IEEE International Conference on Robotics and Automation, Seoul, Korea, May, 2001.

39.     T. J. Koo, and S. Sastry, “Differential Flatness Based Full Authority Helicopter Control Design,” in Proceedings of IEEE Conference on Decision and Control, Phoenix, Arizona, December 1999.

40.     O. Shakernia, Y. Ma, T. J. Koo, J. Hespanha, and S. Sastry, “Vision Guided Landing of an Unmanned Air Vehicle,” in Proceedings of IEEE Conference on Decision and Control, Phoenix, Arizona, December 1999.

41.     J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S. S. Sastry, and E. A. Lee, “Hierarchical Hybrid System Simulation,” in Proceedings of IEEE Conference on Decision and Control, Phoenix, Arizona, December 1999.

42.     M.Egerstedt, T. J. Koo, F.Hoffmann, and S.Sastry, “An Integrated Algorithm for Path Planning and Flight Controller Scheduling for Autonomous Helicopters,” in Proceedings of the 7th IEEE Mediterranean Conference on Control and Automation, Haifa, Israel, June, 1999.

43.     T. J. Koo, and S. Sastry, “UAV Trajectory Generation with Switching on Flat Outputs” in Proceedings of IEEE Hong Kong Symposium on Robotics and Control, Hong Kong, July 1999.

44.     T. J. Koo, B. Sinopoli, A. Sangiovanni-Vincentelli, and S. Sastry, “A Formal Approach to Reactive System Design: A UAV Flight Management System Design Example” in Proceedings of IEEE International Symposium on Computer-Aided Control System Design, Kohala Coast, Hawaii, August 1999.

45.     T. J. Koo, and S. Sastry, “Output Tracking Control Design of a Helicopter Model Based on Approximate Linearization,” in Proceedings of IEEE Conference on Decision and Control, Tampa, Florida, USA, December 1997.

46.     H. Shim, T. J. Koo, F. Hoffmann, and S. Sastry, “A Comprehensive Study on Control Design of Autonomous Helicopter,” in Proceedings of IEEE Conference on Decision and Control, Tampa, Florida, USA, December 1997.

47.     T. J. Koo, F. Hoffmann, B.Sinopoli, S. Sastry, “Hybrid Control of An Autonomous Helicopter,” in Proceedings of IFAC Workshop on Motion Control, Grenoble, France, September 1997.

48.     K. S. Mostov, A. A. Soloviev, and T. J. Koo, “Accelerometer Based Gyro-Free Multi-Sensor Generic Inertial Device for Automotive Applications,”IEEE Conference on Intelligent Transportation Systems, Boston, Massachusetts, USA, November 1997.

49.     K. S. Mostov, A. A. Soloviev, and T. J. Koo, “Initial Attitude Determination and Correction of Gyro-Free INS Angular Orientation on the Basis of GPS Linear Navigation Parameters,”in Proceedings of IEEE Conference on Intelligent Transportation Systems, Boston, Massachusetts, USA, November 1997.

50.     T. J. Koo, Y. Ma, G. J. Pappas, and C. J. Tomlin, “SmartATMS: A Simulator for Air Traffic Management Systems,” in Proceedings of Winter Simulation Conference, Atlanta, Georgia, USA, December 1997.

51.     T. J. Koo, “Construction of Fuzzy Linguistic Model,” in Proceedings of IEEE Control and Decision Conference, Kobe, Japan, December 1996.

52.     T. J. Koo, “Model Reference Adaptive Fuzzy Control of Robot Manipulator,” in Proceedings of IEEE Conference on Systems, Man and Cybernetics, Vancouver, Canada, October 1995.

53.     T. J. Koo, and T. T.C. Choy, “An Electric Wheelchair with Special Features,” in Proceedings of RESNA International Conference, Toronto, Canada, June 1992.

 US National Science Foundation Faculty Early Career (CAREER) Development Award，Computation Platform for the Design of Hybrid Systems, 2005