导师姓名
谷德权
性别
男
职称
中心主任/研究员


专业名称
计算机应用技术
嵌入式软件技术
导师类别
þ博导□硕导

所在单元
嵌入式系统研究中心
是否兼职
□是þ否

招生专业
□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统þ计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程

研究方向

嵌入式软件系统、混成系统、软件模型

在研课题
1.基于模型的嵌入式软件系统设计基础理论研究，国家自然科学基金会面上项目，项目主持人
2.RealTimeComputation&OptimizationforNetworkedCameraSurveillance，瑞士联邦政府中瑞科技合作基金NanoTera项目，项目主持人
3.基于模型的一体化嵌入式软件系统设计，深圳市杰青项目，项目主持人
4.高可信嵌入式软件系统设计与分析，中国科学院深圳先进技术研究院院设项目，项目主持人

个人简历
谷德权(T.JohnKoo),现任中国科学院深圳先进技术研究院嵌入式软件系统研究中心主任、研究员、博士生导师。2000年获美国加州大学伯克利分校(UniversityofCaliforniaatBerkeley)电机工程哲学博士学位，1994年获香港中文大学信息工程哲学硕士学位，1992年获香港中文大学电子工程工程学士学位。1994年获得香港中文大学工程学院颁发的卓越硕士论文奖，2005年获得美国国家科学基金会杰出青年教授奖(NationalScienceFoundationFacultyEarlyCareer(CAREER)DevelopmentAward)。2009年任NSFCPS(Cyber-PhysicalSystems/赛博-实物系统)项目评审委员。
现为美国加州大学伯克利分校CHESS(CenterforHybridandEmbeddedSoftwareSystems/混成及嵌入式软件系统中心)及LIAMA(SinoFrenchLabinComputerScience,AutomationandAppliedMathematics/中法信息、自动化与应用数学联合实验室)教授会员(FacultyMember)，香港应用科技研究院(HongKongAppliedScienceandTechnologyResearchInstitute(ASTRI))研究顾问，国际电机及电子工程师学会(IEEE)高级会员(SeniorMember)，国际计算机学会(ACM)专业会员及国际科学研究荣誉学会(SigmaXi)会员。瑞士苏黎世联邦理工学院(ETHZürich)及法国国家信息及自动化研究院(INRIA)访问学者。
曾担任美国宾夕凡尼亚大学(UniversityofPennsylvania)博士后研究员、美国加州大学伯克利分校客座教授(VisitingFaculty)研究员、美国范德堡大学(VanderbiltUniversity)嵌入式计算系统实验室主任及软件集成系统研究所(InstituteofSoftwareIntegratedSystems)教授会员；曾兼任加州硅谷史坦福国际研究所(StanfordResearchInstitute)、香港ASM太平洋科技有限公司的研究顾问。
在美国期间，先后主持、协助主持或参加包括美国国家科学基金科研项目、美国国防部空军研究实验室(AirForceResearchLaboratory(AFRL))、陆军研究办公室(ArmyResearchOffice(ARO))、海军研究办公室(OfficeofNavalResearch(ONR))、高级研究计划局(DefenseAdvancedResearchProjectsAgency(DARPA))资助的科研项目(其中包括InformationTechnologyResearch(ITR),美国国家科学基金会杰出青年教授奖(NSFCAREERAward),Software-EnabledControl(SEC),Model-BasedIntegrationofEmbeddedSystems(MoBIES))等十余项。与多家飞机和汽车公司及其设备供应商如Boeing,Ford,GeneralMotors,Daimler-Chrysler,Honeywell,UnitedTechnologies等进行深入的科研合作。回国后，先后主持、协助主持或参加包括国家自然科学基金会项目、国家科技部项目、广东省自然科学基金会项目以及李嘉诚基金会项目等多项。累计主持过相关科研项目7项，支持金额1028万元；参加过相关科研项目3项，支持金额10905万元。
多次获邀出席多个由美国NationalCoordinationOffice(NCO)forNetworkingandInformationTechnologyResearchandDevelopment(NITRD)及欧盟举办的与高可信软件与系统(HighConfidenceSoftwareandSystems,HCSS)及Cyber-PhysicalSystems(CPS)相关的国家级战略性专家研讨会：NationalScienceFoundationSponsoredWorkshop:BridgingtheCyber,Physical,andSocialWorlds,KansasCity,May2009；Cyber-PhysicalSystems(CPS)PanelReview,NationalScienceFoundation,Arlington,Virginia,May2009；JointUS-EU-TEKESWorkshop:LongTermChallengesinHighConfidenceComposableEmbeddedSystems,Helsinki,Finland,June2006；NationalMeetingon“BeyondSCADA:NetworkedEmbeddedControlforCyber-PhysicalSystems”(HCSS-NEC4CPS),Pittsburgh,Pennsylvania,USA,November2006；HighConfidenceMedicalDeviceSoftwareandSystems(HCMDSS)Workshop,Philadelphia,PA,June2005。
曾任CPSWeek工业主任、《EuropeanControlConference》副编、AsianJournalofControl(特辑)客座主编、NonlinearTheoryandItsApplications,IEICE(特辑)客座副编，数十次担任《IEEEConferenceonDecisionandControl》、《WorkshoponHybridSystems:ComputationandControl》、《IEEEComputerSoftwareandApplicationsConference》等重要国际学术会议程序委员会委员。在CPS、嵌入式系统、混成系统、多模态控制、软件开发环境和构件技术等方面均有深入研究和实践。先后在《IEEEProceedings》、《IEEETransactions》、《ACMTransactions》、《AutonomousRobots》、《HybridSystems:ComputationandControl,LNCS》、《EmbeddedSoftware,LNCS》、《AutomatedTechnologyforVerificationandAnalysis,LNCS》等国内外重要刊物与会议上发表学术论文60多篇，其中53篇于SCI/EI/ISTP收录的国内外重要学术刊物，他引论文分布在80种国际学术刊物。其中关于多模态控制理论的部分研究工作被写入IEEE出版社出版的《Software-EnabledControl》。

主要科研成果及所获荣誉
主要奖励：
1．美国国家科学基金会杰出青年教授奖（NationalScienceFoundationFacultyEarlyCareer(CAREER)DevelopmentAward），ComputationPlatformfortheDesignofHybridSystems项目，2005年

国际刊物论文
1.T.J.Koo,R.Li,M.M.Quottrup,C.A.Clifton,R.Izadi-ZamanabadiandT.Bak.AFrameworkforMulti-RobotMotionPlanningfromTemporalLogicSpecifications.SCIENCECHINAInformationSciences,Springer,2012.
2.Y.Susuki,T.J.Koo,H.Ebina,T.Yamazaki,T.Ochi,T.UemuraandT.Hikihara.AHybridSystemApproachtotheAnalysisandDesignofPowerGridDynamicPerformance,Vol.100,No.1,pp.225-239,ProceedingsoftheIEEE,2012.
3.J.Xu,T.J.KooandZ.Li.PlanningofMulti-fingeredFingerGaitsusingRapidly-exploringRandomTrees,Vol.28,No.4,pp.385-402,AutonomousRobots,Springer,2010.
4.H.Su,G.Hemingway,K.ChenandT.J.Koo,“Model-BasedTool-ChainInfrastructureforAutomatedAnalysisofEmbeddedSystems,”ForthInternationalSymposiumonAutomatedTechnologyforVerificationandAnalysis(ATVA),LectureNotesinComputerScience,Vol.4218,pp.523-537,Springer-Verlag,Beijing,China,October23-26,2006.
5.J.Sztipanovits,G.Biswas,K.Frampton,A.Gokhale,L.Howard,G.Karsai,T.J.Koo,X.Koutsoukos,D.Schmidt,“IntroducingEmbeddedSoftwareandSystemsEducationandAdvancedLearningTechnologyinEngineeringCurriculum,”ACMTransactionsonEmbeddedComputingSystems,SpecialIssueonEducation,2005.
6.Dubey,X.Wu,H.Su,T.J.Koo,”ComputationPlatformforAutomaticAnalysisofEmbeddedSoftwareSystemsUsingModelBasedApproach,“ThirdInternationalSymposiumonAutomatedTechnologyforVerificationandAnalysis(ATVA),LectureNotesinComputerScience,Vol.3707,pp.114-128,Springer-Verlag,Taipei,Taiwan,October4-7,2005.
7.M.Senesky,G.Eirea,andT.J.Koo,“HybridModellingandControlofPowerElectronics,”HybridSystems:ComputationandControl,LectureNotesinComputerScience,Springer-Verlag,2003.
8.B.Horowitz,J.Liebman,C.Ma,T.J.Koo,A.Sangiovanni-Vincentelli,andS.Sastry,“Platform-BasedEmbeddedSoftwareDesignandSystemIntegrationforAutonomousVehicles,”TheProceedingsoftheIEEE,Vol.91,No.1,January2003.
9.T.J.Koo,J.Liebman,C.Ma,B.Horowitz,A.Sangiovanni-Vincentelli,andS.Sastry,“Platform-BasedEmbeddedSoftwareDesignforMulti-VehicleMulti-ModalEmbeddedSoftware,”EmbeddedSoftware,AlbertoSangiovanni-VincentelliandJosephSifakis(Eds.),LectureNotesinComputerScience,Springer-Verlag,2002.
10.T.J.Koo,G.J.Pappas,andS.Sastry,“Multi-ModalControlofConstrainedNonlinearSystems,”Software-EnabledControl:InformationTechnologyforDynamicalSystems,TariqSamadandGaryBalas(Eds.),IEEEPress,2002.
11.T.J.Koo,S.Sastry,“BisimulationBasedHierarchicalSystemArchitectureforSingle-AgentMulti-ModalSystems,”HybridSystems:ComputationandControl,LectureNotesinComputerScience,Vol.2289,pp.281-293,Springer-Verlag,2002.
12.T.J.Koo,“StableModelReferenceAdaptiveFuzzyControlofaClassofNonlinearSystems,”IEEETransactionsonFuzzySystems,Vol.9,No.4,pp.624-636,August2001.
13.T.J.Koo,J.Liebman,C.Ma,andS.Sastry,“HierarchicalApproachforDesignofMulti-VehicleMulti-ModalEmbeddedSoftware,”EmbeddedSoftware,T.A.HenzingerandC.M.Kirsch(Eds.),LectureNotesinComputerScience,Vol.2211,pp.344-360,Springer-Verlag,2001.
14.T.J.Koo,G.J.Pappas,andS.Sastry,“ModeSwitchingSynthesisforReachabilitySpecifications,”HybridSystems:ComputationandControl,M.D.DiBenedettoandA.Sangiovanni-Vincentelli(Eds.),LectureNotesinComputerScience,Vol.2034,pp.333-346,Springer-Verlag,2001.
15.O.Shakernia,Y.Ma,T.J.Koo,andS.Sastry,“LandinganUnmannedAirVehicle:VisionBasedMotionEstimationandNonlinearControl,”AsianJournalofControl,Vol.1,No.3,pp.128-145,September1999.
16.M.Egerstedt,T.J.Koo,F.Hoffmann,andS.Sastry,“PathPlanningandFlightControllerSchedulingforanAutonomousHelicopter,”HybridSystems:ComputationandControl,F.W.VaandragerandJ.H.vanSchuppen(Eds.),LectureNotesinComputerScience,Vol.1569,pp.91-102,Springer,1999.
17.F.Hoffmann,T.J.Koo,andO.Shakernia,“EvolutionaryDesignofaHelicopterAutopilot,”AdvancesinSoftComputing-EngineeringDesignandManufacturing,Part3:IntelligentControl,pp.201-214,Springer-Verlag,1999.
18.T.J.Koo,“AdaptiveFuzzyControllerwithModel-followingCapability,”TheFutureDirectionsofFuzzyTheoryandSystems,Ch.9,WorldScientificPublishingCo.Pte.Ltd.,1995.
19.T.J.Koo,“AnalysisofaClassofFuzzyControllers,”InternationalJournalofUncertainty,FuzzinessandKnowledge-BasedSystems,Vol.2,No.3,pp.257-264,September1994.

国际会议论文
1.G.Li,R.Zhou,R.Li,W.He,G.LvandT.J.Koo,“ACaseStudyonSDF-BasedCodeGenerationforECUSoftwareDevelopment”,IntheProceedingsof35thIEEEAnnualComputerSoftwareandApplicationsConferenceWorkshops,Munich,Germany,July,2011.
2.R.Li,R.Zhou,G.Li,W.He,X.ZhangandT.J.Koo,“APrototypeofModel-BasedDesignToolandItsApplicationintheDevelopmentProcessofElectronicControlUnit”,IntheProceedingsof35thIEEEAnnualComputerSoftwareandApplicationsConferenceWorkshops,Munich,Germany,July,2011.
3.T.J.Koo,X.Qin,S.YangandY.Susuki,“ReachabilityComputationforPowerSystemTransientStability,”intheProceedingsofthe2009InternationalSymposiumonNonlinearTheoryanditsApplications(NOLTA),Sapporo,Japan,October18-21,2009.
4.J.Chen,Y.He,L.Song,Z.Wang,Y.Zou,andT.J.Koo,“Hardware-In-the-LoopSimulationBasedonPtolemyIIModelTransformedfromSimulinkModel,”PtolemyMiniconference,Berkeley,CA,April,2009.
5.T.J.Koo,Z.Xiong,J.Qu,“CurriculumReformforAccommodatingMulticoreTechnologyinShantouUniversity,”IntheProceedingsoftheFirstACMSummitonComputingEducationinChina,TsinghuaUniversity,October24-25,2008.
6.J.Xu,T.J.KooandZ.Li,“FingerGaitsPlanningforMultifingeredManipulation,”IntheProceedingsoftheIEEE/RSJ2007InternationalConferenceonIntelligentRobotsandSystems,SanDiego,California,October29-November2,2007.
7.G.Hemingway,H.Su,K.ChenandT.J.Koo,“ASemanticAnchoringInfrastructurefortheDesignofEmbeddedSystems,”IntheProceedingsofthe31stAnnualIEEEInternationalComputerSoftwareandApplicationsConference(COMPSAC2007),Beijing,China,July24-27,2007.
8.T.J.KooandH.Su,“AComputationalApproachforEstimatingStabilityRegions,”IntheProceedingstheIEEEInternationalSymposiumonComputer-AidedControlSystemsDesign,Munich,Germany,October2006.
9.N.Kandasamy,F.Aloul,T.JohnKoo,“SensorSelectionandPlacementforFailureDiagnosisinNetworkedAerialRobots,”IntheProceedingsofthe2006IEEEInternationalConferenceonRoboticsandAutomation,Orlando,Florida,May15-19,2006.
10.T.J.Koo,C.A.CliftonandG.Hemingway,”CasacdedControlDesignforaQuadrotorAerialRobot,”IntheProceedingsoftheAsianControlConference,Bali,Indonesia,July2006.
11.T.J.Koo,X.Wu,H.Su,J.Chen,A.Dubey,“ReachLab:ComputationPlatformfortheAnalysisofHybridAutomata,”the9thInternationalWorkshoponHybridSystems:ComputationandControl,SantaBarbara,CA,March,2006
12.T.J.Koo,“AlgorithmicApproachfortheDesignandAnalysisofHigh-ConfidenceMedicalDeviceSystems,“HighConfidenceMedicalDeviceSoftwareandSystemsWorkshop,Philadelphia,PA,June,2005.
13.S.Zelinski,T.J.KooandS.Sastry,“HybridSystemDesignForFormationsofAutonomousVehicles,”intheProceedingsoftheIEEEConferenceonDecisionandControl,Hawaii,December2003.
14.T.J.KooandS.Sastry,“HybridControlofUnmannedAerialVehiclesforAutonomousLanding,”inProceedingsof2ndAIAA”UnmannedUnlimited”Systems,Technologies,andOperations-Aerospace,Land,andSeaConference,SanDiego,California,September2003.
15.T.J.Koo,S.Zelinski,andS.Sastry,“FormationReconfigurationforAutonomousVehicles,”inProceedingsofAHS59thAnnualForumandTechnologyDisplay”VerticalFlightTransformations”,Phoenix,Arizona,May2003.
16.S.Zelinski,T.J.Koo,andS.Sastry,“Optimization-basedFormationReconfigurationPlanningForAutonomousVehicles,”InternationalConferenceonRoboticsandAutomation,Taipei,Taiwan,May2003.
17.S.Coleri,M.Ergen,andT.J.Koo,“LifetimeAnalysisofaSensorNetworkwithHybridAutomataModelling,”inProceedingsofACMInternationalWorkshoponWirelessSensorNetworksandApplications,Atlanta,Georgia,September2002.
18.B.Horowitz,J.Liebman,C.Ma,R.Tal,T.J.Koo,T.A.Henzinger,andS.S.Sastry,“Hardware-in-the-loop(HIL)SimulationofMulti-VehicleMulti-ModalEmbeddedSystems,”inProceedingsofIFACWorldCongressonAutomaticControl,Barcelona,Spain,2002.
19.T.J.Koo,“HierarchicalSystemArchitectureforMulti-AgentMulti-ModalSystems,”inProceedingsofIEEEConferenceonDecisionandControl,Orlando,Florida,December2001.
20.T.J.Koo,G.J.Pappas,andS.Sastry,“Multi-ModalControlofSystemswithConstraints,”inProceedingsofIEEEConferenceonDecisionandControl,Orlando,Florida,December2001.
21.A.Pant,P.Seiler,T.J.Koo,andK.Hedrick,“MeshStabilityofUnmannedAerialVehicleClusters,”inProceedingsofAmericanControlConference,Arlington,Virginia,June,2001.
22.T.J.Koo,andS.M.Shahruz,“FormationofaGroupofUnmannedAerialVehicles(UAVs),”inProceedingsofAmericanControlConference,Arlington,Virginia,June,2001.
23.B.Sinopoli,M.Aicheli,G.Donato,T.J.Koo,“VisionBasedNavigationforanUnmannedAerialVehicle,”inProceedingsofIEEEInternationalConferenceonRoboticsandAutomation,Seoul,Korea,May,2001.
24.T.J.Koo,andS.Sastry,“DifferentialFlatnessBasedFullAuthorityHelicopterControlDesign,”inProceedingsofIEEEConferenceonDecisionandControl,Phoenix,Arizona,December1999.
25.O.Shakernia,Y.Ma,T.J.Koo,J.Hespanha,andS.Sastry,“VisionGuidedLandingofanUnmannedAirVehicle,”inProceedingsofIEEEConferenceonDecisionandControl,Phoenix,Arizona,December1999.
26.J.Liu,X.Liu,T.J.Koo,B.Sinopoli,S.S.Sastry,andE.A.Lee,“HierarchicalHybridSystemSimulation,”inProceedingsofIEEEConferenceonDecisionandControl,Phoenix,Arizona,December1999.
27.M.Egerstedt,T.J.Koo,F.Hoffmann,andS.Sastry,“AnIntegratedAlgorithmforPathPlanningandFlightControllerSchedulingforAutonomousHelicopters,”inProceedingsofthe7thIEEEMediterraneanConferenceonControlandAutomation,Haifa,Israel,June,1999.
28.T.J.Koo,andS.Sastry,“UAVTrajectoryGenerationwithSwitchingonFlatOutputs”inProceedingsofIEEEHongKongSymposiumonRoboticsandControl,HongKong,July1999.
29.T.J.Koo,B.Sinopoli,A.Sangiovanni-Vincentelli,andS.Sastry,“AFormalApproachtoReactiveSystemDesign:AUAVFlightManagementSystemDesignExample”inProceedingsofIEEEInternationalSymposiumonComputer-AidedControlSystemDesign,KohalaCoast,Hawaii,August1999.
30.T.J.Koo,andS.Sastry,“OutputTrackingControlDesignofaHelicopterModelBasedonApproximateLinearization,”inProceedingsofIEEEConferenceonDecisionandControl,Tampa,Florida,USA,December1997.
31.H.Shim,T.J.Koo,F.Hoffmann,andS.Sastry,“AComprehensiveStudyonControlDesignofAutonomousHelicopter,”inProceedingsofIEEEConferenceonDecisionandControl,Tampa,Florida,USA,December1997.
32.T.J.Koo,F.Hoffmann,B.Sinopoli,S.Sastry,“HybridControlofAnAutonomousHelicopter,”inProceedingsofIFACWorkshoponMotionControl,Grenoble,France,September1997.
33.K.S.Mostov,A.A.Soloviev,andT.J.Koo,“AccelerometerBasedGyro-FreeMulti-SensorGenericInertialDeviceforAutomotiveApplications,”IEEEConferenceonIntelligentTransportationSystems,Boston,Massachusetts,USA,November1997.
34.K.S.Mostov,A.A.Soloviev,andT.J.Koo,“InitialAttitudeDeterminationandCorrectionofGyro-FreeINSAngularOrientationontheBasisofGPSLinearNavigationParameters,”inProceedingsofIEEEConferenceonIntelligentTransportationSystems,Boston,Massachusetts,USA,November1997.
35.T.J.Koo,Y.Ma,G.J.Pappas,andC.J.Tomlin,“SmartATMS:ASimulatorforAirTrafficManagementSystems,”inProceedingsofWinterSimulationConference,Atlanta,Georgia,USA,December1997.
36.T.J.Koo,“ConstructionofFuzzyLinguisticModel,”inProceedingsofIEEEControlandDecisionConference,Kobe,Japan,December1996.
37.T.J.Koo,“ModelReferenceAdaptiveFuzzyControlofRobotManipulator,”inProceedingsofIEEEConferenceonSystems,ManandCybernetics,Vancouver,Canada,October1995.
38.T.J.Koo,andT.T.C.Choy,“AnElectricWheelchairwithSpecialFeatures,”inProceedingsofRESNAInternationalConference,Toronto,Canada,June1992.

其他




联系方式
邮箱
john.koo@siat.ac.cn

电话
0755-86392387

个人主页
http://sourcedb.siat.cas.cn/zw/zjrc/yjy/200911/t20091103_2647106.html

备注




-----------------------------------------------------------------
Name
T.JohnKoo
Positions
Director


Academictitle
Professor
E-mail
john.koo@siat.ac.cn

Phone
0755-86392387
PersonalWebsite
http://sourcedb.siat.cas.cn/zw/zjrc/yjy/200911/t20091103_2647106.html

Resume
T.JohnKooisProfessorandDirectoroftheCenterforEmbeddedSoftwareSystems,ShenzhenInstituteofAdvancedTechnology(SIAT),ChineseAcademyofSciences(CAS).Prof.KooreceivedthePh.DdegreeinElectricalEngineeringfromtheUniversityofCaliforniaatBerkeleyin2000,andtheM.Phil.degreeinInformationEngineeringandtheB.Eng.degreeinElectronicEngineeringfromtheChineseUniversityofHongKongin1994and1992,respectively.Prof.KooreceivedtheNationScienceFoundation(NSF)FacultyEarlyCareerDevelopment(CAREER)Awardin2005andtheDistinguishedM.Phil.ThesisAwardoftheFacultyofEngineering,theChineseUniversityofHongKong,in1994.HeisaseniormemberofIEEEandamemberofACMandSigmaXi.

From1995to2002,hewasthefounderandprojectleaderoftheBerkeleyAerialRobotproject.In1998,heheldaConsultantpositionattheStanfordResearchInstituteInternational,MenloPark,CA.HewasaPostdoctoralFellowintheDepartmentofElectricalEngineeringoftheUniversityofPennsylvaniain2000.In2001,heheldaResearchSpecialistpositionintheElectronicsResearchLaboratoryoftheUniversityofCaliforniaatBerkeley.HewasaVisitingFacultyintheDepartmentofElectricalEngineeringandComputerSciencesoftheUniversityofCaliforniaatBerkeleyin2002.HewasonthefacultyofVanderbiltUniversityintheDepartmentofElectricalEngineeringandComputerScience(EECS)andtheInstituteforSoftwareIntegratedSystems(ISIS)during2003-2006.HewasanAssociatedFacultyoftheNationalScienceFoundationITRCenterforHybridandEmbeddedSoftwareSystems(CHESS).HewastheCo-DirectoroftheTsinghua-STUJointLaboratoryonFutureInternetTechnologiesandtheResearchDirectoroftheMinistryofEducationNationalKeyLaboratoryatShantouUniversityinChina.HeheldajointprofessorshipintheDepartmentsofComputerScienceandElectronicEngineering,CollegeofEngineeringandhewasanAdjunctProfessorandPhDAdvisorintheDepartmentofMathematicsatShantouUniversity.HewasaConsultantoftheASMPacificTechnologyLimited,HongKong,in2007.

InUS,Prof.KooworkedwithmajoraircraftandautomobilescompaniesandtheirsuppliersonseveralprojectsincludingInformationTechnologyResearch(ITR),Software-EnabledControl(SEC),Model-BasedIntegrationofEmbeddedSystems(MoBIES)withfundingsupportedbyNSFandDARPA.HehasbeeninvitedtoparticipateinseveralUS/EUnationalstrategicmeetingsonHighConfidenceSoftwareandSystems(HCSS)andCyber-PhysicalSystems(CPS).HiscurrentresearchprojectsaresupportedbyNationalNaturalScienceFoundationofChina,MinistryofScienceandTechnology,GuangdongNaturalScienceFoundationandLiKaShingFoundation.HehasbeenareviewerofNSFandResearchGrantsCouncil(RGC)ofHongKong.Prof.Koohascoauthoredover60technicalpapersandbookchapters.

Direction

EmbeddedSoftware,HybridSystems,Robotics


Achievements
USNationalScienceFoundationFacultyEarlyCareer(CAREER)DevelopmentAward，ComputationPlatformfortheDesignofHybridSystems,2005

Article
JournalandBookChapter
1.J.Xu,T.J.KooandZ.Li.PlanningofMulti-fingeredFingerGaitsusingRapidly-exploringRandomTrees,Vol.28,No.4,pp.385-402,AutonomousRobots,Springer,2010.
2.H.Su,G.Hemingway,K.ChenandT.J.Koo,“Model-BasedTool-ChainInfrastructureforAutomatedAnalysisofEmbeddedSystems,”ForthInternationalSymposiumonAutomatedTechnologyforVerificationandAnalysis(ATVA),LectureNotesinComputerScience,Vol.4218,pp.523-537,Springer-Verlag,Beijing,China,October23-26,2006.
3.J.Sztipanovits,G.Biswas,K.Frampton,A.Gokhale,L.Howard,G.Karsai,T.J.Koo,X.Koutsoukos,D.Schmidt,“IntroducingEmbeddedSoftwareandSystemsEducationandAdvancedLearningTechnologyinEngineeringCurriculum,”ACMTransactionsonEmbeddedComputingSystems,SpecialIssueonEducation,2005.
4.Dubey,X.Wu,H.Su,T.J.Koo,”ComputationPlatformforAutomaticAnalysisofEmbeddedSoftwareSystemsUsingModelBasedApproach,“ThirdInternationalSymposiumonAutomatedTechnologyforVerificationandAnalysis(ATVA),LectureNotesinComputerScience,Vol.3707,pp.114-128,Springer-Verlag,Taipei,Taiwan,October4-7,2005.
5.M.Senesky,G.Eirea,andT.J.Koo,“HybridModellingandControlofPowerElectronics,”HybridSystems:ComputationandControl,LectureNotesinComputerScience,Springer-Verlag,2003.
6.B.Horowitz,J.Liebman,C.Ma,T.J.Koo,A.Sangiovanni-Vincentelli,andS.Sastry,“Platform-BasedEmbeddedSoftwareDesignandSystemIntegrationforAutonomousVehicles,”TheProceedingsoftheIEEE,Vol.91,No.1,January2003.
7.T.J.Koo,J.Liebman,C.Ma,B.Horowitz,A.Sangiovanni-Vincentelli,andS.Sastry,“Platform-BasedEmbeddedSoftwareDesignforMulti-VehicleMulti-ModalEmbeddedSoftware,”EmbeddedSoftware,AlbertoSangiovanni-VincentelliandJosephSifakis(Eds.),LectureNotesinComputerScience,Springer-Verlag,2002.
8.T.J.Koo,G.J.Pappas,andS.Sastry,“Multi-ModalControlofConstrainedNonlinearSystems,”Software-EnabledControl:InformationTechnologyforDynamicalSystems,TariqSamadandGaryBalas(Eds.),IEEEPress,2002.
9.T.J.Koo,S.Sastry,“BisimulationBasedHierarchicalSystemArchitectureforSingle-AgentMulti-ModalSystems,”HybridSystems:ComputationandControl,LectureNotesinComputerScience,Vol.2289,pp.281-293,Springer-Verlag,2002.
10.T.J.Koo,“StableModelReferenceAdaptiveFuzzyControlofaClassofNonlinearSystems,”IEEETransactionsonFuzzySystems,Vol.9,No.4,pp.624-636,August2001.
11.T.J.Koo,J.Liebman,C.Ma,andS.Sastry,“HierarchicalApproachforDesignofMulti-VehicleMulti-ModalEmbeddedSoftware,”EmbeddedSoftware,T.A.HenzingerandC.M.Kirsch(Eds.),LectureNotesinComputerScience,Vol.2211,pp.344-360,Springer-Verlag,2001.
12.T.J.Koo,G.J.Pappas,andS.Sastry,“ModeSwitchingSynthesisforReachabilitySpecifications,”HybridSystems:ComputationandControl,M.D.DiBenedettoandA.Sangiovanni-Vincentelli(Eds.),LectureNotesinComputerScience,Vol.2034,pp.333-346,Springer-Verlag,2001.
13.O.Shakernia,Y.Ma,T.J.Koo,andS.Sastry,“LandinganUnmannedAirVehicle:VisionBasedMotionEstimationandNonlinearControl,”AsianJournalofControl,Vol.1,No.3,pp.128-145,September1999.
14.M.Egerstedt,T.J.Koo,F.Hoffmann,andS.Sastry,“PathPlanningandFlightControllerSchedulingforanAutonomousHelicopter,”HybridSystems:ComputationandControl,F.W.VaandragerandJ.H.vanSchuppen(Eds.),LectureNotesinComputerScience,Vol.1569,pp.91-102,Springer,1999.
15.F.Hoffmann,T.J.Koo,andO.Shakernia,“EvolutionaryDesignofaHelicopterAutopilot,”AdvancesinSoftComputing-EngineeringDesignandManufacturing,Part3:IntelligentControl,pp.201-214,Springer-Verlag,1999.
16.T.J.Koo,“AdaptiveFuzzyControllerwithModel-followingCapability,”TheFutureDirectionsofFuzzyTheoryandSystems,Ch.9,WorldScientificPublishingCo.Pte.Ltd.,1995.
17.T.J.Koo,“AnalysisofaClassofFuzzyControllers,”InternationalJournalofUncertainty,FuzzinessandKnowledge-BasedSystems,Vol.2,No.3,pp.257-264,September1994.

Conference
18.T.J.Koo,X.Qin,S.YangandY.Susuki,“ReachabilityComputationforPowerSystemTransientStability,”intheProceedingsofthe2009InternationalSymposiumonNonlinearTheoryanditsApplications(NOLTA),Sapporo,Japan,October18-21,2009.
19.J.Chen,Y.He,L.Song,Z.Wang,Y.Zou,andT.J.Koo,“Hardware-In-the-LoopSimulationBasedonPtolemyIIModelTransformedfromSimulinkModel,”PtolemyMiniconference,Berkeley,CA,April,2009.
20.T.J.Koo,Z.Xiong,J.Qu,“CurriculumReformforAccommodatingMulticoreTechnologyinShantouUniversity,”IntheProceedingsoftheFirstACMSummitonComputingEducationinChina,TsinghuaUniversity,October24-25,2008.
21.J.Xu,T.J.KooandZ.Li,“FingerGaitsPlanningforMultifingeredManipulation,”IntheProceedingsoftheIEEE/RSJ2007InternationalConferenceonIntelligentRobotsandSystems,SanDiego,California,October29-November2,2007.
22.G.Hemingway,H.Su,K.ChenandT.J.Koo,“ASemanticAnchoringInfrastructurefortheDesignofEmbeddedSystems,”IntheProceedingsofthe31stAnnualIEEEInternationalComputerSoftwareandApplicationsConference(COMPSAC2007),Beijing,China,July24-27,2007.
23.T.J.KooandH.Su,“AComputationalApproachforEstimatingStabilityRegions,”IntheProceedingstheIEEEInternationalSymposiumonComputer-AidedControlSystemsDesign,Munich,Germany,October2006.
24.N.Kandasamy,F.Aloul,T.JohnKoo,“SensorSelectionandPlacementforFailureDiagnosisinNetworkedAerialRobots,”IntheProceedingsofthe2006IEEEInternationalConferenceonRoboticsandAutomation,Orlando,Florida,May15-19,2006.
25.T.J.Koo,C.A.CliftonandG.Hemingway,”CasacdedControlDesignforaQuadrotorAerialRobot,”IntheProceedingsoftheAsianControlConference,Bali,Indonesia,July2006.
26.T.J.Koo,X.Wu,H.Su,J.Chen,A.Dubey,“ReachLab:ComputationPlatformfortheAnalysisofHybridAutomata,”the9thInternationalWorkshoponHybridSystems:ComputationandControl,SantaBarbara,CA,March,2006
27.T.J.Koo,“AlgorithmicApproachfortheDesignandAnalysisofHigh-ConfidenceMedicalDeviceSystems,“HighConfidenceMedicalDeviceSoftwareandSystemsWorkshop,Philadelphia,PA,June,2005.
28.S.Zelinski,T.J.KooandS.Sastry,“HybridSystemDesignForFormationsofAutonomousVehicles,”intheProceedingsoftheIEEEConferenceonDecisionandControl,Hawaii,December2003.
29.T.J.KooandS.Sastry,“HybridControlofUnmannedAerialVehiclesforAutonomousLanding,”inProceedingsof2ndAIAA”UnmannedUnlimited”Systems,Technologies,andOperations-Aerospace,Land,andSeaConference,SanDiego,California,September2003.
30.T.J.Koo,S.Zelinski,andS.Sastry,“FormationReconfigurationforAutonomousVehicles,”inProceedingsofAHS59thAnnualForumandTechnologyDisplay”VerticalFlightTransformations”,Phoenix,Arizona,May2003.
31.S.Zelinski,T.J.Koo,andS.Sastry,“Optimization-basedFormationReconfigurationPlanningForAutonomousVehicles,”InternationalConferenceonRoboticsandAutomation,Taipei,Taiwan,May2003.
32.S.Coleri,M.Ergen,andT.J.Koo,“LifetimeAnalysisofaSensorNetworkwithHybridAutomataModelling,”inProceedingsofACMInternationalWorkshoponWirelessSensorNetworksandApplications,Atlanta,Georgia,September2002.
33.B.Horowitz,J.Liebman,C.Ma,R.Tal,T.J.Koo,T.A.Henzinger,andS.S.Sastry,“Hardware-in-the-loop(HIL)SimulationofMulti-VehicleMulti-ModalEmbeddedSystems,”inProceedingsofIFACWorldCongressonAutomaticControl,Barcelona,Spain,2002.
34.T.J.Koo,“HierarchicalSystemArchitectureforMulti-AgentMulti-ModalSystems,”inProceedingsofIEEEConferenceonDecisionandControl,Orlando,Florida,December2001.
35.T.J.Koo,G.J.Pappas,andS.Sastry,“Multi-ModalControlofSystemswithConstraints,”inProceedingsofIEEEConferenceonDecisionandControl,Orlando,Florida,December2001.
36.A.Pant,P.Seiler,T.J.Koo,andK.Hedrick,“MeshStabilityofUnmannedAerialVehicleClusters,”inProceedingsofAmericanControlConference,Arlington,Virginia,June,2001.
37.T.J.Koo,andS.M.Shahruz,“FormationofaGroupofUnmannedAerialVehicles(UAVs),”inProceedingsofAmericanControlConference,Arlington,Virginia,June,2001.
38.B.Sinopoli,M.Aicheli,G.Donato,T.J.Koo,“VisionBasedNavigationforanUnmannedAerialVehicle,”inProceedingsofIEEEInternationalConferenceonRoboticsandAutomation,Seoul,Korea,May,2001.
39.T.J.Koo,andS.Sastry,“DifferentialFlatnessBasedFullAuthorityHelicopterControlDesign,”inProceedingsofIEEEConferenceonDecisionandControl,Phoenix,Arizona,December1999.
40.O.Shakernia,Y.Ma,T.J.Koo,J.Hespanha,andS.Sastry,“VisionGuidedLandingofanUnmannedAirVehicle,”inProceedingsofIEEEConferenceonDecisionandControl,Phoenix,Arizona,December1999.
41.J.Liu,X.Liu,T.J.Koo,B.Sinopoli,S.S.Sastry,andE.A.Lee,“HierarchicalHybridSystemSimulation,”inProceedingsofIEEEConferenceonDecisionandControl,Phoenix,Arizona,December1999.
42.M.Egerstedt,T.J.Koo,F.Hoffmann,andS.Sastry,“AnIntegratedAlgorithmforPathPlanningandFlightControllerSchedulingforAutonomousHelicopters,”inProceedingsofthe7thIEEEMediterraneanConferenceonControlandAutomation,Haifa,Israel,June,1999.
43.T.J.Koo,andS.Sastry,“UAVTrajectoryGenerationwithSwitchingonFlatOutputs”inProceedingsofIEEEHongKongSymposiumonRoboticsandControl,HongKong,July1999.
44.T.J.Koo,B.Sinopoli,A.Sangiovanni-Vincentelli,andS.Sastry,“AFormalApproachtoReactiveSystemDesign:AUAVFlightManagementSystemDesignExample”inProceedingsofIEEEInternationalSymposiumonComputer-AidedControlSystemDesign,KohalaCoast,Hawaii,August1999.
45.T.J.Koo,andS.Sastry,“OutputTrackingControlDesignofaHelicopterModelBasedonApproximateLinearization,”inProceedingsofIEEEConferenceonDecisionandControl,Tampa,Florida,USA,December1997.
46.H.Shim,T.J.Koo,F.Hoffmann,andS.Sastry,“AComprehensiveStudyonControlDesignofAutonomousHelicopter,”inProceedingsofIEEEConferenceonDecisionandControl,Tampa,Florida,USA,December1997.
47.T.J.Koo,F.Hoffmann,B.Sinopoli,S.Sastry,“HybridControlofAnAutonomousHelicopter,”inProceedingsofIFACWorkshoponMotionControl,Grenoble,France,September1997.
48.K.S.Mostov,A.A.Soloviev,andT.J.Koo,“AccelerometerBasedGyro-FreeMulti-SensorGenericInertialDeviceforAutomotiveApplications,”IEEEConferenceonIntelligentTransportationSystems,Boston,Massachusetts,USA,November1997.
49.K.S.Mostov,A.A.Soloviev,andT.J.Koo,“InitialAttitudeDeterminationandCorrectionofGyro-FreeINSAngularOrientationontheBasisofGPSLinearNavigationParameters,”inProceedingsofIEEEConferenceonIntelligentTransportationSystems,Boston,Massachusetts,USA,November1997.
50.T.J.Koo,Y.Ma,G.J.Pappas,andC.J.Tomlin,“SmartATMS:ASimulatorforAirTrafficManagementSystems,”inProceedingsofWinterSimulationConference,Atlanta,Georgia,USA,December1997.
51.T.J.Koo,“ConstructionofFuzzyLinguisticModel,”inProceedingsofIEEEControlandDecisionConference,Kobe,Japan,December1996.
52.T.J.Koo,“ModelReferenceAdaptiveFuzzyControlofRobotManipulator,”inProceedingsofIEEEConferenceonSystems,ManandCybernetics,Vancouver,Canada,October1995.
53.T.J.Koo,andT.T.C.Choy,“AnElectricWheelchairwithSpecialFeatures,”inProceedingsofRESNAInternationalConference,Toronto,Canada,June1992.