Abstract/Poster
LEAD PITITLE (with link to poster & abstract)VIDEOPRESENTERAWARD ID
Tarek AbdelzaherThe Ektokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components Tarek Abdelzaher1035736
Behcet AckimeseAutonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control Behcet Ackimese1446578, 1446479
James AndersonBringing the Multicore Revolution to Safety-Critical Cyber-Physical SystemsNamhoon Kim1239135, 1239246
Anuradha AnnaswamyCo-design of Platform and Control in NCS Using an Overrun Framework Anuradha Annaswamy1135815, 1135630
Murat ArcakEfficient Traffic Management: A Formal Methods Approach Murat Arcak1446145, 1446151
Er-Wei BaiA Hybrid Detector Network for Nuclear and Radioactive Threat DetectionRaghu Mudumbai1239509
Ou BaiCPS: Synergy: Sensor Network-based Lower-Limb Prosthesis Optimization and Control Ou Bai1446737
Bir BhanuCPS: Synergy: Distributed Sensing, Learning and Control in Dynamic EnvironmentsBir Bhanu1330110
Francesco BorrelliProvably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop Francesco Borrelli1239323
Alper BozkurtCyborg Insect Networks for Exploration and Mapping (CINEMa) Alper Bozkurt1239243, 1239212
Philip BriskSystem Support for Generally Programmable Digital Microfluidic Biochip DevicesPhilip Brisk1035603
Francesco BulloDynamic Routing and Robotic Coordination for Oceanographic Adaptive Sampling Subhash Suri1035917
1035866
Duncan CallawayCoordinated Resource Management of Cyber-Physical-Social Power Systems Eilyan Bitar1239178, 1239274, 1239467
Christos  CassandrasA Cyber-Physical Infrastructure for the “Smart City”Christos Cassandras1239021, 1239030, 1239102
M. Cenk CavusogluA Framework for Validation and Monitoring of Robotic Surgery Systems M. Cenk Cavusoglu1035602
Krishnendu ChakrabartyCyber-Physical Integration for Digital Microfluidic Biochips Mohamed Ibrahim1135853
Aranya ChakraborttyDistributed Asynchronous Algorithms & Software  Systems For Wide-Area Monitoring of Power Systems Nitin Vaidya1329780, 1329681
Howard ChizeckCPS: Breakthrough: Secure Telerobotics - Demonstration and  Evaluation of Cyber-Security Attacks on Telerobotic SystemsTamara Bonaci1329751
Rance CleavelandGeneralized Synchronization TreesRance Cleaveland1446665
Jorge CortesRobust Team-Triggered Coordination for Real-Time Control of Networked Cyber-Physical SystemsJorge Cortes1329619
David CullerSoftware Defined Buildings David Culler1239552
Ovidiu DaescuTumor and Organs at Risk Motion: An Opportunity for Better DMLC IMRT Delivery Systems Ovidiu Daescu1035460, 1249434, 1035508
Munther DahlehFoundations for Understanding Volatility and Improving Operational Reliability  Mardavij Roozbehani1135843, 1135598, 1259040
Katherine DavisDistributed Just-Ahead-Of-Time Verification Shamina Hossain1446229, 1446471
Domitilla Del VecchioCPS Synergy: Collaborative Research: Formal Design of Semi-Autonomous Cyber Physical Transportation Systems Domitilla Del Vecchio1239182
Ashish DeshpandeDesign and development of a cybernetic exoskeleton for hand-wrist rehabilitation through integration of human passive properties Ashish Deshpande1135916, 1135949
Suhas DiggaviFoundations of Secure Cyber Physical Systems Suhas Diggavi1136174
Ian DobsonThe Cyber-Physical Challenges of Transient Stability and Security in Power Grids Ian Dobson1219917, 1135819, 1135825, 1135895
Geir DullerudStatistical Verification of Dynamical Systems Using Set Oriented MethodsGeir Dullerud1329991
Magnus EgerstedtHybrid Control Tools for Power Management and Optimization in Cyber-Physical Systems Magnus Egerstedt, Patrick Martin1239221, 1239225
Nicola EliaCPS: Breakthrough: Distributed computing under uncertainty: a new paradigm for cooperative cyber-physical systems  Nicola Elia1239319
Georgios FainekosRobustness Guided Testing and Verification for Cyber-Physical Systems Georgios Fainekos1350420
Eric FeronSemantics of Optimization for Real Time Intelligent Embedded Systems (SORTIES) Eric Feron1446758, 1446812, 1446520
Eric FeronCredible Autocoding and Verification of Embedded Software (CrAVES) Eric Feron1135955
Jim FreudenbergHuman Control Strategies in Manual Pursuit Tracking of Sinusoidal Signals Jim Freudenberg1035271
Yun FuQuantitative Visual Sensing of Dynamic Behaviors for Home-based Progressive Rehabilitation Yun Fu1314484
Daniel GajskiExploration of the Cyber-Physical Design Space Tony Givargis1136146
John GallagherMethodologies for Engineering with Plug-and-Learn Components: Synthesis and Analysis Across Abstraction LayersJohn Gallagher1239196, 1239171, 1239229
Deepak GanesaniShadow: The Computational EyeglassAddison Mayberry1239341
Chris GillCPS Medium: Collaborative Research: CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical SystemsArun Prakash1136073, 1136075
Eugene GoldfieldMulti-Robot Cyber-Physical System for Assisting Young Developmentally-Delayed Children in Learning to Walk Eugene Goldfield1329363
Andrea GoldsmithEvent-Based Information Acquisition, Learning, and Control  in High-Dimensional Cyber-Physical Systems Andrea Goldsmith and Tara Javidi1330081, 1329819, 1329936
Ramesh GovindanHarnessing the Automotive Infoverse Ramesh Govindan and Marco Gruteser1330118, 1329939
Paul Green Advances in Driving Research: Models, Data, and New Methods Paul Green1238600
Jessy GrizzleCorrect-by-Design Control Software Synthesis for Highly Dynamic SystemsPaulo Tabuada1239085, 1239143, 1239055
Vijay GuptaArchitectural and Algorithmic Solutions for Large-Scale PEV Integration into Power Grids Vijay Gupta1239224, 1312390, 1239408, 1238984
John HatcliffCPS: Synergy: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms John Hatcliff1239543, 1239324
Jianghai HuCPS: Synergy: Plug-and-Play Cyber-Physical Systems to Enable Intelligent Buildings Jianghai Hu1329875
Hongrui JiangSmart Flexible Camera Sheet: Ultra-thin Semantic-guided Cooperative Micro-camera ArrayHongrui Jiang1329481
Phillip JonesIntegration of Conjoined Cyber-Physical System Properties Phillip Jones1060337, 1060093 
Christine JulienPhysically Informed Assertions for CPS Development and Debugging Raul G. Longoria1239498
Temesghen KahsaiCrAVES : Credible Autocoding and Verification of Embedded Software Temesghen Kahsai1136008
Sertac KaramanCAREER: Practical Algorithms and Fundamental Limits for Complex Cyber-Physical Systems Sertac Karaman1350685
Sertac KaramanNSF Early Career Professionals Workshop on Exploring Frontiers in Cyber-Physical Systems Ann Majewicz1445299
Gabor KarsaiDiagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems – A Case of Smart Electric GridAbhishek Dubey1329803, 1329800, 1329666
Alex KirlikCPS: Synergy: Collaborative Research: Engineering Safety-Critical Cyber-Physical-Human SystemsAlex Kirlik1330077, 1329870 
Hadas Kress-GazitHigh-level perception and control for autonomous reconfigurable modular robots Mark Campbell1329692, 1329620
C. Mani KrishnaAbstraction of Cyber-Physical Interplays and Its Application to CPS Design C. Mani Krishna0931035, 0930813
Bruce KroghForward Invariant Cuts to Simplify Proofs of Safety Nikos Arechiga1035800
Sandeep KulkarniScalable Component-based Model Revision of Cyber-Physical Systems with Separation of  Concerns Sandeep Kulkarni1329807
Thomas KurfessConverting Multi-Axis Machine Tools into Subtractive 3D Printers by using Intelligent Discrete Geometry Data StructuresThomas Kurfess1329742
Stephane LafortuneDevelopment of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical Systems Necmiye Ozay1446298
Insup LeePrecise piecewise affine models from input output data Rajeev Alur1035715
Insup LeeAssuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems Insup Lee1035715
Ji-Woong LeeDigital Control of Hybrid Systems via Simulation and Bisimulation Constantino Lagoa, Heath Hofmann1329539, 1329422
Michael LemmonResilient Wireless Sensor-Actuator NetworksHai Lin1239222
Baoxin LiGoingEasy with Crowdsourcing - Building Cyber-Physical Systems for People with Visual Impairment Baoxin Li1135616
Xiang-Yang LiManaging Loosely Coupled Networked Control Systems with External Disturbances Paul Anderson1035894
Fillia MakedonA Novel Human Centric CPS to Improve Motor/Cognitive Assessment and Enable Adaptive Rehabilitation Fillia Makedon1035913
Nuno MartinsRemote Imaging of Community Ecology via Animal‐borne Wireless Networks Nuno Martins1135726, 1135724, 1135719
Nuno MartinsCPS: Synergy: Collaborative Research: Designing semi-autonomous networks of miniature robots for inspection of bridges and other Nuno Martins1446785, 1446434
Nuno MartinsCPS: Medium: Ant-Like Microrobots - Fast, Small, and Under Control  Nuno Martins0931878
Margaret MartonosiEfficient Mapping and Management of Applications onto Cyber-Physical Systems Margaret Martonosi1135953, 1135874
Nicholas MaxemchukSafe Collaborating Intelligent Vehicles: Synchronized ClocksYitian Gu1329593
Sudip MazumderBoolean Microgrid Sudip K. Mazumder and P.R. Kumar1239118, 1239116
Pitu MirchandaniCPS: Synergy: Collaborative Research: A CPS for Proactive Traffic Management to Enhance Mobility and Sustainability Pitu Mirchandani1239396, 1239364
Sayan MitraC2E2 Verification Tool Sayan Mitra1016791,
1054247
Urbashi MitraEnergy and Delay: Network Optimization in Cyber Physical Human Sensing SystemsAshutosh Nayyar1446901
Todd MurpheyMutually Stabilized Correction in Physical Demonstration Todd Murphey1329891, 1329683
Umit OzgunerCPS: Synergy: Collaborative Research: Collaborative Vehicular Systems Arda Kurt1446730, 1446735
Anil PahwaMulti-Agent Control of Intelligent Power Distribution Systems  Anil Pahwa1136040
Jitesh PanchalCPS: Synergy: Foundations of Cyber-Physical Infrastructure for Creative Design and Making of Cyber-physical Products Jitesh Panchal1329979
George PappasOptimal Resource Management in Wireless Control Systems Konstantinos Gatsis0931239
Fabio PasqualettiControl-Theoretic Defense Strategies for Cyber-Physical Systems Fabio Pasqualetti1405330
Neal PatwariEnabling and Advancing Human and Probabilistic Context Awareness for Smart Facilities and Elder Care Neal Patwari1035565, 1035152
Eric PerreaultCPS Large: Cybernetic Interfaces for the Restoration of Human Movement through Functional Electrical Stimulation Eric Perreault0932263
Andre PlatzerDifferential Radical Invariants: Safety Verification and Design of Correct Hybrid Systems Khalil Ghorbal0931985
Andre PlatzerKnowledge-Aware Cyber-Physical Systems Andre Platzer1446712
Radha PoovendranCPS: Breakthrough: Towards a Science of Attack Composition, Mitigation and Verification in Cyber Physical Systems: A Passivity BRadha Poovendran1446866
Arun PrakashCPS Medium: Collaborative Research: CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical SystemsArun Prakash1136075
Hairong QiAchieving High-Resolution Situational Awareness in Ultra-Wide-Area Cyber-Physical Systems Hairong Qi1239478
Parameswaran RamanathanPreserving Confidentiality of Sensitive Information in Power System Models  Parameswaran Ramanathan1329452
David RobertsIntegrated Sensing and Control Algorithms for Computer-Assisted Training David Roberts1329738
Walid SaadTowards Secure Networked Cyber-Physical Systems: A Theoretic Framework with Bounded RationalityWalid Saad1446621, 1446574, 1446570
Venkatesh SaligramaData Driven Intelligent Controlled Sensing for Cyber Physical Systems Mac Schwager1330008
Alejandro SanchezEnergy-efficient techniques to allocate power to computer resources on demand Alejandro SanchezN/A
Lalitha SankarA Verifiable Framework for Cyber-Physical Attacks and Countermeasures in a Resilient Electric Power Grid Lalitha Sankar and Kory Hedman1449080
Sriram SankaranarayananCPS: Breakthrough: Distributed computing under uncertainty: a new paradigm for cooperative cyber-physical systems Sriram Sankaranarayanan1035845
Sriram SankaranarayananSynergy: In-Silico Verification of Artificial Pancreas Control AlgorithmsSriram Sankaranarayanan and Fraser Cameron1446900, 1446751
Shankar SastryFoundations Of Resilient CybEr-physical Systems (FORCES)Claire Tomlin1239166, 1238959, 1238962, 1239054
Curt SchurgersDistributed Sensing Collective to Capture 3D Soundscapes Curt Schurgers1344291
Gunar SchirnerHolistic Design Methodology for Automated Implementation of Human-in-the-Loop Cyber-Physical SystemsGunar Schirner1135854, 1136027
Mac SchwagerCyber-Physical Manipulation (CPM): Locating, Manipulating, and Retrieving Large Objects with Large Populations of Robots Mac Schwager1330036, 1330085
Pete SeilerManaging Uncertainty  in the Design of Safety-Critical Aviation SystemsDemoz Gebre-Egziabher 1329390, 1329341
Raja SenguptaCyber-Physical Cloud ComputingRaja Sengupta1136141
Lui ShaIntegrated Emergency Cyber Physical Human SystemsLui Sha1329886
Kai ShenCPS: Synergy: Self-Sustainable Data-Driven Systems In the FieldTolga Soyata1239423
Kang ShinCPS: Synergy:  Thermal-Aware Management of Cyber-Physical Systems Ella Atkins1329831, 1329702
Ness ShroffCognitive Green Building: A Holistic Cyber-Physical Analytic Paradigm for Energy Sustainability Jia Liu1446582, 1446478
Siddhartha SikdarA Novel Biomechatronic Interface Based on Wearable Dynamic Imaging SensorsSiddhartha Sikdar1329829
Prasad SistlaMonitoring Techniques for Safety Critical Cyber-Physical SystemsAndrey Yavolovsky1035914
Metin SittiCPS-Medium: Dense Networks of Bacteria Propelled Micro-Robotic Swarms Jiang Zhuang1135850
Scott SmolkaClosed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models Abhishek Murthy1445770
Oleg SokolskySafety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems Oleg Sokolsky1329984, 1329861
Jonathan SprinkleCAREER: Domain-Specific Modeling Techniques for Cyber-Physical SystemsJonathan Sprinkle1253334
Mani SrivastavaROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack Mani Srivastava1329755, 1329644, 1329766, 1329650
John StankovicMultiple-Level Predictive Control of Mobile Cyber Physical Systems with Correlated Context John Stankovic1239483, 1239152,
1239226, 1239108
Radu StoleruFoundations for Flow-based Cyber-Physical Systems Radu Stoleru1253968
Yu SunVirtually Transparent Epidermal ImageryYu Sun1035594
Katia SycaraFormal Models of Human Control and Interaction with Cyber-Physical Systems Katia Sycara1329986, 1329878, 1329762
Janos SztipanovitsScience of Cyber-Physical System Integration  Xenofon Koutsoukos1035655
Walid TahaA CPS Approach to Robot DesignWalid Taha1136099,
1136104
Herbert TannerEfficient Control Synthesis and Learning in Distributed Cyber-Physical SystemsHerbert Tanner1035588, 1035577
Claire TomlinActionWebs Hamsa Balakrishnan0931843
Kevin TomsovicA Cyber Physical Framework for Remedial Action Schemes in Large Power Networks Kevin Tomsovic1239134, 1239136
Stavros TripakisCompositional System Modeling with Interfaces - COSMOIStavros Tripakis1329759
Yannis Tsividis Hybrid Continuous-Discrete Computers for Cyber-Physical Systems Simha Sethumadhavan0931969
Umesh VaidyaA Unified System Theoretic Framework for Cyber Attack-Resilient Power GridUmesh Vaidya1329915
Pietro ValdastriAnalyzing Human User Interactions with Cyber-Physical Systems Pietro Valdastri1239355
Chris vanBuskirkThe Cyber-Physical Systems Virtual OrganizationChris vanBuskirk0931632
Nalini VenkatasubramanianCYPRESS: Cyber-Physical RESilience and Sustainability Dependability Techniques for Instrumented Cyber-Physical Spaces Nalini Venkatasubramanian1063596, 1063597
Yon VisellCPS Breakthrough: From Whole-Hand Tactile Imaging to Interactive Simulation Yon Visell1446752
Conor WalshHuman-Machine Interaction with Mobility Enhancing Soft Exosuits Conor Walsh1446464
Yan WanDynamical-Network Evaluation and Design Tools for Strategic-to-Tactical Air Traffic Flow ManagementYan Wan and Sandip Roy1035386, 1035532, 1035369
Teresa WuSMARTER -Smart Manager for Adaptive and Real-Time decisions in building clustERs Teresa Wu1239257, 1239247, 1239093
Wencen WuTowards Effective and Efficient Sensing-Motion Co-Design of Swarming Cyber-Physical SystemsWencen Wu1446461, 1446484, 1446557
Fumin ZhangRobust Algorithms for Mobile Robots  to Learn Human Preferred Movement in a HallwayFumin Zhang0931576, RI:1319874
Hongwei ZhangA Cross-Layer Approach to Taming Cyber-Physical Uncertainties in Vehicular Wireless Networking and Platoon Control Hongwei Zhang1136007
P.R. KumarArchitecture and Distributed Management Junshan Zhang1035906,
1232601
Michael ZinkSensing as a Service - Architectures for Closed-loop Sensor Network Virtualization Michael Zink1350752