中国科学院深圳先进技术研究院导师简况表
导师
谷德权/
性
姓名
T. John Koo
别
专业
计算机应用技术
名称
嵌入式软件技术
所在
单元
招生
专业
男
嵌入式系统研究中心
职称
中心主任/研究员
博导 □硕导
导师类别
是否兼职
□是
否
□物理化学（含化学物理）□生物化学与分子生物学□信号与信
息处理□模式识别与智能系统计算机应用技术□材料工程□
电子与通信工程□控制工程□计算机技术□生物工程
研究
方向
嵌入式软件系统、混成系统、软件模型
1. 基于模型的嵌入式软件系统设计基础理论研究，国家自然科学基金会面上项目，
在研
课题
项目主持人
2. 分布式能源管理系统与集成技术创作的基本理论，日本科学技术振兴机构
/Japan Science and Technology Agency (JST)-CREST，国际合作者
谷德权/T. John Koo，中国科学院深圳先进技术研究院嵌入式软件系统研究中心
主任、教授。谷教授于 2005 年获得美国国家科学基金会杰出青年教授奖（US
National Science Foundation (NSF) CAREER Award）
，1994 年获得香港中文大学工程
学院颁发的卓越硕士论文奖。2000 年获美国加州大学伯克利分校（University of
California at Berkeley）电机工程哲学博士学位，1994 年获香港中文大学信息工程哲
学硕士学位，1992 年获香港中文大学电子工程工程学士学位。现为国际电机及电子
工程师学会（IEEE）高级会员（Senior Member）、国际计算机学会（ACM）专业会
员及国际科学研究荣誉学会（Sigma Xi）会员。
谷教授先后在加州大学伯克利分校、瑞士苏黎世联邦理工学院、法国国家信息
个人
简历
与自动化研究院任访问教授，同时也是“中欧计算机自动化与应用数学联合研究室
（LIAMA）
” 在嵌入式系统的形式化方法项目、“美国加州大学伯克利分校国家科
学基金混合与嵌入式软件系统研究中心（CHESS）
”和“美国范德堡大学软件集成
系统研究所”的教授。谷博士还担任香港应科院（ASTRI）、香港 ASM 太平洋科技
和美国斯坦福研究所（SRI）的顾问。
谷教授领导的科研项目得到了广泛的资助，包括中国国家自然科学基金委员
会、科技部、中科院、法国国家信息与自动化研究院（INRIA）
、瑞士国家教育及研
究秘书处（SER）
、中瑞科技合作基金（SSSTC）
、日本科学技术振兴机构（JST）
、
李嘉诚基金会等。在美国期间，谷教授领导和参加了多个美国国家科研项目，得到
了国家科技基金（NSF）
、空军研究实验室（AFRL）、军队研究办公室（ARO）
、海
军研究办公室（ONR）
、国防部先进项目研究局（DARPA）的资助。谷教授和工业
界在嵌入式软件系统方面有多年合作，合作伙伴包括中国一汽、ASM 太平洋科技、
QNX、英特尔、LMS、香港应科院、波音、诺斯罗普•格鲁曼、福特、通用汽车、
戴姆勒克莱斯勒、霍尼韦尔和联合科技。
谷教授的研究工作在学术界得到了高度认可，多次受邀作为高级专家参加了美
国及欧盟在“高可信软件与系统（High Confidence Software and Systems (HCSS) ）
”
和“赛博物理系统（Cyber-Physical Systems (CPS)）
”领域的国家 级战略会议。谷教
授还参与编写了美国联邦政府给美国总统的报告“高可信医疗器械 - 21 世纪医疗健
康的赛博物理系统”
，发布在白宫网站上。IEEE Press 出版的“Software-Enabled
Control: Information Technology for Dynamical Systems”一书收录了谷教授在混合系
统方面的研究工作。谷教授还是美国国家科技基金“赛博物理系统（CPS）”的项目
评审委员会委员，并担任过国际赛博物理系统年度大会“2012CPS Week”的工业主
席。谷教授在嵌入式软件和混合系统的很多研究成果发表在国际知名学术期刊和学
术会议上，特别是期中包括国际学术期刊 Proceedings of the IEEE（《电气与电子工
程师协会会报》
）关于“嵌入式软件”和“赛博物理系统（CPS）
”的两个里程碑式
特刊“Modeling and Design of Embedded Software” and “Cyber-Physical Systems”
(在 IEEE 二百多种核心期刊中排名第一)。
主要奖励：
1． 美国国家科学基金会 杰出青年教授奖（National Science Foundation Faculty
Early Career (CAREER) Development Award），Computation Platform for the
Design of Hybrid Systems 项目，2005 年
2． 香港中文大学工程学院颁发的卓越硕士论文奖，1994 年
科研成果：
主要
科研
成果
及所
获荣
誉
A. THESES
1. T.J. Koo, “Hybrid System Design and Embedded Controller Synthesis for
Multi-Modal Control,” Ph.D. Thesis, Department of Electrical Engineering and
Computer Sciences, University of California at Berkeley, Berkeley, CA, 2000.
2. T. J. Koo, “Design of Stable Adaptive Fuzzy Control,” M.Phil. Thesis, Department
of Information Engineering, The Chinese University of Hong Kong, Hong Kong,
1994.
3. T. J. Koo, “Micro-controller Based Controller for the Electrical Wheelchair,”
B.Eng. Thesis, Department of Electronic Engineering, The Chinese University of
Hong Kong, Hong Kong, 1992.
B. GOVERNMENT REPORTS
“High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health
Care,” A Research and Development Needs Report, High-Confidence Software
and Systems (HSCC) Coordinating Group of the Networking and Information
Technology Research and Development (NITRD) Program, U.S. Federal
Government, February 2009 (as one of the invited participants
and contributors).
C. JOURNAL PAPERS
1. T. J. Koo, M. M. Quottrup, C. A. Clifton, R. Izadi-Zamanabadi, T. Bak,
“A Framework for Multi-Robot Motion Planning from Temporal Logic Specifications,”
SCIENCE CHINA Information Sciences, Vol.55, No.7, pp. 1675 - 1692, July
2012.
2. Y. Zou, X. Qin, Z. Wang, T. J. Koo, “Embedded Computing Platform for
Autonomous Vehicles,” Journal of System Simulation, Vol.24, No.3, pp. 575 C
582, March 2012. (in Chinese).
3. Y. He, X. Qin, J. Chen, L. Song , T. J. Koo, “Code-Generation for Autonomous
Vehicles based on Ptolemy II,” Journal of System Simulation, Vol.24, No.2, pp.
332 - 339, February 2012. (in Chinese).
4. Y. Susuki, T. J. Koo, H. Ebina, T. Yamazaki, T. Ochi, T. Uemura, and
T. Hikihara, “A Hybrid System Approach to the Analysis and Design of Power
Grid Dynamic Performance,” The Proceedings of the IEEE, Special Issue on
Cyber-Physical Systems, Vol.100, No.1, pp. 225 - 239, January 2012.
5. J. Xu, T. J. Koo and Z. Li, “Sampling-based Finger Gaits Planning for
Multifingered Robotic Hand,” Autonomous Robots, Vol.28, No.4, pp. 385 - 402,
Springer, 2010.
6. T. J. Koo, R. Li, S. Yang, “Hybrid Systems Based Modeling and Analysis
of Aircraft Control Systems,” Journal of System Simulation, Vol.20 Suppl., pp.317
- 322, Aug. 2009. (in Chinese).
7. J. Sztipanovits, G. Biswas, K. Frampton, A. Gokhale, L. Howard, G. Karsai,
T. J. Koo, X. Koutsoukos, and D. Schmidt, “Introducing Embedded Software
and Systems Education and Advanced Learning Technology in Engineering
Curriculum,” ACM Transactions of Embedded Computing Systems, Special Issue
on Education, Vol. 4 , No. 3, pp. 549 - 568, August 2005.
8. 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, Special Issue on Modeling
and Design of Embedded Software, Vol. 91, No. 1, pp. 198 - 211, January
2003.
9. 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.
10. 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.
11. 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.
D. BOOK CHAPTERS
1. H. Su, G. Hemingway, K. Chen, and T. J. Koo, “Model-Based Tool-Chain
Infrastructure for Automated Analysis of Embedded Systems,”Fourth International
Symposium on Automated Technology for Veri_cation and Analysis, Lecture Notes
in Computer Science, Vol. 4218, pp.
523-537, Springer-Verlag, 2006.
2. A. Dubey, X. Wu, H. Su, and T. J. Koo, “Computation Platform for Automatic
Analysis of Embedded Software Systems Using Model Based Approach,” Third
International Symposium on Automated Technology for Veri_cation and Analysis,
Lecture Notes in Computer Science, Vol. 3707, pp. 114-128, Springer-Verlag,
2005.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
E. CONFERENCE PAPERS
1. G. Li, R. Zhou, R. Li, W. He, G. Lv and T. J. Koo, “A Case Study on
SDF-Based Code Generation for ECU Software Development,” In the Proceedings
of 35th IEEE Annual Computer Software and Applications Conference Workshops,
Munich, Germany, July, 2011.
2. R. Li, R. Zhou, G. Li, W. He, X. Zhang and T. J. Koo, “A Prototype of
Model-Based Design Tool and Its Application in the Development Process of
Electronic Control Unit,” In the Proceedings of 35th IEEE Annual Computer Software
and Applications Conference Workshops, Munich, Germany, July, 2011.
3. X. Qin, R. Li and T. J. Koo, “Graph based Model Transformation and on
in the Design of Flight Control System,” in the Proceedings of the China Guidance
Guidance Navigation and Control Conference (CGNCC), Shanghai, China,
October, 2010 (in Chinese).
4. Y. He, R. Li, X. Qin, R. Zhou and T. J. Koo, “Heterogeneous Modeling
Simulation and Code Generation for Autonomous Vehicles, ”in the Proceedings
of the China Guidance Navigation and Control Conference (CGNCC), Shanghai,
China, October, 2010 (in Chinese).
5. 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.
6. Y. Zou, X. Qin, Z. Wang and T. J. Koo, “Embedded Computing Platform
for Autonomous Vehicles,” in the Proceedings of the China Guidance Guidance
Navigation and Control Conference (CGNCC), Beijing, China, November, 2009
(in Chinese).
7. Y. He, X. Qin, J. Chen, L. Song and T. J. Koo, “Code-Generation for
Autonomous Vehicles based on Ptolemy II,” in the Proceedings of the China
Guidance Guidance Navigation and Control Conference (CGNCC), Beijing, China,
November, 2009 (in Chinese).
8. T. J. Koo, R. Li and S. Yang, “Hybrid Systems Based Modeling and Analysis
of Aircraft
Control Systems,” in the Proceedings of the China Guidance Guidance Navigation
and Control Conference (CGNCC), Xian, China, November, 2008 (in Chinese).
9. T. J. Koo, Z. Xiong and 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, 2008.
10. 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-November, 2007.
11. 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), Beijing, China, July, 2007.
12. H. Su and T. J. Koo, “A Computational Approach for Estimating Stability
Regions,” in the Proceedings of IEEE International Symposium on Computer-Aided
Control Systems Design, Munich, Germany, October 2006.
13. T. J. Koo and C. A. Clifton, “Cascaded Control Design for a Quadrotor
Aerial Robot,” in the Proceedings of the Asian Control Conference, Bali, Indonesia,
July 2006.
14. N. Kandasamy, F. Aloul, T. J. Koo, “Sensor Selection and Placement for
Failure Diagnosis in Networked Aerial Robots, ” in the Proceedings of the IEEE
International Conference on Robotics and Automation, Orlando, Florida, May 15-19,
2006.
15. 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.
16. 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.
17. 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.
18. S. Zelinski, T. J. Koo, and S. Sastry, “Optimization-based Formation
Reconfiguration Planning For Autonomous Vehicles,” in Proceedings of IEEE
International Conference on Robotics and Automation, Taipei, Taiwan, September
2003.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.
38. T. J. Koo, “Construction of Fuzzy Linguistic Model,” in Proceedings of IEEE
Control and Decision Conference, Kobe, Japan, December 1996.
39. 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.
40. T. J. Koo, and T. T.C. Choy, “An Electric Wheelchair with Special Features,”
in Proceedings of RESNA International Conference, Toronto, Canada, June 1992.
其他
邮箱
john.koo@siat.ac.cn
电话
0755-86392387
个人主页
http://sourcedb.siat.cas.cn/zw/zjrc/200911/t20091103_2647106.html
联系
方式
备注
Name
Academic
title
Phone
Resume
T. John Koo
Positions
Professor
E-mail
0755-863923
Personal
87
Website
Director
john.koo@siat.ac.cn
http://sourcedb.siat.cas.cn/yw/zjrc
/200911/t20091103_2647106.htm
l
T. John Koo is Professor and Director of the Center for Embedded Software
Systems, Shenzhen Institutes of Advanced Technology, Chinese Academy of
Sciences, China. Prof. Koo received the US National Science Foundation (NSF)
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 received the
Ph.D. degree in Electrical Engineering from the University of California at Berkeley,
USA, 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, China,
in 1994 and 1992, respectively. He is a Senior Member of IEEE and a Member of
ACM and Sigma Xi.
T. John Koo has been Visiting Professor in INRIA Rennes-Bretagne Atlantique,
France ETH Zurich, Switzerland, and the University of California at Berkeley, USA.
Prof. Koo is Faculty Member of Sino-European Laboratory in Computer Science,
Automation and Applied Mathematics (LIAMA) in the Formal Methods for
Embedded Systems (FORMES) Project. Prof. Koo was Faculty Member of US NSF
ITR Center for Hybrid and Embedded Software Systems (CHESS) at the University
of California at Berkeley, USA, and Institute for Software Integrated Systems (ISIS)
at Vanderbilt University, USA. Prof. Koo was Consultant for Hong Kong Applied
Science and Technology Research Institute (ASTRI), Hong Kong, ASM Pacific
Technology Limited, Hong Kong and Stanford Research Institute (SRI), USA.
T. John Koo has been leading research projects in China funded by National Natural
Science Foundation of China (NSFC), Ministry of Science and Technology (MoST),
Chinese Academy of Sciences (CAS), INRIA of France, State Secretariat for
Education and Research (SER) of Switzerland, Sino-Swiss Science and Technology
Cooperation (SSSTC), Japan Science and Technology Agency (JST) of Japan and Li
Ka Shing Foundation (LKSF) and Hutchison Whampoa Limited. When Prof. Koo
was in US, he led and participated in research projects funded by Nation Science
Foundation (NSF), Air Force Research Laboratory (AFRL), Army Research Office
(ARO), Office of Naval Research (ONR), Defense Advanced Research Projects
Agency (DARPA). T. John Koo been worked closely with the industry in Embedded
Systems for many years and the industrial collaborators include FAW, ASM Pacific,
QNX, Intel, LMS, ASTRI, Boeing, Northrop Grumman, Ford, General Motors,
Daimler-Chrysler, Honeywell and United Technologies.
He has been invited as a leading expert to participate in several US/EU National
Strategic Meetings on High Confidence Software and Systems (HCSS) and
Cyber-Physical Systems (CPS). Prof. Koo made contribution to the US Federal
Government Report to the US President “High-Confidence Medical Devices Cyber-Physical Systems for 21st Century Health Care” presented on the White
House website. Prof. Koo’s work on Hybrid Systems is included in the book
“Software-Enabled Control: Information Technology for Dynamical Systems”
published by IEEE Press. Prof. Koo was a Member of US NSF Review Committee
for CPS. Prof. Koo was the Industrial Chair of 2012 CPS Week, which is the leading
annual conference in CPS. Prof. Koo’s works on Embedded Software and Hybrid
Systems have been published in internationally renowned journals and conferences
including the landmark Special Issues of “The Proceedings of IEEE”: “Modeling and
Design of Embedded Software” and “Cyber-Physical Systems.”
Direction
Embedded Software, Hybrid Systems, Robotics
1.
Development Award ， Computation Platform for the Design of Hybrid
Achievem
ents
Article
US National Science Foundation Faculty Early Career (CAREER)
2.
Systems, US National Science Foundation, 2005.
Distinguished M.Phil. Thesis Award of the Faculty of Engineering, the
Chinese University of Hong Kong, 1994.
A. THESES
1. T.J. Koo, “Hybrid System Design and Embedded Controller Synthesis for
Multi-Modal Control,” Ph.D. Thesis, Department of Electrical Engineering and
Computer Sciences, University of California at Berkeley, Berkeley, CA, 2000.
2. T. J. Koo, “Design of Stable Adaptive Fuzzy Control,” M.Phil. Thesis,
Department of Information Engineering, The Chinese University of Hong Kong,
Hong Kong, 1994.
3. T. J. Koo, “Micro-controller Based Controller for the Electrical Wheelchair,”
B.Eng. Thesis, Department of Electronic Engineering, The Chinese University
of Hong Kong, Hong Kong, 1992.
B. GOVERNMENT REPORTS
“High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century
Health Care,” A Research and Development Needs Report, High-Confidence
Software and Systems (HSCC) Coordinating Group of the Networking and
Information Technology Research and Development (NITRD) Program, U.S.
Federal Government, February 2009 (as one of the invited participants
and contributors).
C. JOURNAL PAPERS
1. T. J. Koo, M. M. Quottrup, C. A. Clifton, R. Izadi-Zamanabadi, T. Bak,
“A Framework for Multi-Robot Motion Planning from Temporal Logic
Specifications,” SCIENCE CHINA Information Sciences, Vol.55, No.7, pp. 1675
- 1692, July 2012.
2. Y. Zou, X. Qin, Z. Wang, T. J. Koo, “Embedded Computing Platform
for Autonomous Vehicles,” Journal of System Simulation, Vol.24, No.3, pp.
575 C 582, March 2012. (in Chinese).
3. Y. He, X. Qin, J. Chen, L. Song , T. J. Koo, “Code-Generation for
Autonomous Vehicles based on Ptolemy II,” Journal of System Simulation,
Vol.24, No.2, pp. 332 - 339, February 2012. (in Chinese).
4. Y. Susuki, T. J. Koo, H. Ebina, T. Yamazaki, T. Ochi, T. Uemura, and
T. Hikihara, “A Hybrid System Approach to the Analysis and Design of Power
Grid Dynamic Performance,” The Proceedings of the IEEE, Special Issue on
Cyber-Physical Systems, Vol.100, No.1, pp. 225 - 239, January 2012.
5. J. Xu, T. J. Koo and Z. Li, “Sampling-based Finger Gaits Planning for
Multifingered Robotic Hand,” Autonomous Robots, Vol.28, No.4, pp. 385 402, Springer, 2010.
6. T. J. Koo, R. Li, S. Yang, “Hybrid Systems Based Modeling and Analysis
of Aircraft Control Systems,” Journal of System Simulation, Vol.20 Suppl.,
pp.317 - 322, Aug. 2009. (in Chinese).
7. J. Sztipanovits, G. Biswas, K. Frampton, A. Gokhale, L. Howard, G.
Karsai, T. J. Koo, X. Koutsoukos, and D. Schmidt, “Introducing Embedded
Software and Systems Education and Advanced Learning Technology in
Engineering Curriculum,” ACM Transactions of Embedded Computing Systems,
Special Issue on Education, Vol. 4 , No. 3, pp. 549 - 568, August 2005.
8. 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, Special
Issue on Modeling and Design of Embedded Software, Vol. 91, No. 1, pp.
198 - 211, January 2003.
9. 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.
10. 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.
11. 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.
D. BOOK CHAPTERS
1. H. Su, G. Hemingway, K. Chen, and T. J. Koo, “Model-Based Tool-Chain
Infrastructure for Automated Analysis of Embedded Systems,”Fourth International
Symposium on Automated Technology for Veri_cation and Analysis, Lecture
Notes in Computer Science, Vol. 4218, pp.
523-537, Springer-Verlag, 2006.
2. A. Dubey, X. Wu, H. Su, and T. J. Koo, “Computation Platform for Automatic
Analysis of Embedded Software Systems Using Model Based Approach,” Third
International Symposium on Automated Technology for Veri_cation and Analysis,
Lecture Notes in Computer Science, Vol. 3707, pp. 114-128, Springer-Verlag,
2005.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
E. CONFERENCE PAPERS
1. G. Li, R. Zhou, R. Li, W. He, G. Lv and T. J. Koo, “A Case Study
on SDF-Based Code Generation for ECU Software Development,” In the
Proceedings of 35th IEEE Annual Computer Software and Applications
Conference Workshops, Munich, Germany, July, 2011.
2. R. Li, R. Zhou, G. Li, W. He, X. Zhang and T. J. Koo, “A Prototype
of Model-Based Design Tool and Its Application in the Development Process
of Electronic Control Unit,” In the Proceedings of 35th IEEE Annual Computer
Software and Applications Conference Workshops, Munich, Germany, July,
2011.
3. X. Qin, R. Li and T. J. Koo, “Graph based Model Transformation and
on in the Design of Flight Control System,” in the Proceedings of the China
Guidance Guidance Navigation and Control Conference (CGNCC), Shanghai,
China, October, 2010 (in Chinese).
4. Y. He, R. Li, X. Qin, R. Zhou and T. J. Koo, “Heterogeneous Modeling
Simulation and Code Generation for Autonomous Vehicles, ”in the Proceedings
of the China Guidance Navigation and Control Conference (CGNCC),
Shanghai, China, October, 2010 (in Chinese).
5. 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.
6. Y. Zou, X. Qin, Z. Wang and T. J. Koo, “Embedded Computing Platform
for Autonomous Vehicles,” in the Proceedings of the China Guidance Guidance
Navigation and Control Conference (CGNCC), Beijing, China, November,
2009 (in Chinese).
7. Y. He, X. Qin, J. Chen, L. Song and T. J. Koo, “Code-Generation for
Autonomous Vehicles based on Ptolemy II,” in the Proceedings of the China
Guidance Guidance Navigation and Control Conference (CGNCC), Beijing,
China, November, 2009 (in Chinese).
8. T. J. Koo, R. Li and S. Yang, “Hybrid Systems Based Modeling and
Analysis of Aircraft
Control Systems,” in the Proceedings of the China Guidance Guidance
Navigation and Control Conference (CGNCC), Xian, China, November, 2008
(in Chinese).
9. T. J. Koo, Z. Xiong and 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,
2008.
10. 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-November, 2007.
11. 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), Beijing, China, July, 2007.
12. H. Su and T. J. Koo, “A Computational Approach for Estimating Stability
Regions,” in the Proceedings of IEEE International Symposium on
Computer-Aided Control Systems Design, Munich, Germany, October 2006.
13. T. J. Koo and C. A. Clifton, “Cascaded Control Design for a Quadrotor
Aerial Robot,” in the Proceedings of the Asian Control Conference, Bali,
Indonesia, July 2006.
14. N. Kandasamy, F. Aloul, T. J. Koo, “Sensor Selection and Placement
for Failure Diagnosis in Networked Aerial Robots, ” in the Proceedings of
the IEEE International Conference on Robotics and Automation, Orlando, Florida,
May 15-19, 2006.
15. 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.
16. 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.
17. 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.
18. S. Zelinski, T. J. Koo, and S. Sastry, “Optimization-based Formation
Reconfiguration Planning For Autonomous Vehicles,” in Proceedings of IEEE
International Conference on Robotics and Automation, Taipei, Taiwan,
September 2003.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.
38. T. J. Koo, “Construction of Fuzzy Linguistic Model,” in Proceedings of
IEEE Control and Decision Conference, Kobe, Japan, December 1996.
39. 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.
40. T. J. Koo, and T. T.C. Choy, “An Electric Wheelchair with Special
Features,” in Proceedings of RESNA International Conference, Toronto,
Canada, June 1992.