T. John Koo (谷德权)
Ph.D., University of California at Berkeley, 2000
M.Phil., Chinese University of Hong Kong, 1994
B.Eng., Chinese University of Hong Kong, 1992
SMIEEE, Sigma Xi, ACM, PhD Advisor
Co-Director
Tsinghua-STU Joint Laboratory on Future Internet Technologies
Director
Intel- Shantou University Multi-Core Technology Laboratory
Research Director
Ministry of Education Key Laboratory at Shantou University
Chair Professor
Departments of Computer Science,  Electronic Engineering and Mathematics
Shantou University
Awards  
Outstanding Faculty Advisor Award, College of Engineering, Shantou University, 2008
NSF CAREER Award: Computation Platform for the Design of Hybrid Systems, 2005
"The Faculty Early Career Development (CAREER) Program is a Foundation-wide activity that offers the National Science Foundation’s most prestigious awards for new faculty members. The CAREER program recognizes and supports the early career-development activities of those teacher-scholars who are most likely to become the academic leaders of the 21st century. " from National Science Foundation
Distinguished Master of Philosophy (M. Phil.) Thesis Award,  Faculty of Engineering, The Chinese University of Hong Kong,  1994
Research Interests  
"Development of formal methods for the design of high-confidence embedded software based on hybrid system theory with applications to distributed, network-centric, embedded systems."
Embedded Software, Hybrid Systems, Nonlinear Control, and Robotics.
News  
工学院硕士生研究论文被评为优秀并获推荐至国家级核心期刊, 2009-09-04.
Co-Organizer, Workshop on "Foundations of Hybrid Systems", the Combined 48th IEEE CDC and 28th
CCC in China, Shanghai, China, December, 2009.
Organizers: John Lygeros (ETH Zurich/SMIEEE) and T. John Koo (STU/SMIEEE)
Invited Speakers: Daizhan Cheng (CAS/FIEEE), Joao Hespanha (UCSB/FIEEE), Daniel Liberzon (UIUC/SMIEEE) and George Pappas (UPenn/FIEEE)
Publicity Chair, The Seventh Asian Control Conference (ASCC), Hong Kong, August 27-29, 2009.
Speaker, "Future Directions in Model-based Embedded Systems,'' School of Computer Science and
Engineering, Beijing University of Aeronautics and Astronautics, Beijing, China., August 27, 2009.
工学院硕士研究生参加ARTIST/清华大学软件学院嵌入式系统暑期学校, 2009-09-02.
Speaker, "Future Directions in Model-based Embedded Systems,'' The Shenzhen Institute of Advanced
Technology (SIAT), The Chinese Academy Sciences (CAS), Shenzhen, China, July 7, 2009.
陈佳洱院士与教师座谈国家重点基础研究计划“十二五”规划构想, 2009-06-19.
Speaker, "Model-based Embedded Systems Design," Department of Mechanical and Automation Engineering, The Chinese University of Hong Kong, Hong Kong, China, June 16, 2009.
工学院谷德权教授应邀担任美国自然科学基金会基金项目评审委员会委员, NSF, Washington D.C.,  2009.
Speaker, "Hybrid Systems Design for Autonomous Aerial Vehicles," Department of Electrical and Computer Engineering, Carnegie-Mellon University, Pittsburg, PA, April 29, 2009.
Speaker, "Embedded Hybrid Systems in Aerospace,"  BUAA, Beijing, China, February 26, 2009.
Technical Program Committee Member, The Second International Workshop on Cyber-Physical
Systems (WCPS2009)
, Montreal, Canada, June 22, 2009, in  conjunction with The 29th International Conference on Distributed Computing Systems  (ICDCS2009).
Speaker, "Hybrid Systems Based Modeling and Analysis of Aircraft Control Systems (基于混合系统的飞机控制系统建模和分析)," CGNCC2008 (中国导航、制导与控制学术会议), Xian, China, November 14-16, 2008.
Also appears in:
The Special Issue on CGNCC2008 of the Journal of System Simulation(系统仿真学报 增刊2), 2008.
Establishment of the Intel-Shantou University Multi-Core Joint Lab, 2008 Intel Multi-Core Academic Forum in China (2008年英特尔中国多核技术学术论坛), Xiemen, China, August 28-29, 2008.
Also appears in:
英特尔与汕头大学联合成立多核技术实验室, 汕大新闻, 2008-09-19.
英特尔与汕头大学联合成立多核技术实验室, 汕头大学工学院学院要闻, 2008-09-17.
Visited by Chinese Astronaut Mr. YANG Liwei (航天英雄杨利伟), June 26, 2008.
Also appears in:
航天英雄杨利伟参观工学院谷德权教授实验室, 汕头大学工学院学院要闻, 2008-09-23.
Speaker, "Model-Based Design of Embedded Systems,"  Tsinghua-BP Clean Energy Research and
Education Center, Tsinghua University, Beijing, China, July , 2008.
Program Committee Member, The First International Workshop on Computer System Education and Innovation (IWCSEI 2008), Zhang Jia Jie, Hunan, China, November 18-21, 2008.
T. John Koo, Shankar Sastry: Guest Editors
Special issue on "Networked Embedded Hybrid Control Systems"
Volume 10 Issue 1 , Pages 1 - 128 (January 2008)
Asian Journal of Control
Editorial, Special issue on "Networked Embedded Hybrid Control Systems" (p 1-2), T. John Koo, Shankar Sastry, Published Online: May 21 2008 12:41PM

Also appears in:
 工学院谷德权教授担任国际学术期刊《Asian Journal of Control》的专题编辑, 汕大新闻, 2008-09-05.
杨振宁:每一个小问题都值得去做, 2008-05-07
Participant, MoE-Intel Training on Multi-Core Technologies/教育部-英特尔 产学研多核技术骨干青年教师高级研修班,  Zhejiang University, April 24-30, 2008.
Speaker, "Model-based Embedded Systems Design in Aerospace ,"  System Integration Laboratory, ARJ 21 Regional Jet Aircraft, China Aviation Industry Corporation I, April 14, 2008.
Attendant, Sun Engineering and Research Conference, Shanghai, China, April 15-16, 2008.
Attendant, Intel Developer Forum , Shanghai, China,  April 2-3, 2008.
站在物理世界和虚拟世界的交汇点,研究人,研究与发展,中国教育网络,4月2008年
At the Junction of the Cyber-Physical Worlds, Research, Research and Development, China Education Network, April, 2008.
Also appears in:
《中国教育网络》杂志专访汕大工学院讲座教授谷德权,中国高等教育改革与发展网,中华人民共和国教育部中国高等教育学会, 2008-5-9.
 《中国教育网络》杂志专访工学院谷德权教授, 汕大新闻, 2008-04-21.
Also in Microsoft Office Document Imaging Format.
Outstanding Faculty Advisor Award, College of Engineering, Shantou University, 2008-3-19.
Principle Investigator, 3-Yr Project "Foundations for the Design of Embedded Hybrid Systems,"  National Natural Science Foundation of China (NSFC), January 2008.
Also appears in:
News from Shantou University (in Chinese), September 21, 2007
Technical Program Committee Member, The 2008 IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008.
Program Committee Member, The 32st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, July 28- August 1, 2008.
Program Committee Member, The 5th International Workshop on Software Cybernetics: Control Approaches for Software Engineering (IWSC 2008), Turku, Finland, July 28- August 1, 2008.
Committee Member, Ph.D. Dissertation Assessment Committee, Section of Automation and Control, Department of Electronic Systems, Aalborg University, Aalborg, Denmark, January 2008.
Speaker, "Embedded Hybrid Systems," School of Electronics Engineering and Computer Science, Peking University, November 28, 2007.
Also appears in:
Engineering News (in Chinese), December 7, 2007
Speaker, "Model-Based Embedded System Tools" with Rongqing Li, Institute of Software, Chinese Academy of Sciences (CAS), November 27, , 2007.
Also appears in:
Engineering News (in Chinese), December 7, 2007
Speaker, "基于EIP—CDIO理念的计算科学课程体系设计," The 10th Computer Science Deans Forum, The Hong Kong University of Science and Technology, Hong Kong, November 23-24,  2007.
Also appears in:
Engineering News (in Chinese), December 7, 2007
Consultant, ASM Pacific Technology Limited, May-October 2007.
Related stories appear in:
Engineering News (in Chinese), October 12, 2007

International Cooperation Department News, November 20, 2007

我院研究生鄢来琼获邀再赴香港ASM公司进行学术交流 , 2008-4-10.
工学院鄢来琼同学赴香港ASM太平洋科技有限公司进行学术交流, 2007-10-12
鄢来琼赴香港ASM学术交流小结, 2007-11-19
Speaker, "Model-Based Design of Embedded Systems,"  FAW R&D Center, October 19, 2007.
Speaker, "Embedded Hybrid Systems," BUAA, September 25, 2007.
Guest Speaker, "Embedded Hybrid Systems," The 1st International Workshop on Harnessing Theories for Tool Support in Software  (TTSS07), United Nations University-International Institute for Software Technology (UNU_IIST), Macau, September 23, 2007.
Speaker, "Modeling and Design of Embedded Systems" with Dr. Haiyang Zheng, Institute of Software, Chinese Academy of Sciences (CAS), September 17, 2007.
Organizer, Short Course on Models of Computation, with Dr. Haiyang Zheng from UC Berkeley/Mathworks as Invited Speaker, Shantou University, September 8-9, 2007.
Coordinating Committee Member and Guest Speaker, Artist2/UNU-IIST School in China, Suzhou, China, August 1-10, 2007.
Also appears in:
News from Shantou University (in Chinese), September 7, 2007
Program Committee Member, The 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China,  July 24-27, 2007.
诺贝尔物理奖得主朱棣文教授访问工学院, 2007-7-9
2nd Class Award, 2nd Amway Cup on Final Year Project in Computer Science, University City,  Guangdong, China, June 2007.
Committee Member, Ph.D. Dissertation Assessment Committee, Section of Automation and Control, Department of Electronic Systems, Aalborg University, Aalborg, Denmark, June 2007.
Organizer, Short Course on Model-Integrated Computing, with PhD Candidate Allen Balasubramanian from Vanderbilt University as Invited Speaker, Shantou University, March 6-10, 2007.
Committee Member, Internationalization Committee, Shantou University, Shantou, Guangdong, China, 2007. 
Committee Member, Network, Committee, Shantou University, Shantou, Guangdong, China,  2007. 
Speaker, National Meeting on “Beyond SCADA: Networked Embedded Control for Cyber Physical Systems” (HCSS-NEC4CPS), Pittsburgh, Pennsylvania,, USA, November 8 - 9, 2006.
Also appears in:
News from Shantou University (in Chinese), November 19, 2006
Speaker, Joint US-EU-TEKES Workshop: Long Term Challenges in High Confidence Composable Embedded Systems, Helsinki, Finland, June 21-22, 2006.
Speaker, World Engineers' Forum of Shantou University, Faculty of Engineering, Shantou University, February 23, 2006.
Gabor Karsai, T. John Koo, and Janos Sztipanovits, International Embedded Systems Forum, Faculty of Engineering and Li Ka Shing Foundation, Shantou University, February 23, 2006.
EECS 353-1 Real-Time Systems, Spring 2006.
Introducing the Computation Platform for the Design and Analysis of Hybrid Systems: ReachLab
Chair-US and Speaker, Workshop on Hybrid and Embedded Systems: Technologies and Applications, Hong Kong Science and Technology Parks Corporation and Department of Automation and Computer-Aided Engineering, the Chinese University of Hong Kong, February 21 - 22, 2006.
For Pictures, please click here
For Presentations, please click here
Also appears in:
Faculty and Staff Notes, Vanderbilt Register, March 13, 2006

News, NSF ITR Center for Hybrid and Embedded Software Systems (CHESS)
CUHK NewsLetter, The Chinese University of Hong Kong, April 4, 2006
EECS 257-1 Control Systems I, Fall 2005.
Elevated to the IEEE Senior Member Grade, July 2005.
Program Committee Member, The 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06),  Santa Barbara, California, March  2006.
Program Committee Member, The 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas,  September/October 2005.
Autonomous Flight, Vanderbilt Embedded Computing Platform for Autonomous Vehicles
NSF CAREER Award: Computation Platform for the Design of Hybrid Systems.
Also appears in:
Vanderbilt Engineer Wins Early CAREER Development Award from NSF, Vanderbilt Register, April 2005
News from Vanderbilt, April 2005
Nashville Business Journal, April 2008
Chinese University Alumni Magazine, Issue 41, March 2005
Recent Awards and Honors Received, Department of Electrical Engineering, CUHK
News, NSF ITR Center for Hybrid and Embedded Software Systems (CHESS)

Class Notes, College of Engineering, University of California at Berkeley, Summer 2005
CDC-ECC 2005 Associate Editors, IEEE International Conference on Decision and Control, Seville, Spain, December 12-15, 2005.
EECE 353-1 Real-Time Systems, Spring 2005.
EECS 257-1 Control Systems I, Fall 2004.
Associated Faculty, NSF ITR Center for Hybrid and Embedded Software Systems (CHESS).
ISIS: Improving 'Smart' Systems from Cell Phones to Jet Planes, Vanderbilt Engineering News, Volume 45, Number 1, 2004. Also, featured in the EECS Newspage, EECS Department, UC Berkeley, Spring 2004.
EECS 396-1 Hybrid and Embedded Systems: Computation, Spring 2004.
International Scientific Committee Member, International Embedded and Hybrid Systems Conference, Singapore, April 12-15, 2005.
Publicity Chair, 7th International Workshop on Hybrid Systems: Computation and Control (HSCC'04),  University of Pennsylvania, Pennsylvania, March  2004.
A Childhood Love of Remote-Controlled Cars Leads to Career in Robotics, Vanderbilt Register, September 22-October 5, 2003.  Also, featured in the EECS Newspage, EECS Department, UC Berkeley, Fall 2003.
EECS 291/395 Embedded Control Systems Design, Fall 2003.
Founding Member, IEEE Robotics and Automation Society Technical Committee on: Networked Robots, Chaired by Ken Goldberg and Roland Siegwart, May 2001.
Pilotless Chopper Finds Its Own Way - Berkeley Researchers Build Flying Machine,
The Daily Californian, UC Berkeley, August 28, 2002.
Eye In The Sky,
Berkeley Engineering Lab Notes, Volume 2, No 6, August 2002.
Founding Project Leader, Berkeley Aerial Robots (BEAR), Robotics and  Intelligent Machines Laboratory,  EECS Department, UC Berkeley. 
Information  
Office Address
313 Engineering Building (South)
College of Engineering
Shantou University
243 Daxue Road
Shantou, Guangdong
P. R. China, Post code 515063

Phone: +86 754 82902019
Fax: +86 754 82902005
Email: johnkoo@stu.edu.cn
Brief Bio
T. John Koo is 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 holds a joint professorship in the Departments of Computer Science and Electronic Engineering, College of Engineering, Shantou University. 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 is an Associated Faculty of the National Science Foundation ITR Center for Hybrid and Embedded Software Systems (CHESS). He was on the faculty of Vanderbilt University as Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) and the Institute for Software Integrated Systems (ISIS) during 2003-2006. He was a Visiting Faculty in the Department of Electrical Engineering and Computer Sciences of the University of California at Berkeley in 2002. In 2001, he held a Research Specialist position in the Electronics Research Laboratory of the University of California at Berkeley. He was a Postdoctoral Fellow in the Department of Electrical Engineering of the University of Pennsylvania in 2000. In 1998, he held a Consultant position at the Stanford Research Institute International, Menlo Park, CA. From 1995 to 2002, he was the founder and project leader of the Berkeley Aerial Robot project. In 1994, he was a Graduate Research Fellow in the Signal and Image Processing Institute of the University of Southern California. His research interests include embedded software, model-integrated computing, hybrid systems, nonlinear control, robotics, sensor networks and scientific computing.

Prof. Koo received the Nation Science Foundation 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. Prof. Koo has coauthored over 50 technical papers and book chapters. He was the Associate Editor of the IEEE International Conference on Decision and Control, Seville, Spain, 2005. He was the program committee member of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06) and the 9th International Workshop on Software and Compilers for Embedded Systems. He was the Publicity Chair of the International Workshop on Hybrid Systems: Computation and Control (HSCC'04), Philadelphia, PA, 2004. Prof. Koo was the Chair-US and Speaker of the Workshop on Hybrid and Embedded Systems: Technologies and Applications, Hong Kong Science and Technology Parks Corporation and Department of Automation and Computer-Aided Engineering, the Chinese University of Hong Kong in 2006. He is the Guest Editor of the Special Issue on "Networked Embedded Hybrid Control Systems," Asian Journal of Control. He is a senior member of IEEE and a member of Sigma Xi and ACM.
Sponsored Research  
MoST Project " Development and Application of Computation Platform for Automobile Electronics" China FAW R&D Center, Jilin University, Zhejiang University, Shantou University and CoreTek Systems Company.
Status: Current
Sponsor: Ministry of Science and Technology (国家科技部)
Program: Research Institute Technology Development Fund (科研院所技术开发研究专项资金资助项目)
Project:  Technology Development and Application of Computation Platform for Automotive Electronic Control Systems (汽车电子控制系统计算平台构建技术及应用)
Institution:  China FAW Group Corporation R&D Center, Jilin University, Zhejiang University, Shantou University and CoreTek Systems Company (中国第一汽车集团公司技术中心,吉林大学、浙江大学、汕头大学、北京科银京成技术有限公司)
Role: Faculty Investigator (项目成员)
Period: January 1, 2008 - December 31, 2010
Amount: 1,050,000.00RMB (136,080.00USD)
GDSF Project "Design Theory for Energy-Saving Environment-Friendly Coated Printing Equipment and its Applications," Shantou University and Huazhong University of Science and Technology.
Status: Current
Sponsor: Guangdong Natural Science Foundation, GDSF (广东省自然科学基金)
Program: GDSF Research Team (广东省自然科学基金研究团队项目)
Project:  Design Theory for Energy-Saving Environment-Protective Coated Printing Equipment and its Applications (节能环保型印刷涂布设备设计理论及其应用研究)
Institution:  Shantou University and Huazhong University of Science and Technology
Role: Co-Principle Investigator (核心成员)
Period: January 1, 2009 - December 31, 2013
Amount: 1,500,000.00RMB (194,400.00USD)
NSFC Project "Foundations for the Design of Embedded Hybrid Systems," Shantou University.
Status: Current
Sponsor: National Natural Science Foundation of China , NSFC (国家自然科学基金)
Program: Joint Program of Information Science and Mathematics (
信息与数学域交叉类项-面上)
Project: Foundations for the Design of Embedded Hybrid Systems (嵌入式混合系统设计的基础理论研究)
Institution:  Shantou University
Role: Principle Investigator (项目负责人)
Period: January 1, 2008 - December 31, 2010
Amount: 270,000.00RMB (35,000.00USD)
Tsinghua-STU Joint Laboratory on Future Internet Technologies, Tsinghua University and Shantou University.
Status: Current
Sponsor: Li Ka Shing Foundation and Hutchison Whampoa Limited
Program: Tsinghua-STU Joint Laboratory on Future Internet Technologies
Project: Analysis, Modeling and Generation of Dynamic Flow of Future Internet
Institution:  Shantou University
Role: Principle Investigator
Period: April 1, 2007 - March 31, 2011
Amount: 4,010,150.00RMB (500,000.00USD)
NSF CAREER Award: Computation Platform for the Design of Hybrid Systems, Vanderbilt University.
Status: Past
Sponsor: National Science Foundation
Program: Faculty Early Career Development (CAREER) Program
Project: Computation Platform for the Design of Hybrid Systems
Institution:  Vanderbilt University
Role: Principle Investigator
Period: April 1, 2005 - March 31, 2010
Amount: 400,000.00USD
NSF ITR Center for Hybrid and Embedded Software Systems (CHESS), UC Berkeley, University of Memphis and Vanderbilt University.
Status: Past
Sponsor: National Science Foundation
Program:  Information Technology Research (ITR) Program
Project: Foundations of Hybrid and Embedded Software Systems
Institution:  UC Berkeley, University of Memphis and Vanderbilt University
Role: Faculty Investigator
Period: November 1, 2002 - October 31, 2007
Amount: 13,500,000.00USD
DARPA IXO Project, "Active Sensing with Autonomous Perch and Move Operations," Southwest Research Institute, UC Berkeley and Vanderbilt University.
Status:   Past

Sponsor: DARPA
Program: IXO
Project: Active Sensing with Autonomous Perch and Move Operations
Institution:  Southwest Research Institute, UC Berkeley and Vanderbilt University
Role: Faculty Investigator
Period: August 22, 2003 - August 21, 2004
Amount: 498,338.00USD
DARPA ITO MoBIES Project, "Program, Design, Implementation, and Validation of Embedded Software, " University of Pennsylvania.
Status:   Past

Sponsor: DARPA
Program:  ITO Model-Based Integration of Embedded Systems (MoBIES)
Project: Program, Design, Implementation, and Validation of Embedded Software
Institution:  University of Pennsylvania
Role: Postdoctoral Researcher
Period: 2001 - 2003
DARPA ITO SEC Project, "Hybrid System Design Tools for Software-Enabled Control, " UC Berkeley.
Status:   Past

Sponsor: DARPA
Program:  ITO Software Enabled Control (SEC)
Project: Hybrid System Design Tools for Software-Enabled Control
Institution:  UC Berkeley
Role: Graduate Student Researcher
Period: 1998 - 2001
ONR Project, "Intelligent Control Architectures for Unmanned Air Vehicles, " UC Berkeley.
Status:   Past

Sponsor: ONR

Project: Intelligent Control Architectures for Unmanned Air Vehicles
Institution:  UC Berkeley
Role: Graduate Student Researcher
Period: 1997 - 1999
ARO  MURI Project, "An Integrated Approach to Intelligent Systems, " UC Berkeley, Cornell University and Stanford University.
Status:   Past
Sponsor:
ARO
Program:  ARO Multidisciplinary University Research Initiative (MURI) Laboratory
Project: An Integrated Approach to Intelligent Systems
Institution:  UC Berkeley, Cornell University and Stanford University
Role: Graduate Student Researcher
Period: 1996 - 1998
Research Projects  
eachLab ReachLab: Computation Platform for the Design and Analysis of Hybrid Systems
Principle Investigator, 2006 - Current
Shantou University
Principle Investigator, 2003 - 2006
Embedded Computing Systems Laboratory, Vanderbilt University
Embedded Computing Platform for Autonomous Vehicles
Also appears in:
Draganflyer RC Helicopters in VECPAV Autonomous Control System At Vanderbilt University, NV, USA

Michael Quottrup, Newsletter from Vanderbilt University, Nashville, USA
Principle Investigator, 2006 - Current
Shantou University

Principle Investigator, 2003 - 2006
Embedded Computing Systems Laboratory, Vanderbilt University
3-D Reconstruction from 2-D Frame Sequences
Principle Investigator, 2006 - Current
Shantou University
In collaboration with Prof. Yi MA, UIUC and Microsoft Research
BEAR: Berkeley Aerobot Team
Project Leader and Founder, 1998 - 2002
Robotics and Intelligent Machines Laboratory, UC Berkeley
Student  

Shantou University

Yang Shiwei (杨世伟) CS, MSc, 2008
Guan Sheng (关胜) CS, MSc, 2008
Li Rongqing (李荣清) CS, MSc, 2008
Lin Feifei (林斐斐) CS, MSc, 2008
Qiu Zhihong (丘志宏) CS, MSc, 2008
Yan Laiqiong (鄢来琼) CS, MSc, 2008
Chen Junwei (陈俊伟) CS, MSc, 2009
Hu Yan (胡嬿) CS, MSc, 2009
Li Xiao (李晓) CS, MSc, 2009
Song Liangliang (宋亮亮) CS, MSc, 2009
Wang Pengsheng (王鹏生) CS, MSc, 2009
Wang Zhi (王陟) EE, MSc, 2009
Yang Shuguang (阳曙光) CS, MSc, 2009
He Yue (何岳) CS, MSc
Qin Xinggu (秦兴国) CS, MSc
Zou Yaqin (邹雅琴) CS, MSc
Cai Wenqi (蔡文奇) CS, MSc
Guo Zuoyong (郭作勇) CS, MSc
Luo Caiyun (罗彩云) CS, MSc
Chen Yaosen (陈耀森) CS, MSc

Vanderbilt University

Chip Clifton EE, MSc, 2005
Abhishek Dubey EE, MSc, 2005
Jie Chen CS, MSc, 2006
Hang Su CS, MSc, 2006
Xianbin Wu CS, MSc, 2006
Teaching  

Shantou University

Spring 2009 Embedded Systems
Fall 2008 Algorithms
Spring 2008 Embedded Systems
Fall 2007 Discrete Mathematics
Spring 2007 Embedded Systems

Vanderbilt University

Spring 2006 Real-time Systems
Fall 2005 Feedback Control Systems I
Spring 2005 Real-time Systems
Fall 2004 Feedback Control Systems I
Spring 2004 Hybrid and Embedded Systems: Computation
Fall 2003 Embedded Control Systems Design

University of California, Berkeley

Spring 2003 Hybrid Systems
Spring 2002 Hybrid Systems
Spring 2001 Hybrid Systems
Publication  
Recent Paper

Y. Zou, X. Qin, Z. Wang, T. J. Koo
Embedded Computing Platform for Autonomous Vehicles
Journal of System Simulation, Regular Issue, 2009 (in Chinese).
In the Proceedings of the Chinese Guidance, Navigation, and Control Conference (CGNCC), November 14-15, 2009 (in Chinese).

Y. He, X. Qin, J. Chen, L. Song , T. J. Koo
Code-Generation for Autonomous Vehicles based on Ptolemy II
Journal of System Simulation, Regular Issue, 2009 (in Chinese).
In the Proceedings of the Chinese Guidance, Navigation, and Control Conference (CGNCC), November 14-15, 2009 (in Chinese).

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.

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.

T. J. Koo, R. Li, S. Yang
Hybrid Systems Based Modeling and Analysis of Aircraft Control Systems
Journal of System Simulation, Special Issue on CGNCC2008, 2009 (in Chinese).

T. J. Koo, M. M. Quottrup, C. A. Clifton, R. Izadi-Zamanabadi, T. Bak
Framework for Multi-robot Motion Planning and Coordination
In preparation.

T. John Koo Zhi Xiong Jianqin 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.

J. Xu, T. J. Koo and Z. Li
Planning of Multifingered Finger Gaits using Rapidly-exploring Random Trees
Submitted to Autonomous Robots, Springer, September, 2008.

蔡伟鸿, 于津, 李新, 屈建勤, 熊智, 谷德权
基于EIP—CDIO理念的计算科学课程体系设计
第十届全国高校计算机系主任论坛专辑,清华大学出版社, 2007.

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.

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.

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.

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.

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.


Thesis

T. J. Koo, supervised by S. S. Sastry
Hybrid System Design and Embedded Controller Synthesis for Multi-Modal Control
PhD Thesis, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, 2000
 
T. J. Koo, supervised by C. P. Kwong
Design of Stable Adaptive Fuzzy Control
``Distinguished M.Phil. Thesis Award of the Faculty of Engineering, The Chinese University of Hong Kong,'' Master Thesis, M.Phil., Information Engineering, The Chinese University of Hong Kong, 1994
 
T. J. Koo, supervised by T. C. Choy
Micro-controller Based Controller for the Electrical Wheelchair
Bachelor Thesis, B.Eng., Electronic Engineering, The Chinese University of Hong Kong, 1992

Journal Paper
 
Y. Zou, X. Qin, Z. Wang, T. J. Koo
Embedded Computing Platform for Autonomous Vehicles
Journal of System Simulation, Regular Issue, 2009 (in Chinese).

Y. He, X. Qin, J. Chen, L. Song , T. J. Koo
Code-Generation for Autonomous Vehicles based on Ptolemy II
Journal of System Simulation, Regular Issue, 2009 (in Chinese).

T. J. Koo, R. Li, S. Yang
Hybrid Systems Based Modeling and Analysis of Aircraft Control Systems
Journal of System Simulation, Special Issue on CGNCC2008, 2009 (in Chinese).

T. J. Koo, M. M. Quottrup1, C. A. Clifton, R. Izadi-Zamanabadi, T. Bak
Framework for Multi-robot Motion Planning and Coordination
In preparation.

J. Xu, T. J. Koo and Z. Li
Planning of Multifingered Finger Gaits using Rapidly-exploring Random Trees
Submitted to Autonomous Robots, Springer, September, 2008.

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.


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


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.

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.
 
Book Chapter

蔡伟鸿, 于津, 李新, 屈建勤, 熊智, 谷德权
基于EIP—CDIO理念的计算科学课程体系设计
第十届全国高校计算机系主任论坛专辑,清华大学出版社, 2007.

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.

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

Matthew Senesky, Gabriel Eirea, and T. John Koo
Hybrid Modelling and Control of Power Electronics
Hybrid Systems: Computation and Control April,  Lecture Notes in Computer Science, Vol. 2623, pp. 450-465, Springer-Verlag, 2003.

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.

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.
 
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.
 
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.
 
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.
 
O. Shakernia, Y. Ma, T. J. Koo, and S. Sastry
Landing an Umanned Air Vehicle: Vision Based Motion Estimation and Nonlinear Control
Asian Journal of Control, Vol. 1, No.3, pp. 128-145, September 1999.
 
M. Egerstedt, T. J. Koo, F. Hoffmann, 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-Verlag, 1999.
 
F. Hoffmann, T. J. Koo, O. Shakernia
Evolutionary Design of a Helicopter Autopilot
Advances in Soft Computing: Engineering Design and Manufacturing, pp. 201-214, Springer-Verlag, 1999.
 
T. J. Koo
Adaptive Fuzzy Controller with Model-following Capability
The Future Directions of Fuzzy Theory and Systems, Chapter 9, World Scientific, 1995.
 
 
Conference Paper

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.

T. John Koo Zhi Xiong Jianqin 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.

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.

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.

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

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

T. J. Koo
Algorithmic Approach for the Design and Analysis of High-Confidence Medical Device Systems

High Confidence Medical Device Software and Systems (HCMDSS) Workshop, Philadelphia, June 2-3, 2005.

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

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.

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.

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

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.

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.

T. J. Koo
Hierarchical System Architecture for Multi-Agent Multi-Modal Systems
In Proceedings of IEEE Conference on Decision and Control, Orlando, FL, December 2001.

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, FL, December 2001.

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.

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.

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.

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

Omid Shakernia, Yi Ma, John Koo, Joao Hespanha, Shankar Sastry
Vision Guided Landing of an Unmanned Air Vehicle
In Proceedings of IEEE Conference on Decision and Control, Phoenix, December 1999.

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

M.Egerstedt, 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.

T. J. Koo, 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.

T. J. Koo, B. Sinopoli, A. Sangiovanni-Vincentelli, 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.

T. J. Koo, D. H. Shim, O. Shakernia, B. Sinopoli, Y. Ma, F. Hoffmann, S. Sastry
Hierarchical Hybrid System Design on Berkeley UAV
International Aerial Robotics Competition, Richland, Washington, USA, August 1998.

T. J. Koo, S. Sastry
Output Tracking Control Design of a Helicopter Model Based on Approximate Linearization
In Proceedings of IEEE Conference on Decision and Control, Florida, December 1998.

H. Shim, T. J. Koo, F. Hoffmann, S. Sastry
A Comprehensive Study on Control Design of Autonomous Helicopter
In Proceedings of IEEE Conference on Decision and Control, Florida, December 1998.

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, Septemeber 1998.

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

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

K. S. Mostov, A. A. Soloviev, 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.

T. J. Koo
Construction of Fuzzy Linguistic Model
In Proceedings of IEEE Conference on Control and Decision, Kobe, Japan, 1996.

T. J. Koo
Model Reference Adaptive Fuzzy Control of Robot Manipulator
In Proceedings of IEEE Conference on Systems, Man and Cybernetics, Vancouver, 1995.

T. J. Koo
Adaptive Fuzzy Manipulator Control
In Proceedings of First Asian Fuzzy Systems Symposium, Singapore, 1993.

T. J. Koo, T. C. Choy
An Electric Wheelchair with Special Features
In Proceedings of International Conference on RESNA, Toronto, 1992 .

 

Poster

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.

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 (HSCC'06), Santa Barbara, California, March 2006.

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.

 

   All rights reserved.