基本信息
谷德权 男 博导 深圳先进技术研究院
电子邮件：john.koo@siat.ac.cn
通信地址：深圳市南山区西丽深圳大学城学苑大道1068号
邮政编码：518055
电子邮件：john.koo@siat.ac.cn
通信地址：深圳市南山区西丽深圳大学城学苑大道1068号
邮政编码：518055
研究领域
嵌入式软件，混成系统，非线性控制
招生信息
招生专业
081203-计算机应用技术
085211-计算机技术
085211-计算机技术
招生方向
嵌入式软件
混成系统
非线性控制
混成系统
非线性控制
教育背景
1995-08--2000-12 美国加州大学伯克利分校 机电工程专业博士学位
1992-07--1994-08 香港中文大学 信息工程硕士学位
1992-07--1994-08 香港中文大学 信息工程硕士学位
学历
-- 研究生
学位
-- 博士
工作经历
工作简历
2009-10--今 中国科学院深圳先进技术研究院 中心主任/嵌入式软件系统研究中心
2006-06--2009-10 汕头大学 清华大学-汕头大学下一代互联网技术联合实验室主任、教育部智能制造技术重点实验室研究主任、汕头大学-英
2003-07--2006-05 美国范德堡大学 (Vanderbilt University) 嵌入式计算系统实验室主任、电机工程与计算机科学系助理教授、博士生导师。
2001-07--2003-07 美国加州大学伯克利分校(University of California at Berkeley) 电机工程与计算机科学系客座教授
2000-06--2001-06 美国宾夕凡尼亚大学(University of Pennsylvania) 电机工程系博士后研究员
2006-06--2009-10 汕头大学 清华大学-汕头大学下一代互联网技术联合实验室主任、教育部智能制造技术重点实验室研究主任、汕头大学-英
2003-07--2006-05 美国范德堡大学 (Vanderbilt University) 嵌入式计算系统实验室主任、电机工程与计算机科学系助理教授、博士生导师。
2001-07--2003-07 美国加州大学伯克利分校(University of California at Berkeley) 电机工程与计算机科学系客座教授
2000-06--2001-06 美国宾夕凡尼亚大学(University of Pennsylvania) 电机工程系博士后研究员
社会兼职
2010-11--今 7. LIAMA(Sino French Lab in Computer Science, Automation and Applied Mathematics/中法信息、自动化与应用数学联合实验室)，教授会员
2010-11--今 11. 香港应用科技研究院(Hong Kong Applied Science and Technology Research Institute (ASTRI))，顾问
2010-07--今 8. 丹麦Aalborg大学博士答辩委员会，委员
2008-07--今 5. 香港科研基金委员会(Research Grant Council)，评审委员
2008-07--今 6. 美国加州大学伯克利分校CHESS(Center for Hybrid and Embedded Software Systems)，教授会员
2007-08--今 2. 国际计算机学会（ACM），专业会员
2007-07--今 4. 美国国家科学基金会(National Science Foundation)，评审委员
2007-07--今 10. 香港ASM太平洋科技有限公司，顾问
2007-07--今 1. 国际电机及电子工程师学会(IEEE)，高级会员
2006-08--今 9.香港大学博士答辩委员会，委员
2006-08--今 3. 国际科学研究荣誉学会(Sigma Xi) ，会员
2010-11--今 11. 香港应用科技研究院(Hong Kong Applied Science and Technology Research Institute (ASTRI))，顾问
2010-07--今 8. 丹麦Aalborg大学博士答辩委员会，委员
2008-07--今 5. 香港科研基金委员会(Research Grant Council)，评审委员
2008-07--今 6. 美国加州大学伯克利分校CHESS(Center for Hybrid and Embedded Software Systems)，教授会员
2007-08--今 2. 国际计算机学会（ACM），专业会员
2007-07--今 4. 美国国家科学基金会(National Science Foundation)，评审委员
2007-07--今 10. 香港ASM太平洋科技有限公司，顾问
2007-07--今 1. 国际电机及电子工程师学会(IEEE)，高级会员
2006-08--今 9.香港大学博士答辩委员会，委员
2006-08--今 3. 国际科学研究荣誉学会(Sigma Xi) ，会员
教授课程
Embedded System、 Hybrid Systems
专利与奖励
奖励信息
（1） 美国国家科学基金会杰出青年教授奖(NSF CAREER Award)，国家级，2005
出版信息
发表论文
（1） 自主飞行器的异构系统建模、仿真与代码生成，系统仿真学报 ，2012，通讯作者
（2） A framework for multi-robot motion planning from temporal logic specifications，SCIENCE CHINA Information Sciences，2012，第1作者
（3） 基于图的模型转换在飞行控制系统设计中的应用，系统仿真学报 ，2012，通讯作者
（4） A Hybrid System Approach to the Analysis and Design of Power Grid Dynamic Performance，Proceedings of the IEEE，2012，通讯作者
（5） A Case Study on SDF-based Code Generation for ECU Software Development，The 35th Annual IEEE Computer Software and Applications Conference，2011，通讯作者
（6） A Prototype of Model-Based Design Tool and its Application in the Development Process of Electronic Control Unit，The 35th Annual IEEE Computer Software and Applications Conference，2011，通讯作者
（7） 基于图的模型转换在飞行控制系统设计中的应用，中国制导、导航与控制学术会议，2010，通讯作者
（8） 自主飞行器的异构系统建模、仿真与代码生成，中国制导、导航与控制学术会议，2010，通讯作者
（9） Planning of Multi-fingered Finger Gaits using Rapidly-exploring Random Trees，Autonomous Robots，2010，第2作者
（10） 基于混合系统的飞机控制系统建模与分析，系统仿真学报，2009，第1作者
（11） Reachability Computation for Power System Transient Stability，2009 International Symposium on Nonlinear Theory and its Applications (NOLTA)，2009，第1作者
（12） Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems，Automated Technology for Verification and Analysis (ATVA), Lecture Notes in Computer Science，2006，第4作者
（13） Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach，Automated Technology for Verification and Analysis (ATVA), Lecture Notes in Computer Science，2005，第3作者
（14） Introducing Embedded Software and Systems Education and Advanced Learning Technology in Engineering Curriculum，ACM Transactions of Embedded Computing Systems，2005，第5作者
（15） Hybrid Modelling and Control of Power Electronics，Hybrid Systems: Computation and Control (HSCC), Lecture Notes in Computer Science，2003，通讯作者
（16） Platform-Based Embedded Software Design and System Integration for Autonomous Vehicles，The Proceedings of the IEEE，2003，第4作者
（17） Platform-Based Embedded Software Design for Multi-Vehicle Multi-Modal Embedded Software，Embedded Software (EMSOFT), Lecture Notes in Computer Science,，2002，第1作者
（18） Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-Modal Systems ，Hybrid Systems: Computation and Control, Lecture Notes in Computer Science ，2002，第1作者
（19） Multi-Modal Control of Constrained Nonlinear Systems，Software-Enabled Control: Information Technology for Dynamical Systems, IEEE Press-Wiley，2002，第1作者
（20） Mode Switching Synthesis for Reachability Specifications，Hybrid Systems: Computation and Control (HSCC), Lecture Notes in Computer Science，2001，第1作者
（21） Stable Model Reference Adaptive Fuzzy Control of a Class of Nonlinear Systems，IEEE Transactions on Fuzzy Systems，2001，第1作者
（22） Hierarchical Approach for Design of Multi-Vehicle Multi-Modal Embedded Software，Embedded Software (EMSOFT), Lecture Notes in Computer Science，2001，第1作者
（23） Landing an Unmanned Air Vehicle: Vision Based Motion Estimation and Nonlinear Control，Asian Journal of Control，1999，第3作者
（24） Analysis of a Class of Fuzzy Controllers，International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems，1994，第1作者
（2） A framework for multi-robot motion planning from temporal logic specifications，SCIENCE CHINA Information Sciences，2012，第1作者
（3） 基于图的模型转换在飞行控制系统设计中的应用，系统仿真学报 ，2012，通讯作者
（4） A Hybrid System Approach to the Analysis and Design of Power Grid Dynamic Performance，Proceedings of the IEEE，2012，通讯作者
（5） A Case Study on SDF-based Code Generation for ECU Software Development，The 35th Annual IEEE Computer Software and Applications Conference，2011，通讯作者
（6） A Prototype of Model-Based Design Tool and its Application in the Development Process of Electronic Control Unit，The 35th Annual IEEE Computer Software and Applications Conference，2011，通讯作者
（7） 基于图的模型转换在飞行控制系统设计中的应用，中国制导、导航与控制学术会议，2010，通讯作者
（8） 自主飞行器的异构系统建模、仿真与代码生成，中国制导、导航与控制学术会议，2010，通讯作者
（9） Planning of Multi-fingered Finger Gaits using Rapidly-exploring Random Trees，Autonomous Robots，2010，第2作者
（10） 基于混合系统的飞机控制系统建模与分析，系统仿真学报，2009，第1作者
（11） Reachability Computation for Power System Transient Stability，2009 International Symposium on Nonlinear Theory and its Applications (NOLTA)，2009，第1作者
（12） Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems，Automated Technology for Verification and Analysis (ATVA), Lecture Notes in Computer Science，2006，第4作者
（13） Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach，Automated Technology for Verification and Analysis (ATVA), Lecture Notes in Computer Science，2005，第3作者
（14） Introducing Embedded Software and Systems Education and Advanced Learning Technology in Engineering Curriculum，ACM Transactions of Embedded Computing Systems，2005，第5作者
（15） Hybrid Modelling and Control of Power Electronics，Hybrid Systems: Computation and Control (HSCC), Lecture Notes in Computer Science，2003，通讯作者
（16） Platform-Based Embedded Software Design and System Integration for Autonomous Vehicles，The Proceedings of the IEEE，2003，第4作者
（17） Platform-Based Embedded Software Design for Multi-Vehicle Multi-Modal Embedded Software，Embedded Software (EMSOFT), Lecture Notes in Computer Science,，2002，第1作者
（18） Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-Modal Systems ，Hybrid Systems: Computation and Control, Lecture Notes in Computer Science ，2002，第1作者
（19） Multi-Modal Control of Constrained Nonlinear Systems，Software-Enabled Control: Information Technology for Dynamical Systems, IEEE Press-Wiley，2002，第1作者
（20） Mode Switching Synthesis for Reachability Specifications，Hybrid Systems: Computation and Control (HSCC), Lecture Notes in Computer Science，2001，第1作者
（21） Stable Model Reference Adaptive Fuzzy Control of a Class of Nonlinear Systems，IEEE Transactions on Fuzzy Systems，2001，第1作者
（22） Hierarchical Approach for Design of Multi-Vehicle Multi-Modal Embedded Software，Embedded Software (EMSOFT), Lecture Notes in Computer Science，2001，第1作者
（23） Landing an Unmanned Air Vehicle: Vision Based Motion Estimation and Nonlinear Control，Asian Journal of Control，1999，第3作者
（24） Analysis of a Class of Fuzzy Controllers，International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems，1994，第1作者
科研活动
科研项目
（1） 中国科学院外国专家特聘研究员Jean Pirrer Talpin，主持，国家级，2012-09--2013-08
（2） 基于模型的嵌入式软件系统设计基础理论研究，主持，国家级，2012-01--2015-12
（3） Real-Time Computation and Optimization for Network，主持，国家级，2011-10--2012-09
（4） 基于模型的一体化嵌入式软件系统设计，主持，市地级，2011-05--2012-12
（2） 基于模型的嵌入式软件系统设计基础理论研究，主持，国家级，2012-01--2015-12
（3） Real-Time Computation and Optimization for Network，主持，国家级，2011-10--2012-09
（4） 基于模型的一体化嵌入式软件系统设计，主持，市地级，2011-05--2012-12
指导学生
现指导学生
刘阳阳 硕士研究生 081203-计算机应用技术
吴强 博士研究生 081203-计算机应用技术
周榕 博士研究生 081203-计算机应用技术
李睿 博士研究生 081203-计算机应用技术