cv Rahul Mangharam 2020 - Penn Engineeringrahulm/papers/Mangharam-cv... · 2020-02-11 ·...
Transcript of cv Rahul Mangharam 2020 - Penn Engineeringrahulm/papers/Mangharam-cv... · 2020-02-11 ·...
Curriculum Vitae – Rahul Mangharam Page 1 of 33
RahulMangharamUniversityofPennsylvania,Philadelphia,PA,USA19104
Tel:(217)573-3636|Email:[email protected]|Web:http://www.seas.upenn.edu/~rahulmACADEMICEXPERIENCE
AssociateProfessor(Tenured) May2014–presentUniversityofPennsylvania,Philadelphia,PADept.ofElectricalandSystemsEngineering&Dept.ofComputerandInformationScience(Secondary)
AssistantProfessor(SecondaryAppointment) May2008–May2014UniversityofPennsylvania,Philadelphia,PADepartmentofComputerandInformationScience
Director,mLAB,Real-TimeandEmbeddedSystemsLaboratory May2008–presentUniversityofPennsylvania,Philadelphia,PADepartmentofElectricalandSystemsEngineering
StephenJ.AngelloTermChairAssistantProfessor March2008–May2014UniversityofPennsylvania,Philadelphia,PADepartmentofElectricalandSystemsEngineering
EDUCATION
Ph.D.inElectricalandComputerEngineering March2008CarnegieMellonUniversity,Pittsburgh,PADissertation:“Real-TimeEmbeddedWirelessNetworks:AlgorithmsandExperiences”Advisor:Prof.Ragunathan(Raj)Rajkumar
M.S.inElectricalandComputerEngineering August2002CarnegieMellonUniversity,Pittsburgh,PAThesis:“SizeMatters:Size-basedSchedulingforMPEG-4overWirelessChannels”Advisor:Prof.Ragunathan(Raj)Rajkumar
B.S.inElectricalandComputerEngineering May2000CarnegieMellonUniversity,Pittsburgh,PA
RESEARCHINTERESTS
SafeAutonomousSystems,cyber-physicalsystems,formalanalysisandverification,model-baseddesign,withapplicationstomedicaldevices,energy-efficientbuildings,autonomousandautomotivesystems.
AWARDSandHONORS
USPresidentialEarlyCareerAwardforScientistsandEngineers(PECASE) May2016HighesthonorbestowedbytheUnitedStatesgovernmentonoutstandingscientistsandengineersintheearlystagesoftheirindependentresearchcareers.Fordevelopingtechniquestomakemedicaldevicesoftwaresafe.
DepartmentofEnergy‘sCLEANTECH$50KPrize(Regional) March2016ForData-drivenmodeling,controlandtoolsforDemandResponse
IEEEBenjaminFranklinKeyAward April2014Foroutstandingtechnicalinnovationandcontributionsthathavehadsignificantpracticalapplications
NSFCAREERAward March2013FoundationsofMedicalCyber-PhysicalSystems
Curriculum Vitae – Rahul Mangharam Page 2 of 33
IntelEarlyFacultyCareerHonor November2012Selectedasoneamongtop20academicsinternationally
NationalAcademyofEngineers,USFrontiersofEngineeringSymposium September2012and2017Awardedtotop15engineersunder45years,nation-wide.
1stPrizeinWorldEmbeddedSoftwareCompetition(MedicalDevices),Korea November2012KoreanMinistryofKnowledgeEconomyandElectronicsandTelecommunicationsResearchInstitute(ETRI)
1stPrizeinHoneywellUserGroupOneWirelessCompetition June2011Awardedforinnovationinnextgenerationofwirelesscontrolforindustrialautomation
1stPrizeinWorldEmbeddedSoftwareCompetition,Korea November2010KoreanMinistryofKnowledgeEconomyandElectronicsandTelecommunicationsResearchInstitute(ETRI)
StephenJ.AngelloTermChairinElectrical&SystemsEngineering Fall2008UniversityofPennsylvania
BestPaperAward Summer2006IEEEConferenceonSensor,MeshandAhhocCommunicationsandNetworks(SECON)
SixthAnnualLockheedMartinECEProjectAward Spring2006ECEDepartment,CarnegieMellonUniversity
SigmaXiAward Spring2006ECEDepartment,CarnegieMellonUniversity
EtaKappaNuResearchAward Spring2002MeetingoftheMindsUniversityResearchAward,CarnegieMellonUniversity
RESEARCHAWARDSandHONORS(withStudents)
1. SIGCSEBestPaperAwardforCurriculaInitiatives 2020ACMTechnicalSymposiumonComputerScienceEducation(SIGCSE)
2. NeurIPSBestDemonstrationAward 201934thAnnualConferenceonNeuralInformationProcessingSystems(NeurIPS)
3. ICCPSBestPaperAward 2018ACM/IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS)
4. ACCBestPaperAward(EnergySystems) 2017AmericanControlConference(ACC)
5. BUILDSYSBestPresentationAward 2016ACMInternationalConferenceonEmbeddedSystemsforEnergy-EfficientBuiltEnvironments(BUILDSYS)
6. TECHCONBestinSessionAward 2015SRCTECHCONforData-PredictiveControlofSmartBuildings
7. 1stPrizeinWorldEmbeddedSoftwareCompetition,Korea 2014KoreanMinistryofKnowledgeEconomyandElectronicsandTelecomResearchInstitute(ETRI)
8. TECHCONBestinSessionAward 2015SRCTECHCONforModel-basedMedicalCyber-PhysicalSystems
9. RTASIEEEBestStudentPaperAward 2012IEEEReal-TimeandEmbeddedTechnologyandApplicationsSymposium(RTAS)atCPSWeek,Beijing
10. BuildSysBestDemonstrationAward 2012ACMInternationalConferenceonEmbeddedSystemsforEnergy-EfficientBuiltEnvironments(BUILDSYS)
11. IPSNBestPaperPresentationAward 2012ACMIPSNConference,Cyber-PhysicalSystemsWeek,Beijing
Curriculum Vitae – Rahul Mangharam Page 3 of 33
12. 9thWorldEmbeddedSystemsProgrammingContest,Seoul,Korea–3rdPrize 2012ProtoDriveElectricVehiclePlatform(WilliamPrice,HarshJain,YashPant)
13. 1stPrizeWinnerofSEASSeniorDesignProject 2012PacemakerVerificationSystem(VarunSampath,ShilpaSarodeandSriramRadhakrishnan)
14. IntelInnovators$50KAward-Hapticbeltfortheblind(EricBerdinisandJeffKiske,CE). 2012
15. IEEEPresident’sAward,Finalist 2012PacemakerVerificationSystem(VarunSampath,ShilpaSarodeandSriramRadhakrishnan).
16. HonorableHaroldBergerAwardforBestESESeniorDesignProject 2012PacemakerVerificationSystem(VarunSampath,ShilpaSarodeandSriramRadhakrishnan)
17. Intel/CornellEmbeddedSystemsCup–People’sChoiceAward 2012HapticBeltfortheBlind(EricBerdinisandJeffKiske,CE)
18. Intel/CornellEmbeddedSystemsCup–ProjectAward 2012HAWK:HelicopterAircraftWieldingKinectbyK.Conley,M.Hale,P.GurniakandT.Zhang
19. HonorableMentionAwardforSeniorDesignProject 2012HAWK:HelicopterAircraftWieldingKinectbyK..Conley,M.Hale,P.GurniakandT.Zhang
20. TACASBestPaperAwardNominee 201218thIntl.Conf.onToolsandAlgorithmsfortheConstruction&AnalysisofSystems(TACAS)
21. AccentureHealth2.0ConferenceWinners 2012viSparsh:HapticBeltfortheBlindbyJ.Sharma,T.Chugh,R.SethofYoungIndiaFellowshipProgram
22. FrederickKettererMemorialAwardforBestSeniorDesignProject 2011RAVEN:RemoteAerialVehicleforSearchandRescue(PaulMartinandWilliamEtterJr.,ESE).2011.
23. Winnerof1stPrizeSeniorDesignAward,CISDepartment 2011AutoPlug:AutomotiveArchitecturesforRemoteVehicleControlsTestingbyG.Torres,R.Boczar&J.Suapengco
24. GoogleZeitgeistYoungMindsAward 2011HapticBeltfortheBlindbyEricBerdinisandJeffKiske
25. AccentureInnovationJockeys(PoweredbyYahoo!)GrandFinaleWinner 2011viSparsh–HapticbeltfortheblindbyJ.Sharma,T.ChughandR.Seth,fromYoungIndiaFellowshipProgram
26. 8thWorldEmbeddedProgrammingCompetition,GrandPrizeWinner 2010AutoPlug:Plug-n-PlayArchitecturesforAutomotiveSystems(KevinConley,ESE)
27. Provost’sDistinguishedInternationalResearchAward,UniversityofPennsylvania. 2010
28. WhartonInteractiveMediaInitiativeAward,UniversityofPennsylvania. 2009
29. UniversityResearchFoundationAward,UniversityofPennsylvania. 2009
30. HonorableHaroldBergerAwardforBestESESeniorDesignProject 2009Vehicle-to-VehicleCommunicationsNetworksbyBrandonDuick,DannyLustigandAndrewAvrin,ESE
PUBLICATIONS(JOURNALS) (Mystudentsareunderlined)
1. D.Karthik,M.O’Kelly,H.Zheng,S.Singh,andR.Mangharam,“BridgingtheSim-to-RealGapforReinforcementLearningwithF1/10AutonomousRacing”.ProceedingsofMachineLearningResearch(PRML)Invited.2020.
2. Y.V.Pant,A.Rodionova,H.Abbas,R.A.Quaye,R.Mangharam.Distributedplanningformulti-dronefleetswithSignalTemporalLogicobjectives.Underreview.2020.
3. Y.V.Pant,M.Z.Li,R.A.Quaye,H.Abbas,M.Ryerson,R.Mangharam.“FADS:FrameworkforAutonomousDroneSafety.”InIEEETransactionsonIntelligentTransportationSystems,SpecialIssueonUnmannedAircraftSystemTrafficManagement.Underreview.2020.
Curriculum Vitae – Rahul Mangharam Page 4 of 33
4. F.Smarra,G.D.DiGirolamo,V.DeIuliis,A.Jain,R.Mangharam,andA.D’Innocenzo“Data-drivenSwitchingModelingforMPCusingRegressionTreesandRandomForests”,NonlinearAnalysis:HybridSystems,AjournalofIFAC,theInternationalFederationofAutomaticControl.Acceptedforpublication.2020
5. Y.V.Pant,H.Abbas,K.Mohta,R.A.Quaye,T.X.Nghiem,J.Devietti,R.Mangharam.AnytimeComputationandControlforAutonomousSystems.IEEETransactionsonControlSystemsTechnology.Accepted.2020.
6. HoussamAbbas,RajeevAlur,KonstantinosMamouras,R.Mangharam,andAlenaRodionova,"Real-timeDecisionPolicieswithPredictablePerformance",ProceedingsoftheIEEE106(9).August2019
7. FrancescoSmarra,AchinJain,TulliodeRubeis,DarioAmbrosini,AlessandroD’InnocenzoandR.Mangharam.Data-drivenmodelpredictivecontrolusingrandomforestsforbuildingenergyoptimizationandclimatecontrol.JournalofAppliedEnergy,2018.
8. A.Jain,F.Smarra,M.Behl,R.Mangharam,“Data-drivenModelPredictiveControlwithRegressionTrees–AnApplicationtoBuildingEnergyManagement”ACMTransactionsonCyber-PhysicalSystems,Volume2Issue1,February2018.
9. AchinJain,MadhurBehl,andR.Mangharam,"DataPredictiveControlforCyber-PhysicalEnergySystems",ACMTransactionsonCyber-PhysicalSystems,Vol.9,No.4,Article39.July2017.
10. MadhurBehl,FrancescoSmarra,andR.Mangharam,"DR-Advisor:AData-DrivenDemandResponseRecommenderSystem",JournalofAppliedEnergy.January2016.
11. Z.JiangandR.Mangharam.“High-ConfidenceMedicalDeviceSoftwareDevelopment”.FoundationsandTrendsinElectronicDesignAutomation,Vol.9,No.4(2015)309–391.December2015
12. M.Pajic,Z.Jiang,I.Lee,O.SokolskyandR.Mangharam.“Safety-criticalMedicalDeviceDevelopmentusingtheUPP2SFModelTranslationTool”ACMTransactionsofEmbeddedComputingSystems(TECS).SpecialissuecontainingthebestpapersfromRTAS2012.January2015.
13. M.Pajic,R.Mangharam,O.Sokolsky,D.Arney,J.M.GoldmanandI.Lee“Model-DrivenSafetyAnalysisofClosed-LoopMedicalSystems”,IEEETransactionsofIndustrialInformatics(TII),SpecialSectiononCyber-PhysicalSystems.Vol.10,Issue:1Feb2014.
14. R.MangharamandM.Pajic.“DistributedControlforCyber-PhysicalSystems”JournaloftheIndianInstituteofScience,SpecialIssueonCyber-PhysicalSystems,Vol.93,No.3.September2013.
15. Z.Jiang,M.Pajic,S.Moarref,R.Alur,andR.Mangharam,“Closed-loopVerificationofMedicalDeviceswithModelAbstractionandRefinement”.InternationalJournalofSoftwareToolsforTechnologyTransfer(STTT),SpecialIssuecontainingtheBestPapersfromTACAS2012.March2013.
16. M.Pajic,R.Mangharam,G.J.Pappas,andS.Sundaram,“TopologicalConditionsforIn-NetworkStabilizationofDynamicalSystems,”IEEEJournalonSelectedAreasinCommunications,Volume:31,Issue:4.April2013.
17. M.Pajic,A.ChernoguzovandR.Mangharam.“RobustArchitecturesforEmbeddedWirelessNetworkControlandActuation”ACMTransactionsofEmbeddedComputingSystems(TECS).Vol.11Issue4,Dec2012.
18. Z.Jiang,M.Pajic,andR.Mangharam,“Cyber-PhysicalModelingofImplantableCardiacMedicalDevices”.ProceedingsoftheIEEE100(1):122-137.January2012.
19. M.Pajic,S.Sundaram,G.J.PappasandR.Mangharam.“TheWirelessControlNetwork:ANewApproachforControloverNetworks”IEEETransactionsinAutomaticControl(TAC),Vol.56,Issue:10.October2011.
20. M.PajicandR.Mangharam,“Spatio-TemporalTechniquesforAnti-JamminginEmbeddedWirelessNetworks”EURASIPJournalonWirelessCommunicationsandNetworking,March2010.
21. R.Mangharam,A.RoweandR.Rajkumar,"FireFly:ACross-LayerPlatformforWirelessSensorNetworks",RealTimeSystemsJournal,Sp.IssueonReal-TimeWirelessSensorNetworks(RTSJ).2006.
22. A.Rowe,R.MangharamandR.Rajkumar,"“GlobalTime-SynchronizedLinkProtocolsforEnergyConstrainedMulti-hopWirelessNetworks”ElsevierAdhocNetworks,SpecialIssueonEnergy-efficientDesigninWirelessAdhocandSensorNetworks.2007.
Curriculum Vitae – Rahul Mangharam Page 5 of 33
23. S.Pollin,R.Mangharam,B.Bougard,R.Rajkumar,F.Catthoor,L.VanderPerre,I.Moerman"MEERA:Cross-LayerMethodologyforEnergy-EfficientResourceAllocationforWirelessNetworks",IEEETransactionsinWirelessCommunication.Jan2008.
24. S.Pollin,B.Bougard,R.Mangharam,F.Catthoor,R.Rajkumar,I.Moerman,L.VanderPerre"Optimizingtransmissionandshutdownforenergy-efficientreal-timepacketschedulinginclusteredadhocnetworks"EURASIPJournalonWirelessCommunicationsandNetworking,SpecialIssueonCross-layerDesignforAdHocNetworks,vol.2005,no.5,pp.698-711,2005.
PUBLICATIONS(CONFERENCES)
1. M.O’Kelly,H.Zheng,R.Mangharam,et.al.“FormulaZero:DistributionallyRobustOnlineAdaptationviaOfflinePopulationSynthesis”.Underreview,2020.
2. A.Rodionova,I.Alvarez,M.S.Elli,F.Oboril,J.Quast,andR.Mangharam,“Howsafeissafeenough?AutomaticSafetyConstraintsBoundaryEstimationforDecision-MakinginAutomatedVehicles”.Underreview,2020.
3. H.Abbas,J.Auckley,M.Behl,M.Bertogna,P.Burgio,A.Jain,D.Karthik,K.Luong,R.Mangharam,M.O'KellyandH.Zheng,“F1/10AutonomousRacingPlatformforSafeandEthicalAutonomy”Undersubmission.2020.
4. Y.V.Pant,A.Rodionova,K.J.Jang,H.Abbas,R.Quaye,andR.Mangharam,” Learning-to-Fly:Learning-basedCollisionAvoidanceforScalableUrbanAirMobility”Undersubmission2020.
5. A.Agnihotri,M.O'Kelly,H.AbbasandR.Mangharam.“TeachingAutonomousSystemsat1/10th-scale:Aproject-basedcourseandcommunity”.ACMSpecialInterestGrouponComputerScienceEducation(SIGCSE).February2020.2ndBestPaperAward!
6. J.Auckley,A.Jain,K.Luong,R.Mangharam,M.O'KellyandH.Zheng,“TunerCar:ASuperoptimizationToolchainforAutonomousRacing”,IEEEInternationalConferenceonRoboticsandAutomation(ICRA),May2020.
7. J.He,K.J.Jang,K.Walsh,J.Liang,S.Dixit,andR.Mangharam,"ElectroanatomicMappingtoDetermineScarRegionsinPatientswithAtrialFibrillation",41stInternationalEngineeringinMedicineandBiologyConference(IEEEEMBC).July2019.
8. Y.V.Pant,R.Quaye,H.Abbas,A.VarreandR.Mangharam,“Fly-by-Logic:AToolforUnmannedAircraftSystemFleetPlanningusingTemporalLogic”,EleventhNASAFormalMethodsSymposium,Houston,TX.May2019.
9. H.Abbas,Y.V.PantandR.Mangharam,“TemporalLogicRobustnessforGeneralSignalClasses”,in10thACM/IEEEInternationalConferenceonCyber-PhysicalSystems(withCPS-IoTWeek2019)(ICCPS’19),Montreal,QC,Canada.April2019.
10. H.Abbas,Y.V.PantandR.Mangharam,“TemporalLogicRobustnessforGeneralSignalClasses”inACMInternationalConferenceonHybridSystems:ComputationandControl(HSCC/CPSWeek).Montreal,QC,Canada.April2019.
11. A.Jain,D.Nong,T.X.Nghiem,R.Mangharam,“DigitalTwinsforEfficientModelingandControlofBuildings–AnIntegratedSolutionwithSCADASystems”ASHRAE/IBPSA-USABuildingPerformanceAnalysisConferenceandSimBuild.September2018.
12. YashV.Pant,HoussamAbbas,RhudiiA.Quaye,andRahulMangharam,"Fly-by-Logic:ControlofMulti-DroneFleetswithTemporalLogicObjectives"inProceedingsofthe9thACM/IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS),April2018.
13. AchinJain,TruongX.Nghiem,ManfredMorari,andRahulMangharam.“LearningandControlusingGaussianProcesses”inProceedingsofthe9thACM/IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS),April2018.BestPaperAward!
14. KukJinJang,JamesWeimer,HoussamAbbas,ZhihaoJiang,JacksonLiang,SanjayDixit,RahulMangharam,“ComputerAidedClinicalTrialsforImplantableCardiacDevices”,40thAnnualInternationalConferenceoftheIEEEEngineeringinMedicineandBiologySociety(EMBC),July2018.
Curriculum Vitae – Rahul Mangharam Page 6 of 33
15. HoussamAbbas,KonstantinosMamouras,AlenaRodionova,AlurRajeev,JacksonLiang,SanjayDixit,andRahulMangharam,"Anovelprogramminglanguagetoreduceenergyconsumptionbyarrhythmiamonitoringalgorithmsinimplantablecardioverter-defibrillators",HeartRhythmJournal.May2018.
16. HoussamAbbasandRahulMangharam,"GeneralizedRobustMTLSemanticsforProblemsinCardiacElectrophysiology",InIEEEAmericanControlConference.March2018.
17. FrancescoSmarra,AchinJain,RahulMangharamandAlessandroD'Innocenzo.Data-DrivenSwitchedAffineModelingforModelPredictiveControl.InProceedingsofthe6thIFACConferenceonAnalysisandDesignofHybridSystems,2018.
18. YashPant,HoussamAbbas,andRahulMangharam,“SmoothOperator:ControlUsingtheSmoothRobustnessofTemporalLogic”,IEEEConf.onControlTechnologyandApplications.Dec2017.
19. MatthewO'Kelly,HoussamAbbas,andRahulMangharam,"Computer-AidedDesignforSafeAutonomousVehicles",IEEEInternationalSymposiumonResilientControlSystems.September2017
20. AchinJain,MadhurBehl,andRahulMangharam,"Datapredictivecontrolforbuildingenergymanagement”.AmericanControlConference(ACC).June2017.BestPaperAward(EnergySystems)
21. Abbas,H.,JangK.J.,LiangJ.,DixitS.,andMangharamR.“AnovelICDmorphologydiscriminatortoimprovediscriminationbetweenVentricularandSupraventriculartachycardias”HeartRhythmSocietyScientificSessions,Chicago.May2017
22. HoussamAbbas,MatthewO'Kelly,andRahulMangharam,"RelaxeddecidabilityandtherobustsemanticsofMetricTemporalLogic",Proceedingsofthe20thACMIntl.Conf.onHybridSystems:ComputationandControl(HSCC).February2017
23. Islam,M.A.,Lim,H.,Paoletti,N.,Abbas,H.,Jiang,Z.,Cyranka,J.,Cleaveland,R.,Gao,S.,Clarke,E.,Grosu,R.andMangharam,R.,2016,December.CyberCardiaproject:Modeling,verificationandvalidationofimplantablecardiacdevices.InBioinformaticsandBiomedicine(BIBM),2016IEEEInternationalConferenceon(pp.1445-1452).
24. YashPant,HoussamAbbas,andRahulMangharam,“RobustModelPredictiveControlforNon-LinearSystemswithInputandStateConstraintsViaFeedbackLinearization”,IEEEConferenceonDecisionandControl(CDC).LasVegas,USA,Dec2016
25. AchinJain,MadhurBehl,andRahulMangharam,"DataPredictiveControlforPeakPowerReduction".ACMInternationalConferenceonEmbeddedSystemsforEnergy-EfficientBuiltEnvironments(BUILDSYS).Nov2016.BestPresentationAward
26. ZhihaoJiang,HoussamAbbas,KukJinJang,MarcoBeccaniandRahulMangharam,"Computeraidedclinicaltrialsforimplantablecardiacdevices",Modeling,DesignandSafetyAnalysisinPhysiologicalClosed-LoopSystemsSymposiumat53rdSocietyofEngineeringScienceAnnualTechnicalMeeting,U.Maryland.Oct2016.
27. ZhihaoJiang,HoussamAbbas,KukJinJang,MarcoBeccaniandRahulMangharam,“In-silicoPre-clinicalTrialsforImplantableCardioverterDefibrillators”,38thInternationalConferenceoftheIEEEEngineeringinMedicineandBiologySociety(EMBC).August2016.
28. ZhihaoJiang,HoussamAbbas,KukJinJang,MarcoBeccaniandRahulMangharam,"ModelingandSimulationforIn-silicoPre-clinicalTrialsforImplantableCardiacDevices",BMES/FDAFrontiersofMedicalDevicesConference.May2016.
29. HoussamAbbas,KukJinJang,ZhihaoJiang,andRahulMangharam,"TowardsModelCheckingofImplantableCardioverterDefibrillators",19thACMInternationalConferenceonHybridSystems:ComputationandControl(HSCC).March2016.
30. HoussamAbbas,KukJinJang,andRahulMangharam,"Benchmark:NonlinearHybridAutomataModelofExcitableCardiacTissue",AppliedVerificationforContinuousandHybridSystems,Cyber-PhysicalSystemsWeek.April2016.
31. MadhurBehl,AchinJain,andRahulMangharam,"Data-DrivenModeling,ControlandToolsforCyber-PhysicalEnergySystems",ACM/IEEE7thInternationalConferenceonCyber-PhysicalSystems(ICCPS).April2016.
Curriculum Vitae – Rahul Mangharam Page 7 of 33
32. ZhihaoJiang,HoussamAbbas,PieterJ.Mosterman,andRahulMangharam,"AutomatedClosed-LoopModelCheckingofImplantablePacemakersusingAbstractionTrees",IEEEMedicalCyber-PhysicalSystems,CPSWeek.April2016.
33. MatthewO'Kelly,HoussamAbbas,SicunGao,Shin'ichiShiraishi,ShnipeiKato,andRahulMangharam,"APEX:AutonomousVehiclePlanVerificationandExecution",SAEWorldCongress,April2016.
34. RahulMangharam,HoussamAbbas,MadhurBehl,KukJang,MiroslavPajicandZhihaoJiang,"ThreeChallengesinCyber-PhysicalSystems,"8thInternationalConferenceonCommunicationSystemsandNetworks(COMSNETS),2016.
35. ZhihaoJiang,HoussamAbbas,KukJinJang,andRahulMangharam,"Towardshighconfidencemedicaldevicesoftware",IEEEComputer.January2016.
36. MadhurBehlandRahulMangharam,"Sometimes,MoneyDoesGrowOnTrees:Data-DrivenDemandResponsewithDR-Advisor",ACMInternationalConferenceonEmbeddedSystemsforEnergy-EfficientBuiltEnvironments(BUILDSYS).November2015.
37. YashPant,HoussamAbbas,KartikMotha,JosephDivettiandRahulMangharam,“Co-designofAnytimeComputationandControlSystems”,IEEEReal-TimeSystemsSymposium(RTSS),December2015.
38. YashVardhanPant,HoussamAbbas,K.N.Nischal,ParitoshKelkar,DhruvaKumar,JosephDeviettiandRahulMangharam,"Power-efficientalgorithmsforautonomousnavigation",IEEEComplexSystemsEngineering(ICCSE),Nov2016.
39. MadhurBehl,TruongNghiem,WillyBernalandRahulMangharam,“Campus-WideIntegratedBuildingEnergySimulation”14thInternationalConferenceoftheInternationalBuildingPerformanceSimulationAssociation(IBPSA),Dec2015.
40. TruongNghiemandRahulMangharam,“ScalableSchedulingofEnergyControlSystems,”Proceedingsofthe12thInternationalConferenceonEmbeddedSoftware(EMSOFT),137-146.October2015.
41. MadhurBehlandRahulMangharam,“Sometimesmoneydoesgrowontrees:DataDrivenDemandResponseWithRegressionTrees”,SRCTECHCON.September2015.BestinSessionAward
42. MadhurBehl,TruongNghiemandRahulMangharam,“DR-Advisor:ADataDrivenDemandResponseRecommenderSystem”.CISBATInternationalBuildingSimulationAssociationIBPSA,Sept2015.
43. KukJang,JungminRyoo,OrkanTelhanandRahulMangharam,“CloudMat:Context-awarePersonalizationofFitnessContent,”IEEE12thInternationalConferenceonServicesComputing(SCC),June2015.
44. M.Behl,T.NghiemandR.Mangharam.“IMpACT:InverseModelAccuracyandControlPerformanceToolboxforBuildings”.IEEEInternationalConferenceonAutomationScienceandEngineering(CASE),August2014.
45. Z.JiangandR.Mangharam“IntegratedFunctionalandFormalModelingforMedicalDeviceSoftware”.SRCTECHCON.September2014.BestinSessionAward
46. Y.Pant,T.NghiemandR.Mangharam.“PeakPowerReductioninHybridEnergySystemswithLimitedLoadForecasts”.AmericanControlConference(ACC).June2014
47. M.Behl,T.NghiemandR.Mangharam.“Model-IQ:UncertaintyPropagationfromSensingtoModelingandControlinBuildings”.ACM/IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS).April2014.
48. T.Nghiem,G.J.PappasandR.Mangharam.“Event-basedGreenSchedulingofRadiantSystemsinBuildings.”AmericanControlConference(ACC).June2013.
49. F.Miao,M.Pajic,R.MangharamandG.J.Pappas.“NetworkedRealizationofDiscrete-TimeControllers.”AmericanControlConference(ACC).June2013.
50. Z.Jiang,S.Radhakrishnan,V.Sampath,S.Sarode,andR.Mangharam.“Heart-on-a-Chip:AClosed-loopTestingPlatformforImplantablePacemakers”ThirdWorkshoponDesign,ModelingandEvaluationofCyberPhysicalSystems(CyPhy'13)atCPSWeek.Philadelphia,April2013.SEASSeniorDesignCompetitionWinner
51. M.Pajic,O.Sokolsky,R.Alur,R.Mangharam,N.Michael,G.J.Pappas,P.Tabuada,S.WeirichandI.Lee,"SPARCS:SynthesisofPlatform-awareAttack-ResilientControlSystems",ACMInternationalConferenceon
Curriculum Vitae – Rahul Mangharam Page 8 of 33
HighConfidenceNetworkedSystems(HiCoNS),atCPSWeek.Philadelphia,April2013.
52. T.Nghiem,M.Behl,G.J.PappasandR.Mangharam.“GreenSchedulingforRadiantSystemsinBuildings”51stIEEEConferenceonDecisionandControl(CDC).Maui,Hawaii,Dec2012.
53. T.Nghiem,M.BehlandR.Mangharam.“GreenSchedulingforEnergy-EfficientOperationofMultipleChillerPlants”33rdIEEEReal-TimeSystemsSymposium(RTSS).PuertoRico,Dec2012.
54. W.H.Bernal,M.Behl,T.NghiemandR.Mangharam.“MLE+:AToolforIntegratedDesignandDeploymentofEnergyEfficientBuildingControls”4thACMBuildSysWorkshoponEmbeddedSensingSystemsForEnergy-EfficiencyInBuildings.Toronto,Canada,Nov2012.BestDemonstrationAward.
55. R.Mangharam.“TheCarandTheCloud:AutomotiveArchitecturesfor2020”TheBridgeonFrontiersofEngineering,NationalAcademyofEngineering.Winter2012,Vol42.Number4.
56. M.Pajic,S.Sundaram,J.L.Ny,G.J.PappasandR.Mangharam.“ClosingtheLoop:ASimpleDistributedMethodforControloverWirelessNetworks.”ACMInternationalConferenceonInformationProcessinginSensorNetworks(IPSN).April2012.(Acceptancerate11/99).BestPresentationAward.
57. M.Pajic,Z.Jiang,I.Lee,O.Sokolsky,andR.Mangharam.“FromVerificationtoImplementation:AModelTranslationToolandaPacemakerCaseStudy”.18thIEEEReal-TimeandEmbeddedTechnologyandApplicationsSymposium(IEEERTAS).April2012.BestStudentPaperAward.
58. Z.Jiang,M.Pajic,S.Moarref,R.Alur,andR.Mangharam,“ModelingandVerificationofaDualChamberImplantablePacemaker”.18thInternationalConferenceonToolsandAlgorithmsfortheConstructionandAnalysisofSystems(TACAS).March2012.BestPaperAwardNominee.
59. T.Nghiem,M.Behl,R.MangharamandG.J.Pappas.“ScalableSchedulingofBuildingControlSystemsforPeakDemandReduction”.AmericanControlConference(ACC).June2012.
60. M.Pajic,S.Sundaram,G.J.PappasandR.Mangharam,“TopologicalConditionsforWirelessControlNetworks”.50thIEEEConferenceonDecisionandControl,(CDC).Dec2011.
61. M.Pajic,S.Sundaram,G.J.PappasandR.Mangharam,“NetworkSynthesisforDynamicalSystemStabilization.”The45thAnnualIEEEAsilomarConferenceonSignals,Systems,andComputers,2011.
62. T.Nghiem,M.Behl,R.MangharamandG.J.Pappas.“GreenSchedulingofControlSystemsforPeakDemandReduction”.50thIEEEConferenceonDecisionandControl,(CDC).Dec2011.
63. R.MangharamandA.A.Saba,“AnytimeAlgorithmsforGPUArchitectures”,IEEEReal-TimeSystemsSymposium(IEEERTSS),Vienna,Austria.Nov2011.
64. Z.Li,P.C.Huang,A.Mok,T.Nghiem,M.Behl,G.J.PappasandR.Mangharam.“OntheFeasibilityofLinearDiscrete-TimeSystemsoftheGreenSchedulingProblem”,IEEEReal-TimeSystemsSymposium(IEEERTSS),Vienna,Austria.Nov2011.
65. Z.JiangandR.Mangharam,“ModelingCardiacPacemakerMalfunctionswiththeVirtualHeartModel",33rdAnnualInternationalConferenceoftheIEEEEngineeringinMedicineandBiologySociety(IEEEEMBC),2011.
66. T.Nghiem,M.Behl,G.J.PappasandR.Mangharam.“GreenScheduling:SchedulingofControlSystemsforPeakPowerReduction”.2ndInternationalGreenComputingConference,July2011.
67. Z.Jiang,M.Pajic,andR.Mangharam,“Model-basedClosed-loopTestingofImplantablePacemakers”.ACM/IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS).April2011.
68. M.Pajic,S.Sundaram,G.J.PappasandR.Mangharam,“ASimpleDistributedMethodforControloverWirelessNetworks”.CPSWeekWorkshoponReal-TimeWirelessforIndustrialApplications,Real-WIN.2011.
69. W.Etter,P.Martin,andR.Mangharam,“CooperativeFlightGuidanceofAutonomousUnmannedAerialVehicles”.CPSWeekWorkshoponNetworksofCooperatingObjects(CONET).April2011.
70. U.Drolia,Z.Wang,Y.PantandR.Mangharam.“AutoPlug:AnAutomotiveTest-bedforElectronicControllerUnitTestingandVerification”.IntelligentTransportationSystems(ITS).October2011.
71. M.Pajic,S.Sundaram,J.LeNy,G.J.PappasandR.Mangharam,“TheWirelessControlNetwork:SynthesisandRobustness.”The49thIEEEConferenceonDecisionandControl(CDC),December2010.
Curriculum Vitae – Rahul Mangharam Page 9 of 33
72. S.Sundaram,M.Pajic,C.N.Hadjicostis,R.MangharamandG.J.Pappas,“TheWirelessControlNetwork:MonitoringforMaliciousBehavior.”The49thIEEEConferenceonDecisionandControl(CDC),December2010.
73. A.A.SabaandR.Mangharam,“AnytimeAlgorithmsforGPUArchitectures”,AnalyticVirtualIntegrationofCyber-PhysicalSystemsWorkshop.Co-locatedwithRTSS.December2010.
74. Z.Jiang,A.T.ConnollyandR.Mangharam."UsingtheVirtualHeartModeltoValidatetheMode-SwitchPacemakerOperation”.32ndAnnualInternationalConferenceoftheIEEEEngineeringinMedicineandBiologySociety(EMBC).August2010.
75. Voyles,R.M.,Povilus,S.,Mangharam,R.andKangLi;"RecoNode:Areconfigurablenodeforheterogeneousmulti-robotsearchandrescue,"SafetySecurityandRescueRobotics(SSRR),IEEEInternationalWorkshopon,vol.,no.,pp.1-7,26-30.July2010
76. Z.Jiang,M.Pajic,A.T.Connolly,S.DixitandR.Mangharam.“Real-timeHeartModelforImplantableCardiacDeviceValidationandVerification”.22ndEuromicroConferenceonReal-TimeSystems,(IEEEECRTS).July2010.
77. D.Arney,M.Pajic,J.M.Goldman,I.Lee,R.MangharamandO.Sokolsky.“TowardPatientSafetyinClosed-LoopMedicalDeviceSystems”.ACM/IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS).2010.
78. M.PajicandR.Mangharam.“EmbeddedVirtualMachinesforRobustWirelessControlandActuation”.16thIEEEReal-TimeandEmbeddedTechnologyandApplicationsSymposium(IEEERTAS).April2010.
79. M.PajicandR.Mangharam.“Anti-JammingforEmbeddedWirelessNetworks”.ACMInternationalConferenceonInformationProcessinginSensorNetworks(IPSN'09).April2009.
80. M.PajicandR.Mangharam.”WisperNet:Anti-JammingforWirelessSensorNetworks”,2ndWorkshoponEmbeddedSystemsSecurity(WESS),atEmbeddedSystemsWeek.Atlanta,GA.October2008.
81. R.Mangharam,R.Rajkumar,M.Hamilton,P.MudaligeandF.Bai,“Bounded-LatencyAlertsinVehicularNetworks”,MobileNetworkingforVehicularEnvironments,IEEEINFOCOM,2007.
82. R.Mangharam,A.RoweandR.Rajkumar,"VoiceoverSensorNetworks"27thIEEEReal-TimeSystemsSymposium(IEEERTSS).SaoPaulo,Brazil.Dec2006.
83. A.Rowe,R.MangharamandR.Rajkumar,“RT-Link:ATime-SynchronizedLinkProtocolforEnergyConstrainedMulti-hopWirelessNetworks”IEEEInternationalConferenceonSensors,MeshandAdHocCommunicationsandNetworks(IEEESECON).Reston,VA.Sept2006.BestPaperAward.
84. R.MangharamandR.Rajkumar,“MAX:AMaximalTransmissionConcurrencyMACforWirelessNetworkswithRegularStructure"IEEEThirdInternationalConferenceonBroadbandCommunications,NetworksandSystems(IEEEBROADNETS),SanJose,CA.Oct2006.
85. R.Mangharam,D.S.Weller,R.Rajkumar,P.MudaligeandF.Bai,"GrooveNet:AHybridSimulatorforVehicle-to-VehicleNetworks",2ndIntl.WorkshoponVehicle-to-VehicleCommunications(IEEEV2VCOM),2006.
86. R.Mangharam,D.S.Weller,D.D.Stancil,R.Rajkumar,“GrooveSim:ATopography-AccurateSimulatorforGeographicRoutinginVehicularNetworks”ACMMobicom/VANET,Cologne,Germany.Sept.2005.
87. R.Mangharam,J.Meyers,R.Rajkumar,D.Stancil,J.Parikh,H.Krishnan,andC.Kellum,"AMulti-hopMobileNetworkingTest-bedforTelematics"SocietyforAutomotiveEng.WorldCongress,Detroit,MI.August2005.
88. R.Mangharam,S.Pollin,B.Bougard,R.Rajkumar,F.Catthoor,L.VanderPerre,"Optimalfixedandscalableenergymanagementforwirelessnetworks"IEEEINFOCOM,March2005.
89. S.Pollin,B.Bougard,R.Mangharam,L.VanderPerre,F.Catthoor,R.Rajkumar,I.Moerman"Optimizingtransmissionandshutdownforenergy-efficientpacketschedulinginsensornetworks"EuropeanWorkshoponWirelessSensorNetworks(EWSN).January2005.
90. R.Mangharam,M.Demirhan,R.Rajkumar,andD.Raychaudhuri,“Sizematters:Size-basedschedulingforMPEG-4overwirelesschannels”SPIE&ACMProceedingsinMultimediaComputingandNetworking(ACMMMCN).Vol.3020pp.110-122.SanJose,CA,January2004.
Curriculum Vitae – Rahul Mangharam Page 10 of 33
PUBLICATIONS(BOOKCHAPTERS)
84. A.Rowe,R.MangharamandR.Rajkumar,“FireFly:ATimeSynchronizedReal-TimeSensorNetworkingPlatform.”WirelessAdHocNetworking:Personal-Area,LocalArea,andSensorNetworks,CRCPress.2007.
PUBLICATIONS(OTHER)
85. YashV.Pant,HoussamAbbasandRahulMangharam,“DistributedplanningofMulti-rotordronefleetsusingtheSmoothRobustnessofSignalTemporalLogic”in4thWorkshoponMonitoringandTestingofCyber-PhysicalSystems(CPS-IoTWeek),Montreal,Canada.April2019.
86. R.Mangharam;M.Reyerson;Viscelli,Steve;Balakrishanan,Hamsa;Bayen,Alexandre;Amin,Surabh;Richards,Leslie;Bagley,Leo;Pappas,George,“MOBILITY21:StrategicInvestmentsforTransportationInfrastructure&Technology”.AComputingCommunityConsortium(CCC)whitepaper.eprintarXiv:1705.01923
87. R.Mangharam.“DistributedControl-as-a-ServicewithWirelessSwarmSystems”InternationalWorkshoponSwarmattheEdgeoftheCloud,ESWeek,Montreal,Canada,October2013.
88. R.Mangharam.“ProfilingAnytimeAlgorithmsforReal-TimeComputing”WorkshoponBenchmarkingofEmbeddedSystems,ESWeek,Montreal,Canada,October2013.
89. Y.Pant,T.NghiemandR.Mangharam.“KnockNOx:Model-basedofflinediagnosticsofaDieselExhaustControlSystem”IEEEReal-TimeandEmbeddedTechnologyandApplicationsSymposiumWork-in-Progress(IEEERTAS).April2013.
90. S.Diaz,H.Jain,Y.Pant,W.PriceandR.Mangharam.“ProtoDrive:AnExperimentalPlatformforElectricVehicleEnergySchedulingandControl”33rdIEEEReal-TimeSystemsSymposium(RTSS@Work).PuertoRico,Dec2012.
91. W.H.Bernal,M.Behl,T.NghiemandR.Mangharam.“MLE+:AToolforIntegratedDesignandDeploymentofEnergyEfficientBuildingControls”33rdIEEEReal-TimeSystemsSymposium(RTSS@Work).Dec2012.
92. V.Sampath,S.Sarode,S.Radhakrishnan,Z.Jiang,M.PajicandR.Mangharam.“PacemakerVerificationSystem”.DemoandPosteratIEEE/ACMCPSWeek.April2012.
93. M.PajicandR.Mangharam.“ArchitectureforaFullyDistributedWirelessControlNetwork”.Demo,andPosteratIEEE/ACMCPSWeek.April2011.
94. Z.Jiang,M.PajicandR.Mangharam.“Closed-loopTestingforImplantableCardiacPacemakers”.DemoandPosteratIEEE/ACMCPSWeek.April2011.
95. M.Behl,M.Aneja,H.JainandR.Mangharam.“EnRoute:AnEnergyRouterforEnergy-EfficientBuildings”.DemoandPosteratIEEE/ACMCPSWeek.April2011.
96. U.Drolia,Z.Wang,S.Vemuri,M.BehlandR.Mangharam.“AutoPlug-AnAutomotiveTest-bedforECUTesting,ValidationandVerification”.DemoandPosteratIEEE/ACMCPSWeek.April2011.
97. P.Martin,W.EtterandR.Mangharam,“R.A.V.E.N.-RemoteAutonomousVehicleExplorerNetwork”.DemoandPosteratIEEE/ACMCPSWeek.April2011.
98. R.Mangharam,“AutoPlug:AnOpenExperimentalPlatformforAutomotiveECUTesting,UpdatesandVerification”.NSF/USCARAutomotiveCPSWorkshop,Troy,Michigan.March2011.
99. W.H.BernalandR.Mangharam,“FromControltoScheduling:anElasticExecutionModel”IEEEReal-TimeSystemsSymposium(RTSS),Work-in-Progress.Dec2010.
100. M.BehlandR.Mangharam,“PacerCars:Real-TimeTrafficShockwaveSuppression”IEEEReal-TimeSystemsSymposium(RTSS),Work-in-Progress.Dec2010.
101. Z.Jiang,M.Pajic,A.T.ConnollyandR.Mangharam.“APlatformforImplantableMedicalDeviceValidation”.DemoandPosteratWirelessHealthConference.October2010.
Curriculum Vitae – Rahul Mangharam Page 11 of 33
102. M.PajicandR.Mangharam.“EmbeddedVirtualMachinesforWirelessIndustrialAutomation”DemoandPosteratIEEE/ACMCPSWeek.April2009.
103. M.PajicandR.Mangharam.“RuntimeApproachesforEmbeddedWirelessControl-ActuatorNetworks”atIEEEReal-TimeSystemsSymposium(RTSS),PhDForum.Dec2009.
104. M.Pajic,Z.Jiang,A.T.ConnollyandR.Mangharam.“AFrameworkforValidationofImplantableMedicalDevices”.Demo,PosterandWork-in-ProgresspaperatIEEE/ACMCPSWeek.April2010.
105. A.A.Saba,S.MohanandR.Mangharam.“AnytimeAlgorithmsforMulticoreArchitectures”in22ndEuromicroConferenceonReal-TimeSystems,Work-in-ProgressSession,(IEEEECRTS).July2010.
106. R.MangharamandM.Pajic.“EmbeddedVirtualMachinesforRobustWirelessControlSystems”.Proc.ofthe29thIEEEInternationalConferenceonDistributedComputingSystemsWorkshops.2009.
107. R.Mangharam.“Real-TimeTrafficCongestionPrediction”.NSF-NCO/NITRDNationalWorkshoponHighConfidenceTransportationCyber-PhysicalSystems.Nov2008.
108. R.Mangharam.“MixedReality,NowaReality-NetworkVirtualizationforReal-TimeAutomotive-CPSNetworks”.NSF-NCO/NITRDNationalWorkshoponHighConfidenceAutomotiveCyber-PhysicalSystems.2008.
109. R.MangharamandM.Demirhan,“Performanceandsimulationanalysisof802.15.3QoS”IEEE802.15.3StandardsMeeting,Vancouver,Canada.Feb2002.
HARDWAREandSOFTWAREARTIFACTS
1. F1/10:AutonomousRacingCars(2016-Present)http://f1tenth.org
2. “SMOOTHOPERATOR”:ControlUsingtheSmoothRobustnessofTemporalLogic.Y.V.Pant,H.Abbas,R.Mangharamhttps://github.com/yashpant/SmoothOperator
3. “FLY-BY-LOGIC”:AToolformulti-droneplanningusingTemporalLogicObjectives(2018-Present)Y.V.Pant,R.A.Quaye,H.Abbas,A.Varre,R.Mangharamhttps://github.com/yashpant/FlyByLogic
4. DR-Advisor:Data-drivenDemandResponseRecommenderSystemhttp://mlab.seas.upenn.edu/dr-advisor(2015-2017)
5. MLE+:AToolforIntegratedDesignandDeploymentofEnergyEfficientBuildingControlsathttp://mlab.seas.upenn.edu/mlep/(2012-2018)
6. ProtoDrive:AnExperimentalPlatformforElectricVehicleEnergySchedulingandControl.http://mlab.seas.upenn.edu/protodrive/(2012-2017)
7. En-RouteEnergyRouter:Energy-EfficientBuildingControlandSchedulingTest-bed.2010-Present
8. Open-ISA100.11a:Opensoftwarestackforstandardizedindustrialwirelesscontrolautomation.http://mlab.seas.upenn.edu/openisa/(2011-2016)
9. PacemakerVerificationSystem:Platformforclosed-looptestingandverificationofmedicaldevices.http://pvs.medcps.org/(2012-Present.)
10. HAWK:PlatformforHelicopterAircraftWieldingKinectforsearchandrescueinbuildings(2012.)
11. HapticBeltforBlind:Platformforindoorandoutdoorguidanceforblindpersons(2011-2016)
12. AutoPlug:OpenAutomotiveArchitectureforPlug-n-PlayServices.Open-sourcesoftwareathttp://www.autoplug.org/(2011-2016)
13. AirHacks:OpenUnmannedAerialVehiclePlatform(Quadrotor)athttp://airhacks.org/(2011-2014)
14. PennVirtualHeartModelandClosed-loopImplantableDeviceModelsformedicaldevicesoftwarevalidationandverification.Open-sourceMatlab/Simulinkmodels(2011-Present)
Curriculum Vitae – Rahul Mangharam Page 12 of 33
15. AutoMatrix:Large-scaleTrafficCongestionSimulatorforestimatingandpredictingcongestionwithover16millionvehicles(2011-2014)
16. GrooveNet2.0:HybridNetworkSimulatorforVehicle-to-VehicleNetworking.Bothrealandsimulatedvehiclescancommunicate.Over65researchinstitutionshavedownloadedGrooveNet.http://mlab.seas.upenn.edu/groovenet/(2011-2017)
17. RT-LinkTDMAprotocolforIEEE802.15.4sensornetworks.Co-developedwithAnthonyRowe.GraduatecoursetaughtusingRT-LinkontheFireFlysensornetworkplatform.http://nano-rk.org/(2006-2016)
18. IEEE802.15Link-layerSchedulingFrameworkforns-2networksimulator.Co-developedwithMustafaDemirhan.Over40researchinstitutionshavedownloadedthesoftware(2003-2006)
RESEARCHGROUP
1. MatthewO’Kelly(Ph.D.Candidate,ESE)–AutonomousVehiclePlanVerificationandExecution2. KukJang(Ph.D.Candidate,ESE)–Computer-AidedClinicalTrials3. JiyueHe(Ph.D.Candidate,ESE)-MedicalCyber-PhysicalSystems4. AlenaRodionova(Ph.D.Candidate,ESE)–RobotSafetyLawsforAutonomousSystems5. HongruiZheng(MSRoboticsgraduate,ResearchAssociate)–PlanningandControlforSafeAutonomous
Vehicles6. SiddharthSingh(MS,Robotics,MechanicalEngineering)–PerceptionandControlforSafeAutonomous
Vehicles7. JosephAuckley(MS,Robotics,ComputerScience)–AutonomousVehicleSimulatorandRacelineOptimization
8. ShashankPrasad(MS,EmbeddedSystems)–SensorfusionforAutonomousNavigation
9. DhruvKarthik(MS,Robotics,ComputerScience)–Thesis:VisionandLearningforAutonomousSystems
10. Dr.JinsungKim,VisitingScholar,SeniorResearchEngineer,PowertrainPerformanceDevelopmentCenter,R&DDivision,HyundaiMotorCompany,RepublicofKorea
11. YideZhao(BS,ElectricalEngineering)–Thesis:Fly-b-Logic:AutonomousAirTrafficControlToolchain
12. DanyangLi(MS,ElectricalEngineering)–LearningtoFly:ExperimentaltestbedforautomatictrajectorysynthesisfromSTLtemporallogicmissionspecifications
13. MatthewLebermann(BS,MechanicalEngineering)–Multi-vehicletestbedforautonomousracing
14. MichelleWhite(BS,BiomedicalEngineering)–Thesis:Data-drivenalgorithmsforAnti-TachycardiaPacinginimplantablecardiacdevices
Alumni
1. HoussamAbbas(Post-doc,2015-2018)–HybridSystemsandFormalVerification CurrentlyTenure-trackAssistantProfessoratOregonStateUniversity,DepartmentofElectricalEngineering
andComputerScience.
2. MarcoBeccani(Post-doc,ESE,2015-2017)–MedicaldeviceplatformsforComputer-AidedClinicalTrialsCurrentlyatHardwareEngineeratApple
3. ZhihaoJiang(CIS,2017)–Dissertation:“FromVerifiedModeltoVerifiedCodeforSafeMedicalDevices”.CurrentlyTenure-trackAssistantProfessorinSchoolofInformationScienceandTechnologyatShanghaiTechUniversity.
4. MadhurBehl(ESE,2017)–Dissertation:“Data-DrivenModeling,ControlandToolsforCyber-PhysicalEnergySystems.”Currently,AssistantProfessoratUniversityofVirginia,DepartmentofComputerScienceandDepartmentofSystems&InformationEngineering
Curriculum Vitae – Rahul Mangharam Page 13 of 33
5. MiroslavPajic(ESE,2012)–Dissertation:“ClosingtheLoop:ArchitecturesandAlgorithmsforReal-TimeControloverWirelessNetworks”JosephandRosalineWolfBestDissertationAward.NetworkControlledCyber-PhysicalSystems.Currently,AssistantProfessor(Tenure-track)atDuke.
6. TruongX.Nghiem(ESE,2012)–Dissertation:“GreenSchedulingforEnergySystems”(co-advisedwithGeorgePappas).Post-docatEPFL,Switzerland.Currently,AssistantProfessor(Tenure-track)atNorthernArizonaUniversity
7. YashV.Pant(ESE,2019)–Dissertation:“SafePlanningandControlofAutonomousSystems:RobustPredictiveAlgorithms”.CurrentlyapostdocinUCBerkeleywithSanjitSeshia,ClaireTomlinandShankarSastry.
8. AchinJain(ESE,2019)–LearningandControlforCyber-PhysicalSystems.CurrentlyintheAmazonAIPlatformsgroup.
Undergraduatestudentsactiveinthelab:
1. MichelleWhite,BioEngineering(VIPERprogram)–Data-drivenAnti-TachycardiaPacingAlgorithmsforimplantablecardioverterdefibrillators
2. MatthewLebermann,ElectricalEngineering(VIPERprogram)–F1/10AutonomousRacing:RaceAnalyticswithComputerVision
3. DhruvKarthik,ComputerScience–LearningandPerceptionwiththeF1/10AutonomousRacingproject
4. YideZhao,ComputerScience–AutonomousAirTrafficController:Multi-droneplanningexperiments
5. RenukanandanTumu,ComputerScience–Data-drivenArrhythmiaDiscriminationforimplantablecardiacdevices
6. ClaudiaHejazi-Garcia,BioEngineering–VirtualHeartModelingandControlforimplantablecardiacdevices
UndergraduateSeniorDesignandMastersThesis:
1. CabirKansupadaandVeerSobti:SeniorDesign:Utility-scaleEnergyStorageFinancialOptimization,2020
2. DerekNong,ESE:InteractiveAnalyticsforDemand-sideEnergyManagement,2017-2019.
3. AkarshVarre,MSESE:Fly-by-LogicToolchainforMulti-DroneMissionPlanning,2018-2019.
4. JohnHarkins,ESE:F1/10AutonomousRacingAVStackforcourseandcommunity,2019
5. ChristopherKao,MSRobotics:Near-poseEstimationwithMonocularCamera-basedAVNavigation,2019.
6. YashPalkhiwala,RadhikaKatti,EvansYatichandGeorgePoon:SeniorDesign:UrbanDrone–Spatial,TemporalandReactiveGuranteesforMulti-droneMissions.2018-19.
7. MackShoer,MSRobotics:ConvexOptimizationofTrajectoriesandSpeedsforAutonomousRacing,2019.
8. RitikaGupta,MSEE:Fly-by-LogicToolchainforMulti-DroneMissionPlanning,2019.
9. JosephHiebert,MS,ESE:Data-drivenModelPredictiveControlforSmartBuildings,2018
10. SwethaSubramaniam,Sophomore,ESE:ElectricitypriceanalysisinthePJMelectricgrid.2018.
11. RhudiiQuaye,MSRobotics:Spatial,TemporalandReactiveguaranteesforAutonomousAirTrafficControl.2017-2019.
12. ArvindRamesh,MSEmbeddedSystems:OptimizationaReal-TimeOperatingSystemforEmbeddedControllers.2017.
13. ArchanaRamachandran,MSEmbeddedSystems:DevelopingtheArduino-from-ScratchLabs,2017.
14. TrevorPennypacker,ESE:DesignconceptsfortheF1/10AutonomousRaceCar,2017.
15. ThejasKesari,MSEmbeddedSystems:ImplementationofSLAMalgorithmsforAutonomousDriving,2017-18
16. NiteshSingh,MSEmbeddedSystems:ImplementationofSLAMalgorithmsonCPUandGPU,2017-18.
17. RishabGupta,MSEmbeddedSystems:LocalInterpretationusingDecisionTrees,2017.
Curriculum Vitae – Rahul Mangharam Page 14 of 33
18. NikheelSavant,MSEmbeddedSystems:Model-exchangeProtocolforConnectedAutonomousVehicles,2017
19. ParilJain,MSEmbeddedSystems:Autonomousnavigationatthelimitsofcontrol,2016-17.
20. NischalKN,MS,EmbeddedSystems:SimulationFrameworkforF1/10AutonomousCar,2016-17.
21. TimothyHu,MSEmbeddedSystems:Vision-basednavigationfortheF1/10AutonomousRacecar.2016.
22. CarterSharer,CMUECE:BuildingaRoboticsUndergraduateCurriculumatPenn,2015-16.
23. AshmeetRekhi,MSEmbeddedSystems:ImmersiveandInteractiveEntertainmentSysteminxLAB.2015-16.
24. ZhiLi,MSESE:SensorfusionforAutonomousVehicleNavigation,2015
25. SrinivasEkambaram,MSEmbeddedSystems:SensorfusionforAutonomousVehicleNavigation,2015
26. KlydeBreitton,CS:InteractiveandInterconnectedGamingBlocksinxLAB2015.
27. HonneshRamachandra,MSEmbeddedSystems:HeartonChipplatformfortestingimplantablecardiacpacemakers.2015
28. DarshanLingaraj,MSEmbeddedSystems:InteractiveEntertainmentinxLAB.2014
29. AshokVaidyanathan,MSEmbeddedSystems:InteractiveActivitySurfacesinxLAB.2014
30. SmitaBailur,MSEmbeddedSystems:InteractiveActivitySurfacesinxLAB.2014
31. KaranSawahney,MSEmbeddedSystems:i-TV:ThenextgenerationsettopboxinxLAB.2014.
32. ArunVenkatraman,MSEmbeddedSystems:HapticVestforImmersiveEntertainmentinxLAB.2014.
33. HarshJain,MS,ESE.WirelessControlforIndustrialAutomationandProtoDrive:ElectricVehicleTest-bed.WinnerofHoneywellWirelessControlAutomationAward,2011.3rdPrizeinWorldEmbeddedProgrammingCompetition,Korea.2012.DistinguishedRecognitionAwardinIntel/CornellEmbeddedSystemsCup2013.
34. WilliamPrice,Senior,EE&MEAM,ProtoDrive:ElectricVehicleTest-bed.3rdPrizeinWorldEmbeddedProgrammingCompetition,Korea.2012.
35. TaoLei,MS,ESE.TrafficSignalSchedulinginPhiladelphia.AlsodevelopedCloudServicesforMLE+forenergy-efficientbuildingmodelingandcontrol.2012-13.
36. NeelShah,MS,EmbeddedSystems.En-RouteEnergyRouterTest-bedforEnergyEfficientBuildings.2012-13.
37. PraveenPitchai,MS,Robotics.VisionIntegratedOperatingSystemforComcastCableSet-topboxofthefuture.Computervisionandmachinelearning.2012-13
38. RajeevKumar,MS,Robotics.VisionIntegratedOperatingSystemforComcastCableSet-topboxofthefuture.Cloud-basedinteractiveprocessing.2012-13
39. AbhijeetMulay,MS,EmbeddedSystems.ProtoDrive:ElectricVehicleTest-bed.FinalistforIntel/CornellCupforEmbeddedSystems.DevelopedZipCare:awearablewirelessEKGheart-monitoringpatch.2012-13.
40. ShashidharReddy,MS,EE.VisionIntegratedOperatingSystemforComcastCableSet-topboxofthefuture.Platformarchitectureandimmersiveexperience.2012-13
41. RajibDutta,MS,EmbeddedSystems.ZipCareWearableHeartandActivityMonitor.2012-13.
42. TanvirAhmed,Junior,ComputerEngineering.VisionIntegratedOperatingSystemforComcastCableSet-topboxofthefuture.Userinterfaceandinteraction.2013.
43. AlfredoMuniz,Sophomore,ComputerEngineering.ProtoDrive:ElectricVehicleTest-bed.2013.
44. ParthPatel,Freshman,ElectricalEngineering.ProtoDrive:ElectricVehicleTest-bed.2013.
45. AzrielSamson,MS,EmbeddedSystems.OpenISA100.11anetworkstackforindustrialautomation.2012-13.
46. VigneshAnanthaSubramanian,MS,EmbeddedSystems.Open-sourceISA100.11anetworkstackforindustrialautomation.2012-13.
Curriculum Vitae – Rahul Mangharam Page 15 of 33
47. EricBerdinis,Senior,CE.WinnerofGoogleZeitgeistAward,IntelInnovatorsAward,Intel/CornellEmbeddedSystemsCup–People’sChoiceAward.
48. JeffKiske,Senior,CE.WinnerofIntelInnovatorsAward,Intel/CornellEmbeddedSystemsCup–People’sChoiceAward.
49. ChenZheng,MSEE.ElectricityControllerCloudArchitecture.2011-12.
50. HaofangYuan,MSEE.SolarSkinforEnergyEfficientBuildings.2011-12.
51. ChenyanSun,MSEE.DesignanddevelopmentoftheISA100.11aWirelessStandardforIndustrialAutomation.2011-12.
52. VarunSampath,Senior,CE.WinnerofSEAS2012SeniorDesignCompetition.WinnerofHonorableHaroldBergerSeniorDesignProjectAward,2012.Finalist,WorldEmbeddedCompetition,Korea.
53. SriramRadhakrishnan,Senior,ESE.WinnerofSEAS2012SeniorDesignCompetition.WinnerofHonorableHaroldBergerSeniorDesignProjectAward,2012.Finalist,WorldEmbeddedCompetition,Korea,2012.
54. ShilpaSarode,Senior,ESE.WinnerofSEAS2012SeniorDesignCompetition.WinnerofHonorableHaroldBergerSeniorDesignProjectAward,2012.Finalist,WorldEmbeddedCompetition,Korea,2012.
55. WilliamEtter,Senior,ESE.AwardedVagelosUndergraduateResearchGrant.WinnerofFrederickKettererMemorialAwardforBestSeniorDesignProject2011.
56. TheodoreZhang,Senior,ESE.Intel/CornellEmbeddedSystemsCupWinner2012.HonorableMentionAward,SEASSeniorDesignCompetition2012.
57. KevinConley,Senior,ESE.AwardedRachleffScholarScholarship.Awarded1stPrizeinWorldEmbeddedSoftwareCompetition,Korea,November2010.
58. TeddyZhang,MatthewHaleandPaulGurniak,SeniorDesignTeam.
59. PaulMartin,Senior,ESE.AwardedVagelosUndergraduateResearchGrant.WinnerofFrederickKettererMemorialAwardforBestSeniorDesignProject2011.
60. GabeTorres,Senior,CIS.Winnerof1stPrizeSeniorDesignAward,CISDepartment2011.
61. RossBoczar,Senior,ESE.Winnerof1stPrizeSeniorDesignAward,CISDepartment2011.
62. JasonSuapengc,CIS.Winnerof1stPrizeSeniorDesignAward,CISDepartment2011.
63. AnuSukumaran,MS,ESE.FirstjobatLutronElectronics.
64. UtsavDrolia,MS,ESE.NowPh.D.studentatCarnegieMellonUniversity.
65. DannyLustig,WinnerofHaroldBergerSeniorDesignProjectAward,2009.Ph.D.atPrincetonUniversity.
66. AndrewAvrin,WinnerofHaroldBergerSeniorDesignProjectAward,2009.NowatGoogle.
67. StevenZ.Wang,MS,ESE.FirstjobatMotorola,Michigan
68. SrinivasVemuri,MS,ESE.FirstjobatGEHealthcare,Milwaukee
69. MansimarAneja,MS,Robotics.FirstjobatBOSCHResearch(Pittsburgh)
70. BrandonDuick(Boeing),WinnerofHaroldBergerSeniorDesignProjectAward,2009.NowatLockheedMartin.
71. JasonDeLisser,2010.NowatL3Communications.
72. AvinashRajput,2009.FirstjobatMERK,AutomationDivision.
73. SunilSadasivan(Cisco),2010.CTOofBuffer.com
74. RoopKumarKalimuthu(Penn),2009
75. MalolanShantanakrishnan(MathWorks),MSresearchon“DualRadioPlatformforSensorNetworks”.2006.
76. MarkHamilton(CMU),BSHonorsresearchon“SafetyProtocolsinVehicularNetworks”inFall2006.
Curriculum Vitae – Rahul Mangharam Page 16 of 33
77. DanWeller,BSHonorsThesison“VehicleNetworkSimulation”inSpring2006.CompletedPh.D.atMIT.WinnerofCarnegieInstituteofTechnologyHonorsResearchCompetition.
78. RyoheiSuzuki(TokyoUniversity),VisitingScholarwithfocuson“TopologyDiscoveryandSchedulingforTDMASensorNetworks”inFall2005.
79. Jalaja Kurubarahalli (Cisco), Masters Thesis on “GeoRoute: An In-vehicle System for Geographic Routing inVehicularNetworks”inSpring2005.
80. Chih-YuanLiao(Qualcomm),MastersThesison“NetworkTilesforConcurrentTransmissioninWirelessMeshNetworks”inSpring2003.
81. YoshisatoTakeda(MitsubishiElectric),MastersThesison“PAQ-MAC:Power-AwareMACProtocolforWirelessNetworkswitha2-PacketBuffer”inSpring2002.
UndergraduateREUStudents:
1. NandanTumu,UniversityofConnecticut,ComputerScience.2019• DevelopedShockinglyEffective:Data-DrivenAlgorithmsforImplantableCardiacMedicalDevices• HonorableMentionforBestPennEngineeringSummerProject
2. SantiagoGonzalez,CaseWesternReserveUniversity,ElectricalEngineering,2018• DevelopedWattsApp:AnEnergyAnalyticsandDemand-ResponseAdvisorTool
3. KevinVolkel,Wilkes-BarreUniversity,ElectricalEngineering.2016• DevelopedComputer-aidedPre-clinicalTrialsforImplantableMedicalDevices:TestAutomationPlatform• ContinuedontoPh.D.atNorthCarolinaStateUniversity(2017)
4. GeorgeChen,JohnsHopkinsUniversity,BiomedicalEngineering.2013• WonBestSummerResearchAwardinSEAS.• SelectedforCRAEngineeringEducationAwardeesConference,Oct2013.• ContinuedontoAdeccoatGoogle(Moonshot)
5. StephanieDiaz,SUNYBinghamton,ElectricalEngineering.2012• DevelopedProtoDrive:ElectricVehiclePlatform.• Publishedresearchin33rdIEEEReal-TimeSystemsSymposium,RTSS@Work,PuertoRico,2012.• ContinuedontoTheJohnsHopkinsUniversityAppliedPhysicsLaboratory
6. KevinConley,Penn,Electrical&SystemsEngineering.2012• AwardedRachleffScholarScholarship.WonBestSummerResearchAwardinSEAS.• Won1stPrizeinWorldEmbeddedCompetition,Seoul,Koreain2010fortheAutoPlugproject.• ContinuedontoStanfordforgraduatestudies.
7. PeterMalamas,JohnsHopkinsUniversity,BiomedicalEngineering.2011• Developed3DElectrophysiologicalHeartModelforReal-timeInteractionwithPacemakers.• ContinuedontoNYUSchoolofMedicine
8. UchennaKevinAnyanwu,CaliforniaStateUniversityatSanJose,ElectricalEngineering.2009.• DevelopedGrooveNet3.0VehicularNetworkSimulator.• ContinuedontoPh.D.atVirginiaTech.
9. AllisonConnolly,JohnsHopkinsUniversity,BiomedicalEngineering.2009-10• DevelopedtheReal-TimeHeartModel.Co-authoredthreepapersinIEEEECRTS,IEEEEMBCandRTAS• SelectedforNSFEngineeringEducationAwardeesConference,Jan2010.• ContinuedontoPh.D.atU.Minnesota(2010).
PATENTSFILED
1. U.S.PatentApplicationSerialNo.16/563,241SYSTEMSANDMETHODSFORCONTACTLESSCRANIO-MAXILLO-FACIALDISTRACTION
Curriculum Vitae – Rahul Mangharam Page 17 of 33
2. UnitedStatesPatentApplicationSerialNo.16/515,854forCONTROLOFMULTI-DRONEFLEETSWITHTEMPORALLOGICOBJECTIVES
3. U.S.PatentApplicationSerialNo.15/380,058forMETHODS,SYSTEMS,ANDCOMPUTERREADABLEMEDIAFORADATA-DRIVENDEMANDRESPONSE(DR)RECOMMENDER
4. U.S.PatentApplicationSerialNo.62/309,087,SYSTEMSOFSTACKINGINTERLOCKINGBLOCKS
5. U.S.PatentApplicationSerialNo.15/389,085forMETHODS,SYSTEMS,ANDCOMPUTERREADABLEMEDIAINVOLVINGACONTENTCOUPLEDPHYSICALACTIVITYSURFACE
PROFESSIONALSERVICE
ConferenceOrganization1. ProgramCo-Chair,NSFFrontiersCyberCardiaMedicalCyber-PhysicalSystemsWorkshop,EmbeddedSystems
Week,NY2. ProgramCo-Chair,IEEECOMSNETS9thIntl.ConferenceonCommunicationSystems&Networks,20173. ProgramCo-Chair,ACMSIGBEDInternationalConferenceonEmbeddedSoftware(EMSOFT),20164. ProgramCo-ChairIEEEReal-TimeSystemsSymposium(RTSS),December20155. ProgramCo-Chair,ACMConf.onEmbeddedSystemsforEnergy-EfficiencyinBuildingEnvironments
(BuildSys),November20156. ProgramCo-Chair,6thMedicalCyber-PhysicalSystemsWorkshopatCPSWeek,Seattle.April20157. ProgramChair(DemosandPosters),ACMConferenceonEmbeddedSystemsforEnergy-EfficiencyInBuildings
(BuildSys),November20148. ProgramCo-Chair,4thMobileHealthWorkshopatACMMobiSys,Philadelphia,August20149. ProgramCo-Chair,5thMedicalCyber-PhysicalSystemsWorkshopatCPSWeek,Berlin.April201410. ProgramChair,CPSIndustryTrack,19thIEEEReal-TimeandEmbeddedTechnologyandApplications
Symposium(RTAS),Philadelphia,April201311. ProgramCo-Chair,4thMedicalCyber-PhysicalSystemsWorkshopatCPSWeek,Philadelphia.April201312. ProgramCo-Chair,18thIEEEReal-TimeandEmbeddedTechnologyandApplicationsSymposium(RTAS),
Beijing,China.April201213. ProgramCo-Chair,2ndIEEEAnalyticVirtualIntegrationofCyber-PhysicalSystemsWorkshop,Co-locatedwith
RTSS,Dec201114. ProgramChair,3rdIEEEJointWorkshoponHigh-ConfidenceMedicalDevicesSoftwareandSystems,Co-located
withCPSweekChicago,IL.April2011ConferenceActivities
MemberofOrganizingCommittee SteeringCommitteeforACM/IEEEEMSOFT(2018-2020)andACMBuildSys(2017-2020),ACMIPSN(2014),IEEEMedicalCPS(2014),AVICPS(2014),IEEEMedicalCPS(2013),IEEERTAS(2013),IEEEHCMDSS(2011),IEEECOMSNETS(2009,2010),IEEECOMSWARE(2008),IEEEINFOCOM(2010),IEEEINSS(2009)andseveralmore.MemberofProgramCommittee1. IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS),20202. IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS),20193. FORMATS'15,E-Energy'15,WFCS'15,LCTES'15,ICCPS'164. 12thEuropeanConferenceonWirelessSensorNetworks(EWSN),20155. ACMConferenceonFutureEnergySystems(E-Energy),20156. ACMSIGPLANConferenceonLanguages,Compilers,andToolsforEmbeddedSystems(LCTES),2015
Curriculum Vitae – Rahul Mangharam Page 18 of 33
7. IEEESymposiumforReliableDistributedSystems(SRDS),20158. ACMInternationalConferenceonInformationProcessinginSensorNetworks(IPSN),20159. IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS),201510. IEEEInternationalConferenceonCyber-PhysicalSystems,Networks,andApplications(CPSNA),201411. ACMWorkshoponEmbeddedSystemsforEnergy-EfficiencyinBuildings(BuildSys),201412. ACMInternationalConferenceonHighConfidenceNetworkedSystems(HiCoNS),201413. IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS),201414. ACMWorkshoponEmbeddedSystemsForEnergy-EfficiencyInBuildings(BuildSys),201315. IEEEReal-TimeSystemsSymposium(RTSS),201316. IEEEInternationalConferenceonEmbeddedSoftware(EMSOFT),201317. IEEEInternationalConferenceonCyber-PhysicalSystems,Networks,andApplications(CPSNA),2013.18. IEEEInternationalConferenceonCyber-PhysicalSystems(ICCPS),201319. ACM2NDInternationalConferenceonHighConfidenceNetworkedSystems(HiCoNS),201320. IEEEReal-TimeSystemsSymposium(RTSS),201221. ACMInternationalConferenceonInformationProcessinginSensorNetworks(IPSN),201222. IEEEConferenceonSensor,MeshandAdHocCommunicationsandNetworks(SECON),2012.23. IEEEReal-Time&EmbeddedTechnologyandApplicationsSymposium(RTAS),201224. IEEEReal-Time&EmbeddedTechnologyandApplicationsSymposium(RTAS),201125. IEEERTSS,Work-in-Progress,201026. IEEEReal-TimeSystemsSymposium(RTSS),AnalyticalVirtualIntegrationofCPSWorkshop,201027. IEEEReal-Time&EmbeddedTechnologyandApplicationsSymposium(RTAS),201028. ACMINFOCOM,200929. IEEEReal-TimeSystemsSymposium(RTSS),200830. IEEEReal-Time&EmbeddedTechnologyandApplicationsSymposium(RTAS),200831. IEEEInternationalSymposiumonWirelessVehicularCommunications,200832. IEEEMoVeNet,2ndInternationalWorkshoponMobileVehicularNetworks,200833. IEEEInternationalSymposiumonVehicularComputingSystems,200834. IEEEWorkshoponMobileNetworksforVehicularEnvironments,(INFOCOM/MOVE),200835. IEEESymposiumonSelectedAreasofCommunicationofICC,2009
Tutorials,PanelistandSessionChair 1. IEEERTAS,CPSWeek,Philadelphia,PA.April,2013.IndustrialSessionChair.2. IEEEICCPS,CPSWeek,Philadelphia,PA.April,2013.“CPSApplications”SessionChair.3. ConnectedVehicleTest-BedDevelopment&IntegrationWorkshop,Buffalo,NY.Jun,2012.InvitedSpeaker.4. IEEEAnalyticVirtualIntegrationofCyber-PhysicalSystemsWorkshop,SanDiego,CA.Co-locatedwithRTSS,
Dec2010.Panelist.5. IEEERTAS,Stockholm,Sweden,April2010.“WirelessSensorNetworks”SessionChair.6. IEEEICDCS,Montreal,Canada,June2009.“VehicularAdhocNetworks”SessionChair.7. IEEEInternationalWorkshoponCyber-PhysicalSystems(WCPS),Montreal,Canada,June2009.Panelist.8. IEEERTAS,St.Louis,MO,April2008.“QualityofService”SessionChair. 9. IEEEInternationalWorkshoponMobileVehicularNetworks(MoVeNet),Atlanta,GA,September2008.
Panelist.
ConferenceReviewer • IEEEInternationalConferenceonEmbeddedSoftware(EMSOFT),2010• IEEEIntelligentTransportationSystemsMagazine,2010
Curriculum Vitae – Rahul Mangharam Page 19 of 33
• IEEEVehicularNetworkingConference,2009• IEEEInternationalConferenceonEmbeddedSoftware(EMSOFT),2009• IEEE/IFIPInternationalConferenceonEmbeddedandUbiquitousComputing,2009• IEEEInternationalConferenceonComputerCommunicationsandNetworks,2009• IEEEICCSymposiumonSelectedAreasinCommunications,2009• IEEEWirelessCommunicationMagazineSpecialIssueonVANET,2009• IEEEINFOCOM,2009• IEEEWirelessAccessinVehicularEnvironments,2008• IEEEInternationalWorkshoponMobileVehicularNetworks,2008• IEEECommunicationsMagazine,2008• IEEEGlobecom,2008• IEEEWirelessVehicularCommunications,2008• IEEEInternationalSymposiumonVehicularComputingSystems,2008• IEEEINFOCOMMOVE,2008• ACMSECON,2008• IEEECommunicationsMagazine,AutomotiveNetworkingSeries,2007• IEEERTAS2007• Severalothers…
JournalEditorialBoards
1. AssociateEditor,ElsevierJournalofSmartHealth,2018-2. GuestEditor,IEEETransactionsonEmbeddedSystems,SpecialIssueonBestPapersfromIEEERTAS’13.2014.3. GuestEditor,JournalofRealTimeSystems,SpecialIssueonEnergyandSustainability,2014.4. GuestEditor,IEEETransactiononEmergingTopicsinComputing,Sp.IssueonWirelessHealthComp.,2014.5. GuestEditor,IEEEDesign&Test,SpecialIssueonCyber-PhysicalSystemsforMedicalApplications.2014.
JournalReviewer • IEEETransactionsofControl,2012,2013• IEEEReal-TimeSystemsJournal,2012,2013• IEEEJSACSpecialIssueonIn-NetworkProcessing,2012• ACMTransactionsinEmbeddedComputingSystems(TECS),2010• ACMComputingSurveysJournal,2010• IEEENetworkSpecialIssueon"AdvancesinVehicularCommunicationsNetworks”,2009• ElsevierAdhocNetworks,2009• ACMTransactionsonSensorNetworks,2008• IEEEInternetComputing,2008• ACMTransactionsonComputers,2008• ACMTransactionsonMobileComputing,2008• ACMTransactionsonMobileComputing,2007• UBIROADSWorkshop,2007• IEEEJSACSpecialIssueonVehicularNetworks,2007
GovernmentActivities
Curriculum Vitae – Rahul Mangharam Page 20 of 33
1. NSFPanelist,2009-20152. NSFWorkshoponCloudComputingforCyber-PhysicalSystems,Arlington,VA.March2013.Break-out
SessionChair3. Cyber-physicalSystemsPanelatNISTPerformanceMetricsforIntelligentSystems,March2012.Panelist4. ARPA-EEnergy-efficientBuildingTechnologyWorkshop,Arlington,VA.December20095. NSF-NCO/NITRDNationalWorkshoponHighConfidenceTransportationCyber-PhysicalSystems,Arlington,
VA/.Nov2008.Break-outSessionChair6. NSF-NCO/NITRDNationalWorkshoponHighConfidenceAutomotiveCyber-PhysicalSystems,Detroit,MI.
April2008.Break-outSessionChair.7. NSF-NCO/NITRDNewResearchDirectionsinComposableandSystemsTechnologiesforHighConfidence
Cyber-PhysicalSystems,Arlington,VA.July20078. NSFNationalWorkshoponHighConfidenceMedicalDeviceSoftwareandSafety,Boston,MA.June2007.
Break-outSessionChair.
UNIVERSITYACTIVITIES
Director,EmbeddedSystemsMasterProgram June2015–May2020UniversityofPennsylvania,Philadelphia,PAProgramwith72MSstudents-http://www.cis.upenn.edu/prospective-students/graduate/embs.phpCommittees1. FacultySenate,SchoolofEngineeringandAppliedScience,2018-Present2. FoundingCommitteeMember,UndergraduatePrograminComputerEngineering.2009–Present3. FoundingCommitteeMember,Master’sPrograminEmbeddedSystems.2009–Present4. FoundingMember,PRECISECenter,PennResearchinEmbeddedComputingCenter.2009–PresentOutreach1. F1/10AutonomousRacingTutorialsatCyber-PhysicalSystemsWeekandEmbeddedSystemsWeektwice
annually2016-2020.2. FeaturedinEngineeringProfessorVideoProject,EngineeringDeans'AdvisoryBoard(EDAB),Dec20133. Dean’sStudentAdvisoryCouncil.Lectureon“GettingInvolvedinUndergraduateResearch”,Nov20134. GuestlectureonCyber-PhysicalSystemsinIntegratedProductDesigncourse,Nov2013.5. Gave“SeniorDesign.DoneRight”talktoseniorsinESEandCIS.September2013.6. SUNFESTNSFREU.Lectureon“AdventuresinCyber-PhysicalSystems”,August20137. Organized3-sessionworkshopforToyotaEngineersaspartofthePennEnglishLanguagesummer
program,May2012andMay-September2013.8. WomeninComputerScience(WICS)High-schoolDay,GuideandLecturer.May2013.9. GuestlectureonCyber-PhysicalSystemsinIntegratedProductDesigncourse,Nov2012.10. SUNFESTNSFREU.Lectureon“AutomotiveEmbeddedSystems”,August201211. GuestlectureonCyber-PhysicalSystemsinArchitectureDepartment,Nov2013.12. YoungIndiaFellowship:Mentoredstudentsondevelopmentoftechnologiesfortheblind.Team
viSparshwontheAccentureInnovationJockeysAward(France)forthedevelopmentofahapticnavigationbelt.Jan-Dec2012.
13. OrganizedInternationalWorkshoponMobile,WirelessandPervasiveSystemsincollaborationwithNIITUniversity,India.Jan2012
14. SummerAcademyinAppliedScienceandTechnology.MasterLectureforHigh-SchoolStudents,July201015. High-SchoolSummerMentorshipProgram,FacultyOrganizer.July2010
Curriculum Vitae – Rahul Mangharam Page 21 of 33
16. WomeninComputerScience(WICS)High-schoolDay,GuideandLecturer.May2010.17. SUNFESTNSFREU.Lectureon“MedicalCyber-PhysicalSystems”,August201018. HighSchoolGuidanceCounselorsandTeachersDay,GuideandLecturer.November2009
Ph.D.ThesisCommitteeMember1. LoganBeaver,“DecentralizedControlFrameworkforAutonomousAirTrafficControl”,Universityof
Delaware,2020.
2. DavidArney,“MedicalDeviceInteroperabilitywithProvableSafetyProperties”,UniversityofPennsylvania,2019
3. JohannesGiesen,“AutomatedDesignSpaceExplorationofHLSApplicationsonHeterogeneousPlatformswithReconfigurableFabrics”,UniversityofPennsylvania.2019.
4. YorickDeBock,“Hardreal-timeschedulingonvirtualizedembeddedmulti-coresystems”,DepartmentofElectronicsEngineering,UniversiteitAntwerpen,Belgium.2018.
5. MaryamRahmaniheris,“ExecutableClinicalModelsforAcuteCare”,DepartmentofComputerScience,UniversityofIllinoisatUrbana-Champaign.2017.
6. NipunBatra,“SystemsandAnalyticalTechniquesTowardsPracticalEnergyBreakdownsforHomes”,DepartmentofComputerScience,IndraprasthaInstituteofInformationTechnology,Delhi,India.2017.
7. RadoslavIvanov,“Context-AwareSensorFusionforSecuringCyber-PhysicalSystems”,UniversityofPennsylvania.2017.
8. JaewooLee,“Resource-efficientSchedulingonCyber-PhysicalSystemswithMixed-CriticalityandComposability”.UniversityofPennsylvania.2016.
9. SanjianChen,“Model-basedanalysisofuserbehaviorsinmedicalCyber-PhysicalSystems”,UniversityofPennsylvania.2016.
10. AndrewKing,“Foundationsforsafety-criticalon-demandmedicalsystems”,UniversityofPennsylvania,2016
11. Po-LiangWu,“LowComplexitySystemDesignsforMedicalCyber-Physical-HumanSystems”,DepartmentofComputerScience,UniversityofIllinoisatUrbana-Champaign.2014.
12. AlexStyler,“StochasticModelPredictiveControlinHumanDrivenSystems”,CarnegieMellonUniversity,2014
13. JohnM.Mountney,“ParticleFilteringProgrammableGateArrayArchitectureforBrainMachineInterfaces”,DepartmentofElectricalandComputerEngineering,TempleUniversity.2011.
14. AndrewHilton,“EnergyEfficientLoadLatencyTolerance:Single-ThreadPerformancefortheMulti-CoreEra”.UniversityofPennsylvania,July2010
Qualifier(WPE-II)CommitteeMember1. BaekGyuKim,UniversityofPennsylvania,WPE-II,Dec20132. SvilenMihaylov,UniversityofPennsylvania,2009
Instruction1. ESE615F1/10AutonomousRacing:Spring20202. ESE680F1/10AutonomousRacing:Fall20193. ESE350IntroductiontoEmbeddedSystems:Spring2010-20204. ESE519Real-TimeandEmbeddedSystems:Fall2010-20195. ESE680WirelessEmbeddedNetworks:Spring20096. ECE18848GraduateEmbeddedSystems,CarnegieMellonUniversity:Fall20067. ECE18-220FundamentalsofElectricalEngineering,TA,CarnegieMellonUniversity:Spring2001
Curriculum Vitae – Rahul Mangharam Page 22 of 33
TeachingWorkshopsandTutorials1. 2016-2020TwiceAnnualtutorialsonF1/10AutonomousRacingatCyber-PhysicalSystemsWeekand
EmbeddedSystemsWeek2. TutorialtoToyotaengineers,PennEnglishLanguageProgram.“AutomotiveCyber-PhysicalSystems”,May-
August2013andMay-August2014.3. EngineeringFacultyTeachingForum,InvitedSpeaker.“ActiveLearninginLectures”.Nov20124. TutorialatIEEEICCAD.“AlgorithmsforAnalysisandOptimizationofFutureCyberPhysicalSystems”,(with
RaduMarculescu).SanJose,CA.Aug20125. OrganizedInternationalWorkshoponMobile,WirelessandPervasiveSystemsincollaborationwithNIIT
University,India.Jan2012.6. TutorialtoToyotaengineers,PennEnglishLanguageProgram.“VehicletoVehicleNetworks”.May20127. SensorNetworkWorkshop,InstituteforInformationIndustry,Taipei,Taiwan.Nov2005
RESEARCHEXPERIENCE
VisitingScholar,AthensInformationTechnology,Athens,Greece Summer2006InvitedtosetupaSensorNetworklabwiththeFireFlyplatformandhelpdesignacourseonsensornetworksfortheresidentMSstudents.Anexperimentaltest-bedfortracking,sensingandmulti-hopvoicestreamingwasdeployed.Iconducteda1-weekworkshoponnetworkprogramming,timesynchronization,logicaltopologycontrolanddesignforpredictablelifetime.
InternationalScholar,Inter-UniversityMicroelectronicsCenter(IMEC),Leuven,Belgium Fall2003IworkedwithProf.FranckyCatthooronacross-layeroptimizationmethodologytoimprovetheenergyefficiencyofnextgenerationwirelesstransceivers.Theschemedeterminesthelowestenergyconfiguration,atrun-time,ofthephysical layer,communications layerand link layerwhiledeliveringhighqualityvideotrafficovera fadingwirelesslink.Withactualchannelmeasurements,arealpoweramplifierandturbodecoder,wewereabletoreducetheenergyconsumptionby2-5x,whilestreamingrealMPEG-4videoformultipleusers.
VisitingResearcher,IntelLabs,Hillsboro,OR Fall&Summer2002Ultra-WideBandMACProtocol:Aspart of the first design teamonUWB, I designedandanalyzed a link-layerprotocol for multimedia across IEEE 802.15.3.We presented results at IEEE 802 Conference showing a 60%improvementinchannelutilizationforMPEG-4streamsandnonreal-timetrafficwiththeadditionofjustonebytetothedraftprotocol.
INDUSTRYEXPERIENCE
HardwareEngineer,AppleComputerInc.,Cupertino,CA Summer2000AspartofthefirstGigabitEthernetrollout,IdevelopedaperformanceanalysistooltostresstesttheEthernetMACandPHYacrossagridofmachines.SystemprogramminginvolvedPCIbus,MacOSinternals,memorymanagement,TCP/IPstackandtheGigabitInterface.ASICEngineer,MarconiCommunications(FORESystems),Warrendale,PA Spring&Summer1999Aspartofa5-chipASICdesignteamfora250GbpsATM/IPnetworkswitch,IworkedonanASIC.Myworkfocusedonimplementingregistercontrol,statemachineblocksandCRC.
SoftwareEngineer,NationalInstrumentsCorporation,Austin,TX Summer1997DevelopedGPIBdevice-driverarchitectureusingCOM/DCOMmiddleware
Curriculum Vitae – Rahul Mangharam Page 23 of 33
SELECTEDINVITEDTALKS
1. BuildingtheDepartmentofAutonomy January2020
PennEngineeringIndiaAlumniEvent,Mumbai,India
2. Keynote:BuildingSafeAutonomousSystems January2020IEEE/ACMCOMSNETSInternationalConference,Bangalore,India
3. BuildingSafeAutonomousVehicles December2019InternationalSocietyofAutomation(ISA)Symposium,KingofPrussia,PA
4. DecisionAgricultureSystems December2019NSFERCBlueRibbonPanel,WashingtonDC
5. AutonomousSystemsforSmartCities November2019IntroductiontoSmartCitiesSeminar,PennInstituteforUrbanResearch
6. FoundationsofSafeAutonomy November2019IntelAutonomousDrivingCommunityofPartnersSymposium,Portland,OR
7. AutonomousRacingResearchWorkshop November2019NSFCyber-PhysicalSystemsPrincipalInvestigatorsMeeting,WashingtonDC
8. AutonomousRacingCompetitionV October2019Tutorial:GettingstartedwithF1/10AutonomousRacingatColumbiaUniversity,NYNewYorkCity,NY
9. Computer-AidedClinicalTrials October2019InternetofMedicalThingsConference,EmbeddedSystemsWeek,NY
10. MedicalCyber-PhysicalSystemsResearchatPenn October2019NSFFrontiersCyberCardiaMedicalCPSWorkshop,EmbeddedSystemsWeek,NY
11. AutonomousSystemsResearchatPenn September2019Inter-AmericanDevelopmentBank,TransportationDay,WashingtonDC
12. SymbioticDesignforAutonomousSystems September2019SiemensCorporateResearch,Princeton,NJ
13. AutonomousSystemsResearchatPenn August2019ChineseUniversityofHongKong,HongKong
14. BridgingMachineLearningandControls August2019SinBERBestSingapore-BerkeleyAnnualMeeting,Singapore
15. AutonomousAirTrafficControl August2019ElectricalEngineeringandComputerScience,DepartmentSeminarNanyangTechnologyUniversity,Singapore
16. AutonomousSystemsResearchatPenn August2019UCBerkeleyDepartmentSeminar,California
17. LearningandControlusingGaussianProcesses August2019EnergyTechnologiesAreaSeminar,LawrenceBerkeleyNationalLab,Berkeley
18. DataDistributionSystemsforAdvancedDriverSafetySystems August2019Real-TimeInnovations,MountainView,CA
19. BridgingMachineLearningandControls July2019AmericanControlsConference,Philadelphia
20. AutonomousSystemsResearchatPenn June2019
Curriculum Vitae – Rahul Mangharam Page 24 of 33
GeneralMotorsR&DSeminar,Michigan
21. AutonomousSystemsResearchatPenn May2019Drexeldepartmentalseminar,Philadelphia
22. AutonomousAirTrafficController May2019NASAFormalMethodsConference,Houston
23. BuildingSafeAutonomousVehicles April2019YoungPresidentsOrganizationAnnualMeeting,Philadelphia
24. AIforSmartBuildings April2019VagelosIntegratedPrograminEnergyResearch(VIPER)Seminar
25. Organizer:AutonomousRacingCompetitionIV April2019Tutorial:GettingstartedwithF1/10AutonomousRacing,Montreal,Canada
26. F1/10AutonomousRacing April2019VentureCafe,Philadelphia
27. BuildingSafeAutonomousVehicles February2019RutgersUniversityDepartmentSeminar,NJ
28. Driver'sLicenseTestforDriverlessVehicles December2018ConferenceonControlandDecisionSystems(CDC),Miami
29. BuildingtheDepartmentofAutonomy November2018LectureandDemoinNewCollegeHouse,UPenn
30. ComputerAidedDesignforSafeAutonomousVehicles November2018NewYorkUniversityUTCSeminar
31. VerificationofRobotSafetyLawsforAutonomousVehicles October2018IntelScienceandTechnologyCenter,AnnualReview,SantaClara,CA
32. BuildingSafeAutonomousVehicles October2018NJAmericanSocietyofSafetyProfessionals,NJ
33. UnderstandingthePowerofAIinRetail,AutomotiveandEnergyMarkets October2018WhartonSAFEAStrategicLeadershipProgram,Philadelphia
34. AutonomousVehicleSoftwareVerificationandSafetyCertification October2018Tech360BusinessTechnologyConference,Malvern,PA
35. Mobility21ResearchatUniversityofPennsylvania October2018Mobility21Next-GenerationTruckFreightTransportationSummit
36. SafetyBenchmarksforAutonomousVehicles October2018NSFUS-GermanHighlyAutomatedVehiclesWorkshop
37. ADriver'sLicenseTestforDriverlessVehicles October2018PennIndiaSymposium
38. FromVerifiedModelstoVerifiedCodeforImplantableMedicalDevices September2018PennManagementandTechnologyLecture,Philadelphia
39. AIforSmartBuildings September2018TEDxLauderinstitute,Philadelphia,PA
40. SafeAutonomyResearchatUniversityofPennsylvania July2018UniversityofAntwerp,Belgium
41. RobustnessGuidedTestingforAutonomousVehicles July2018DepartmentalSeminar,SiemensPLC,Leuven,Belgium
Curriculum Vitae – Rahul Mangharam Page 25 of 33
42. SafeAutonomyResearchatUniversityofPennsylvania July2018InstituteSeminar,IMEC,Leuven,Belgium
43. SafetyCertificationforAutonomousVehicles June2018NSFAutonomousVehiclesTruckingWorkshop,WashingtonDC
44. ADriver'sLicenseTestforDriverlessVehicles May2018SmartDrivingSummit,PrincetonUniversity
45. 2ndF1/10AutonomousRacingInternationalCompetition April2018Cyber-PhysicalSystemsWeek,Portugal
46. F1/10AutonomousRacingTutorial April2018Cyber-PhysicalSystemsWeek,Portugal
47. Computer-AidedClinicalTrials:RobustnessAnalysis April2018NSFFrontiersCyberCardiaAnnualMeeting,StonyBrook,NY
48. BridgingMachineLearningandControl April2018ComcastLabsConnectSecurityConference,Philadelphia
49. AIforSmartBuildings February2018ARCAdvisoryGroup,IndustryForum,Orlando,Florida
50. ADriver'sLicenseTestforDriverlessVehicles February2018InternationalConferenceonAutomotiveEngineering,Greenville,SC
51. ThreeChallengesinCyber-PhysicalSystemsintransportation,medicaldevicesandenergy January2018ComputerScienceDepartmentSeminar,UniversityofWashingtonatSt.Louis
52. Demand-sideEnergyFlexibilityasaService November2017ICONICSSummit,ProvidenceRI
53. BridgingMachineLearningandControlforVolatileEnergyMarkets November2017IPGroupInnovationForum,Philadelphia
54. SafetywithConnectedAutonomousVehicles October2017IntelScienceandTechnologyCenterKick-off,SantaClara,CA
55. LiabilityforAutonomousVehicles October2017PennLawReviewonSafeAutonomy,Philadelphia
56. Anytime,AdaptiveandEvolutionarySwarmControlServices October2017TerraSwarmAnnualMeeting,Berkeley,CA
57. Computer-AidedDesignforSafeAutonomousVehicles August2017AirForceResearchLaboratorySafe&SecureSystemsandSoftwareSymposium(S5),Dayton,OH
58. DesignofSafeAutonomousVehicles June2017WhartonConnectedTruckandCarSymposium,Philadelphia
59. Computer-AidedDesignforSafeAutonomousVehicles June2017DesignAutomationConference,Cyber-PhysicalSystemsDesignAutomationWorkshop,Austin,TX
60. Computer-AidedDesignforSafeMedicalDeviceSoftwareandSystems June2017DesignAutomationConference,WorkshoponAutonomousVehicles,Avionics,Transportation,andRobotics(AVATAR),Austin,TX
61. IntegratedFunctionalandFormalModelsforMedicalCyber-PhysicalSystems April2017NSFFrontiersCyberCardiaAnnualMeeting,Philadelphia
62. F1/10AutonomousRacingTutorial April2017Cyber-PhysicalSystemsWeek,Pittsburgh
Curriculum Vitae – Rahul Mangharam Page 26 of 33
63. BridgingMachineLearningandControlforVolatileElectricityMarkets March2017NAEGerman-AmericanFrontiersofEngineeringSymposium,Cincinnati
64. SafeAutonomousTransportationResearchatPenn March2017DoTUTCMobility21PartnersMeeting,Pittsburgh
65. BuildingSafeAutonomousSystems March2017Algorithms,Cloud,InternetofThings,andData(ACID)SymposiumComcastNBCUniversalHQ,Philadelphia
66. DataPredictiveControlforDemand-sideEnergyManagement February2017ARPA-EEnergyInnovationSummit,WashingtonDC
67. SafeAutonomousTransportationResearchatPenn January2017DoTUTCMobility21PennConsortiumMeeting,Philadelphia
68. RobustnessGuidedTestingforAutonomousVehicleSafety December2016DistinguishedLecture,CU-ICAR,ClemsonUniversity
69. DataPredictiveControlforDemand-sideEnergyManagement November2016Seminar,DepartmentofEnergy,WashingtonDC
70. Closing-the-loopforSafeMedicalCPS November2016DistinguishedLecture,SUNYStonyBrookUniversity
71. 1stF1/10AutonomousRacingInternationalCompetition October2016EmbeddedSystemsWeek,Pittsburgh
72. 3ChallengesforData-drivenCyber-PhysicalSystems September2016PlenaryTalk,GeneralElectricalAnnualControlSystemsSymposium,Schenectady,NY
73. 3ChallengesforData-drivenCyber-PhysicalSystems July2016ElectricalDepartmentSeminar,KULeuven,Belgium
74. IntegratedFunctionalandFormalModelsforMedicalCPS July2016ComputerScienceDepartmentalSeminar,UniversityofBirmingham,UK
75. WirelessCommunicationforAutonomousSystems:DriversandRequirements June2016StrategicIoTMeeting,IntelLabs,Portland
76. Data-PredictiveControlforBuildingEnergyManagement June2016EnergySystemsSeminar,PJMInterconnection
77. 3ChallengesforData-drivenCyber-PhysicalSystems May2016TataConsultancyServices,InnovationSummitNYC
78. FoundationsforSafeAutonomy May2016NSFPECASECelebration,Arlington,VA
79. Computer-AidedClinicalTrialsforImplantableMedicalDevices May2016Podiumpresentation,BMES/FDAFrontiersinMedicalDeviceConference,WashingtonDC
80. F1/10AutonomousRacingTutorial April2016Cyber-PhysicalSystemsWeek,Austria,Vienna
81. MedicalCyberPhysicalSystemsResearchatPenn April2016NSFFrontiersCyberCardiaAnnualMeeting,SUNYStonyBrook
82. Data-PredictiveControlforBuildingEnergyManagement March2016DoECLEANTECHBusinessPlanPitchCompetition,Pittsburgh
83. 3ChallengesforData-drivenCyber-PhysicalSystems January2016InvitedTalk,COMSNETSConference,Bengaluru,India
Curriculum Vitae – Rahul Mangharam Page 27 of 33
84. ScalableSchedulingofEnergySystems October2015IEEE/ACMEMSOFTConference,Amsterdam
85. FromVerifiedModelstoVerifiedCodeforImplantableMedicalDevices October2015FDAPhysiologicalClosedLoopControlWorkshop,WashingtonDC
86. Keynote:3ChallengesforData-drivenCyber-PhysicalSystems October2015Intl.Conf.onMobileAdhoc&SensorSystems(IEEEMASS),Dallas
87. MedicalCPSResearchatPenn September2015NSFFrontiersCyberCardiaKick-offMeeting,Arlington,VA
88. 3ChallengesforData-drivenCyber-PhysicalSystems September2015IEEEPhiladelphiaLecture
89. 3ChallengesforData-drivenCyber-PhysicalSystems June2015MathWorksFacultySummit,MA
90. 3ChallengesforData-drivenCyber-PhysicalSystems April2015Seminar,Qualcomm,SanDiego
91. 3ChallengesforData-drivenCyber-PhysicalSystems April2015DepartmentLecture,PurdueUniversity
92. FromVerifiedModelstoVerifiedCodeforImplantableMedicalDevices October2014NSF/NIHJointNationalWorkshoponComputingChallengesinFutureMobileHealthSystems
93. Data-PredictiveControlforCyber-PhysicalSystems October2014TerraSwarmAnnualMeeting,Berkeley,CA
94. Model-IQ:Modeling,ControlandToolsforEnergy-efficientBuildings September2014DIMACSMathematicsforPlanetEarth2013+WorkshoponData-awareEnergyUse,SanDiego
95. FromVerifiedModelstoVerifiedCodeforImplantableMedicalDevices September2014Lecturer,IEEEPhiladelphia
96. xLAB:ExperienceofThingsLab August2014SeminarandDemonstration,ScienceCafeatWorldCaféLive,Philadelphia
97. FromVerifiedModelstoVerifiedCodeforImplantableMedicalDevices June2014FDAPhysiologicalClosed-LoopControlWorkshop,WashingtonD.C.
98. WirelessControlNetworksforIndustrialAutomation June2014InvitedSpeaker,RecentDevelopmentsinAdvancedControl(SpecialSession)AmericanControlsConference,Portland
99. Cyber-PhysicalSystemsProblemsinMedicalandEnergyDomains Sep2014IEEEPhiladelphiaSection,InvitedSpeaker
100. Cyber-PhysicalSystemsProblemsinMedicalandEnergyDomains Dec2013CornellUniversity,ECEDepartmentalColloquium
101. ClosingtheloopwithCyber-PhysicalSystemsModeling Nov2013DistinguishedLecture,ComputerEngineeringColloquium,UCSanDiego
102. ClosingtheloopwithCyber-PhysicalSystemsModeling Nov2013UniversityofSouthernCalifornia(USC),ElectricalEngineeringColloquium
103. VisionInteractiveOperatingSystem Nov2013PennDesignSeminar,UniversityofPennsylvania
104. GreenSchedulingofBuildingsforPeakPowerMinimization Nov2013UniversityofCalifornia,Berkeley.SoftwareDefinedBuildingsSeminar
Curriculum Vitae – Rahul Mangharam Page 28 of 33
105. ClosingtheloopwithCyber-PhysicalSystemsModeling Nov2013ComputerScienceColloquium,UniversityofIllinois,Urbana-Champaign(UIUC)
106. GreenSchedulingofBuildingsforPeakPowerMinimization Oct2013DistinguishedLecture,ComputerEngineeringColloquium,KansasStateUniversity
107. Closing-the-loopwithCPSModeling:MedicalandEnergySystems Sep2013ElectricalEngineeringSeminar,UniversityofCalifornia,LosAngeles.
108. GreenSchedulingofBuildingsforPeakPowerMinimization Sep2013UniversityofCalifornia,Merced.ElectricalEngineeringandComputerScienceSeminar
109. MedicalandEnergyCyber-PhysicalSystems Sep2013VillanovaUniversity,ElectricalEngineeringandComputerScienceSeminar
110. Cyber-PhysicalSystems2.0--Automotive,Medical,EnergyandIndustrialAutomation Feb2013DrexelUniversity,RoboticsSeminarSeries
111. ClosingtheloopwithMedicalCyber-PhysicalSystems Oct2012UniversityofBerkeley,DesignofRoboticsandEmbeddedsystems,Analysis,andModelingSeminar
112. TheCarandtheCloud Sep2012NationalAcademyofEngineers,USFrontiersofEngineering,GMR&DCenter,Michigan
113. Closing-the-loopforEnergy-EfficientBuildings Oct2012ArchitectureDepartmentSeminar,UniversityofPennsylvania
114. IntegratedFunctionalandFormalModelingforSafety-CriticalMedicalDevices Jun2012FormalMethodsSeminar,UniversityofOxford,UK
115. Cyber-PhysicalSystems2.0--Automotive,Medical,EnergyandIndustrialAutomation Jul2012BOSCHPaloAltoLab,California
116. AutomotiveCyber-PhysicalSystems–Invehicle,Vehicle-to-vehicleandTrafficManagement Jul2012ToyotaInformationTechnologyCenter(ITC),MountainView,California
117. Cyber-PhysicalSystemsandtheCloud Jul2012CISCOSystems,Sunnyvale,California
118. PhysiologicalControlSystemsforNetworksofMedicalDevices Jul2012InvitedSpeaker,5thannualworkshopon"NumericalSoftwareVerification"(NSV),co-locatedwiththe24thInternationalConferenceonComputerAidedVerification(CAV2012).
119. Closing-the-loopwithMedicalDeviceSoftwareandSystems Jul2012InvitedSpeaker,WorkshoponFormalMethodsforSyntheticBiologyatComputerAidedVerification
120. AutomotiveCyber-PhysicalSystems–Invehicle,Vehicle-to-vehicleandTrafficManagement Jun2012InvitedSpeaker,ConnectedVehiclesWorkshop(DoTUTRC),Buffalo,NY
121. NetworkCyber-PhysicalSystems May2012InvitedSpeaker,TexasInstrumentsandKilbyLabs,Dallas,TX.
122. MedicalCyber-PhysicalSystems:Closed-loopMedicalDeviceVerificationandTesting May2012InvitedSpeaker,15thConferenceonSoftwareDesignforMedicalDevices
123. ClosingtheLoopwithCyber-PhysicalModeling Oct2011VanderbiltUniversity,InstituteforSoftwareIntegratedSystemsSeminar
124. MedicalCyber-PhysicalSystems:Closed-loopMedicalDeviceVerificationandTesting Sep2011FDA/NHLBI/NSFWorkshoponComputerMethodsforMedicalDevices,Panelist
125. AutomotiveCyber-PhysicalSystems Sep2011WayneStateUniversity,Michigan,CSDepartmentalSeminar
Curriculum Vitae – Rahul Mangharam Page 29 of 33
126. ClosingtheLoopwithWirelessControlNetworks Jun2011EU-USWorkshoponNetworkedMonitoringandControl,EUCommission,Brussels
127. ClosingtheLoopwithCyber-PhysicalModeling Apr2011UniversityofCalifornia,Irvine,ECEDepartmentalSeminar
128. AutomotiveCyber-PhysicalSystems Apr2011UniversityofSouthernCalifornia,ECEDepartmentalSeminar
129. GreenSchedulingofBuildingsforPeakPowerMinimization Apr2011ARPA-EnergySeminar
130. MedicalCyber-PhysicalSystems:NewFrontiers Mar2011DistinguishedLecture,UniversityofIllinois,Urbana-Champaign(UIUC)
131. ClosingtheloopwithNetworkedCyber-PhysicalSystems Dec2010UCLA,CenterforEmbeddedNetworkedSensing
132. ClosingtheloopwithNetworkedCyber-PhysicalSystems Nov2010UniversityofPennsylvania,CISDepartmentalSeminar
133. NetworkedCyber-PhysicalSystems Nov2010VirginiaTech,CenterforEmbeddedSystemsforCriticalApplications
134. GenericPacemakerProject:Closed-loopSoftwareTesting,ValidationandVerification Nov2010US.FoodandDrugAdministration(FDA),SpecialTopicsSeminar
135. ClosingtheloopwithNetworkedCyber-PhysicalSystems Nov2010UniversityofPittsburgh,ECEDepartmentalSeminar
136. ClosingtheloopwithNetworkedCyber-PhysicalSystems Oct2010CornellUniversity,ECEDepartmentalSeminar
137. RobustArchitecturesforWirelessActuationandControl Oct2010HoneywellTechnicalFellowsSeminar
138. Cyber-PhysicalSystemsResearchatPenn Oct2010UniversityofTexas,Austin.ECEColloquium
139. MedicalCyber-PhysicalSystems Oct2010TempleUniversity,ECEDepartmentalColloquium
140. RecentResearchinCyber-PhysicalSystemsatmLAB-UPenn Jul2010IMEC,Leuven,Belgium.SpecialSpeakerSeminar.
141. RecentResearchinCyber-PhysicalSystemsatmLAB-UPenn Jul2010EmbeddedSystemsInstitute,Eindhoven,Netherlands
142. MedicalCyber-physicalSystems Aug2009IMEC,Leuven,Belgium
143. AutomotiveCyber-PhysicalSystems Jun2009UniversityofWaterloo,Ontario,Canada
144. DistributedWirelessControlGrids May2009HoneywellTechnicalSymposium,Arizona
145. NetworkedCyber-PhysicalSystems Mar2009IndianInstituteofTechnologyBombay(IIT-B),Mumbai
146. NetworkedCyber-PhysicalSystems Mar2009IndianInstituteofTechnologyMadras(IIT-M),Chennai
147. NetworkedCyber-PhysicalSystems Mar2009
Curriculum Vitae – Rahul Mangharam Page 30 of 33
VeermataJijabaiTechnologicalInstitute(VJTI),Mumbai
148. ResearchActivitiesatmLAB-UPenn Mar2009InfosysSETLabs,Bangalore
149. VehicularWirelessNetworksforSafetyandCongestionPrediction Jan2009AradaSystems,Bangalore
150. NetworkedAutomotiveCyber-PhysicalSystems Dec2008KeynoteSpeaker,ConferenceonWirelessAccessinVehicularEnvironments,UMichigan
151. VehicletoVehicleWirelessNetworks Nov2008WINLABWirelessSeminarSeries,RutgersUniversity.NewJersey
152. VehicletoVehicleWirelessNetworks Nov2008UniversityofDelaware,Delaware
153. FireFly:Real-TimeSensorNetworkingPlatform Oct2006CornellUniversity,NewYork
154. ScalableTimeSynchronizationforMulti-hopNetworks Sep2006MicrosoftResearch–SiliconValleyCenter
155. ScalableTimeSynchronizationforMulti-hopNetworks Sep2006IntelLabs,SantaClara
156. GrooveNet:HybridNetworkSimulationforVehicularNetworks Jun2006ImperialCollege,London
157. MAX:MaximalTransmissionConcurrencyforWirelessMeshNetworks Jan2005MicrosoftResearch,Redmond
158. RT-Link:PredictableLifetimeinEmbeddedWirelessNetworks Dec2005IntelLabs,U.K.
159. RT-Link:PredictableLifetimeinEmbeddedWirelessNetworks Dec2005CambridgeUniversity,U.K.
160. TilingforMaximalConcurrencyinRegularWirelessNetworks’ Aug2005BellLabs,NewJersey
161. Real-TimeServicesforMulti-hopWirelessNetworks Mar2005UniversityofYork,U.K.
162. Size-basedSchedulingforMPEG-4StreamingoverWirelessChannels Mar2002IntelLabs,Oregon
163. AnArchitectureforQoSoverIEEE802.11e Feb2002PhilipsResearch,NewYork
RESEARCHFUNDINGCurrent
1. DARPASymbioticDesignforCyberPhysicalSystems
Curriculum Vitae – Rahul Mangharam Page 31 of 33
PennPI:RahulMangharam$1,000,000;3/2020-3/2023
2. Mobility21NationalUniversityTransportationCenterUSDepartmentofTransportationPennPI:RahulMangharam($2,300,000).PI:RajRajkumar,CarnegieMellonUniversity$14,000,000;2017-2022
3. NSFCPSFrontiersonMedicalCyber-PhysicalSystemsPennPI:RahulMangharam$1,000,000;5/2016-5/2021
4. F1/10AutonomousRacecar:PlatformsforSafe,EthicalandAgileAutonomyNSFCISEComputingResearchInfrastructurePI:RahulMangharam$1,500,000;8/2019-8/2022
5. WirelessAutonomousSystemsIntelScienceandTechnologyCenterCo-PI:RahulMangharam$200,000;12/1/2018-5/2021
6. xLAB:ExperienceDesign&TechnologyLabComcastCorporationPI:RahulMangharam$160,000;12/1/2014-5/2020
7. AutonomousVehiclePlanVerificationandExecution
DensoCorporationPI:RahulMangharam$50,000;Gift(noexpirationdate).
8. AutonomousVehiclePlanVerificationandExecution`ToyotaInfoTechnologyCenter,MountainView,CAPI:RahulMangharam$440,000;Gift(noexpirationdate).
Previous
1. FoundationsofMedicalCyber-PhysicalSystemsNSFCAREERAwardPI:RahulMangharam$410,000;3/1/2013-2/28/2018
2. Heterogeneous,AutonomicWirelessControlNetworksforScalableCyber-PhysicalSystemsNationalScienceFoundation,MajorResearchInstrumentationPI:RahulMangharam$570,000;2009-2017
3. TERRASWARMResearchCenterSemiconductorResearchCorporationandDepartmentofDefenseSEASPIs:VijayKumar,RahulMangharamandGeorgePappas$2,500,000;1/1/2013–1/1/2018
4. GreaterPhiladelphiaInnovationCluster(GPIC)-Energy-EfficientBuildingHUB
Curriculum Vitae – Rahul Mangharam Page 32 of 33
DepartmentofEnergy(DoE),$169MtotalSEASPIs:RahulMangharam;co-PI(s):G.Pappas,S.Sarkar$2,250,000;2/1/2011-3/31/2016.
5. T-SETUniversityTransportationCenter(2.0)
USDepartmentofTransportationPennPIs:DanLeeandRahulMangharam.co-PI(s):C.J.Taylor,K.DanilidisandI.Lee$5,900,000;2015-2017
6. AssuringtheSafety,SecurityandReliabilityofMedicalDeviceCyberPhysicalSystems
NationalScienceFoundationCISECyber-PhysicalSystems(CPS)PI:I.Lee,co-PI(s):R.Alur,O.Sokolsky,C.W.Hanson,G.J.Pappas,R.Mangharam$5,000,000;9/1/2010-8/31/2015.
7. QuantitativeAnalysisandDesignofControlNetworksNationalScienceFoundationCISECyber-PhysicalSystems(CPS)PI:G.J.Pappas,co-PI(s):RahulMangharam,R.Alur,I.Lee,A.Ribeiro$1,500,000;9/1/2009-8/31/2013.
8. T-SETUniversityTransportationCenter(1.0)
USDepartmentofTransportationPennPIs:DanLeeandRahulMangharam.co-PI(s):C.J.Taylor,K.DanilidisandI.Lee$6,900,00;2012-2014
9. SPARCS:SynthesisofPlatform-awareAttack-ResilientControlSystemsDARPAHighAssuranceCyberMilitarySystems(HACMS)PI:I.Lee,co-PIs:R.Mangharam,N.Michael,G.Pappas,O.Sokoslky,S.Weirich(Penn)andP.Tabuada(UCLA)$4,700,000;2012-2016
10. Enhanced-MobileIntegratedDiagnosticsandDataAnalysisSystem(E-MIDDAS)
L3Communications,IndustryGrantPI:RahulMangharam$65,663;2012-2013
11. RobustCompositionandInteroperabilityofCPSComponentsNationalScienceFoundationCISECyber-PhysicalSystems(CPS)PI:I.Lee,co-PIs:R.Mangharam,B.LooandJ.Goldman(MassachusettsGeneralHospital/HarvardUniversity)$900,000;2008–2013.
12. Large-scaleTestbedandReal-TimeProtocolsforVehicle-to-VehicleWirelessNetworksNationalScienceFoundationCISECyber-PhysicalSystems(CPS)PI:RahulMangharam$270,000;2008-2012
13. DistributedControloverWirelessNetworksDARPA,Multi-ScaleSystemsCenter(MuSyC)PI:G.Pappas,co-PI:R.Mangharam$125,000;2010
14. DistributedWirelessControllerGridsHoneywellProcessSolutions,IndustryGrantPI:RahulMangharam$130,000;2008-2010
15. AutoMatrix:Large-scaleParallelTrafficSimulation
NSFResearchExperienceforUndergraduates
Curriculum Vitae – Rahul Mangharam Page 33 of 33
PI:RahulMangharam$9,200;2010-2011
16. VirtualHeartModelforClosed-loopMedicalDeviceTestingNSFResearchExperienceforUndergraduatesPI:RahulMangharam(withI.Lee)$9,200;2010-2011
17. EnRoute-TestbedforEnergy-EfficientBuildingControlsNSFResearchExperienceforUndergraduatesPI:RahulMangharam(withG.Pappas)$6,000;2010-2011
18. EmbeddedVirtualMachinesforNext-GenerationWirelessAutomationUniversityofPennsylvania,UniversityResearchFoundationAwardPI:RahulMangharam$9,200;2010-2011
19. Cyber-PhysicalSystems-TappingintoPhysicalWorldAnalyticsWhartonInteractiveMediaInitiativePI:RahulMangharam$5,000;2010-2011
20. CollaborationbetweenPennandNIITUniversity,IndiaUniversityofPennsylvania,ProvostInternationalAwardPI:RahulMangharam$5,000;2010-2011