Download - cv Rahul Mangharam 2020 - Penn Engineeringrahulm/papers/Mangharam-cv... · 2020-02-11 · Curriculum Vitae – Rahul Mangharam Page 2 of 33 Intel Early Faculty Career Honor November

Curriculum Vitae – Rahul Mangharam 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


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


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.


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.


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.


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.


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


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.


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.


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.


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)


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


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.


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.


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.


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


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


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


• 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


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


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


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


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


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


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


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


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


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


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


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


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


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


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