Posters & Abstracts

Visible to the public 

LEAD PI TITLE (with link to poster & abstract) VIDEO PRESENTER AWARD ID
Aaron Ames (Texas A&M) Correct-by-Design Control Software Synthesis for Highly Dynamic Systems 1239055
Aaron Stump (Iowa) StarExec: A Cluster-Backed Web Service for Evaluating Logic Solvers Aaron Stump 1058748
Alex Kirlik (South Carolina) Engineering Safety-Critical Cyber-Physical-Human Systems Xiaofeng Wang 1329870 \ 1330077
Alper Bozkurt (NCSU) Cyborg Insect Networks for Exploration and Mapping (CINEMa) Alper Bozkurt 1239243, 1239212
Andre Platzer (CMU) Distributed Hybrid Systems - Compositionality and Reconfiguration for Distributed Hybrid Systems Jan-David Quesel 0931985
Anil Pahwa (KSU) Holonic Multi-Agent Control of Intelligent Power Distribution Systems Anil Pahwa 1136040
Anuradha Annaswamy (MIT) Co-Design of Multimodal CPS Architectures and Adaptive Controllers Anuradha Annaswamy 1135815, 1135630
Aranya Chakrabortty (NCSU) Distributed Asynchronous Algorithms & Software Systems For Wide-Area Monitoring of Power Systems Aranya Chakrabortty 1329780, 1329681
Ashish Deshpande (Rice) Design & Development of a Cybernetic Rehabilitative Hand-Wrist Exoskeleton Marcia O'Malley 1135916
Babak Hassibi (CalTech) Epidemic Spread in Networks Babak Hassibi 0932428
Baoxin Li (ASU) GoingEasy(r) with Crowdsourcing - Building Cyber-Physical Systems for People with Visual Impairment Baoxin Li 1135616
Benjamin Kuipers (Michigan) Learning to Sense Robustly and Act Effectively Benjamin Kuipers 0931474
Brian Hulbert (Air Force Research Labs // LinQuest) Trust and Certification of Autonomous Systems Brian Hulbert N/A
Bruce Krogh (CMU) An Architectural Approach to
Heterogeneous Modeling and Verification of CPS
Ivan Ruchkin 1035800
Bruno Sinopoli (CMU) Event-Based Information Acquisition, Learning, and Control in High-Dimensional Cyber-Physical Systems Bruno Sinopoli 1329936, 1329819
Chenyang Lu (WUSTL) Cyber-Physical Co-Design of Wireless Monitoring and Control for Civil Infrastructure Chenyang Lu 1035773
Chris Gill (WUSTL) and Arun Prakash (Purdue) CPS Medium: Collaborative Research: CyberMech, a Novel Run-time Substrate for Cyber-Mechanical Systems Chris Gill & Arun Prakash 1136073 / 1136075
Chris vanBuskirk (Vanderbilt) Cyber-Physical Systems Virtual Organization Chris vanBuskirk 0931632
Christine Julien (UT Austin) Physically Informed Assertions for CPS Development and Debugging Christine Julien 1239498
Christos Cassandras (Boston) A Cyber-Physical Infrastructure for the "Smart City'' Azer Bestavros 1239021, 1239030, 1239102
Chunming Qiao (SUNY Buffalo) Addressing Design and Human Factors Challenges in Cyber-Transportation Systems Chunming Qiao 1035733
Claire Tomlin (UC Berkeley) ActionWebs Edward Lee and David Culler 0931843
Curt Schurgers (UCSD) Networked Sensor Swarm of Underwater Drifters Curt Schurgers 1035828
Dan Wolf (CyberPack Ventures) Science of Security Academic Survey Donald Goff N/A
David Culler (UC Berkeley) Software Defined Buildings David Culler 1239552
Deepak Ganesan (UMass Amherst) Computational Eyeglasses for Advanced Context Sensing Deepak Ganesan 1239341
Dennis Bernstein (Michigan) Robust Capacity-Constrained Scheduling and Data-Based Modeling
for Enhanced Collision Avoidance in Low-Earth Orbit
Dennis Bernstein 1035236
Domitilla Del Vecchio (MIT) CPS Synergy: Collaborative Research: Formal Design of Semi-autonomous Cyber-Physical Transportation Systems Domitilla Del Vecchio 1239182, 1238600
Duncan Callaway (UC Berkeley) Coordinated Resource Management of Cyber-Physical-Social Power Systems Duncan Callaway 1239467, 1239178, 1239274
Edward Lee (UC Berkeley) CPS: Medium: Timing-Centric Software Edward Lee 1035672
Eric Feron (GA Tech) Credible Autocoding and Verification of Embedded Software (CrAVES) Eric Feron 1135955
Eric Perreault (Northwestern/Rehabilitation Institute of Chicago) CPS Large: Cybernetic Interfaces for the Restoration of Human Movement through Functional Electrical Stimulation Eric Perreault 0932263
Er-wei Bai (University of Iowa) A Hybrid Detector Network for Nuclear and Radioactive Threat Detection Er-wei Bai 1239509
Eugene Goldfield (Boston Children's Hospital/Harvard) Programmable Second Skin for Re-Educating Injured Nervous Systems Eugene Goldfield 932015
Fillia Makedon (UT Arlington) CPS: Medium: A Novel Human Centric CPS to Improve Motor/Cognitive Assessment and Enable Adaptive Rehabilitation Fillia Makedon 1035913
Francesco Borrelli (UC Berkeley) Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop Francesco Borrelli 1239323, 1035866
Francesco Bullo (UC Santa Barbara) Dynamic Routing and Robotic Coordination for Oceanographic Adaptive Sampling Rush Patel 1035917
Gabor Karsai (Vanderbilt) Diagnostics and Prognostics Using Temporal Causal Models for Cyber-Physical Systems - A Case of Smart Electric Grid Abhishek Dubey 1329803, 1329666, 1329800
Gary Balas (Minnesota) CPS: Embedded Fault Detection for Low-Cost, Safety-Critical Systems Peter Seiler 0931931
George Pappas (UPenn) Quantitative Analysis and Design of Control Networks Miroslav Pajic & George Pappas 0931239
Gookwon Suh (Cornell) Non-volatile Computing for Embedded Cyber-Physical Systems Wing-kei Yu 0932069
Greg Hager (JHU) Hybrid Systems for Modeling and Teaching the Language of Surgery Rene Vidal 0931805
Gunar Schirner (Northeastern) Holistic Design Methodology for Automated Implementation of Human-in-the-Loop Cyber-Physical Systems Gunar Schirner 1136027 / 1135854
Hairong Qi (Tennessee) Achieving High-Resolution Situational Awareness in Ultra-Wide-Area Cyber-Physical Systems Hairong Qi 1239478
Hao Zheng (South Florida) Methods and Tools for Verification of Cyber-Physical Systems Hao Zheng & Chris Meyers 0930510 / 0930225
Hari Balakrishnan (MIT) Vehicular Cyber-physical Systems Hamsa Balakrishnan 0931550
He Huang (Rhode Island) Towards Neural-controlled Artificial Legs using High-Performance Embedded Computers Fan Zhang 0931820
Herbert Tanner (Delaware) Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems Herbert Tanner 1035588 & 1035577
Hongwei Zhang (Wayne State) A Cross-Layer Approach to Taming Cyber-Physical Uncertainties in Vehicular Wireless Networking and Platoon Control Hongwei Zhang 1136007
Howard Chizeck (Washington) CPS:Breakthrough:Secure Telerobotics Howard Chizeck 1329751
Ian Dobson (Iowa State) Cyber-physical Challenges of Transient Stability and Security in Power Grids
Related Materials: Doc 1 | Doc 2
Ian Dobson 1219917, 1135819
Insup Lee (UPenn) CPS: Large: Assuring the Safety, Security, and Reliability of Medical Device Cyber-Physical Systems Insup Lee 1035715
James Anderson (UNC -Chapel Hill) Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems Frank Mueller 1239135, 1239246
James Freudenberg (Michigan) Identification of Feedforward Control in a Cyber Grasp and Twist Task James Freudenberg 1035271
James McLurkin (Rice) Geometric Distributed Algorithms for Multi-Robot Coordination and
Control
James McLurkin & Nancy Lynch 1035716
Jan Vitek (Purdue) Robust Distributed Wind Power Engineering Douglas Adams 1136045
Janos Sztipanovits (Vanderbilt) Science of Cyber-Physical System Integration Xenofon Koutsoukos 1035655
Jessy Grizzle (Michigan) Frontier: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems Jessy Grizzle 1239037
Ji-Woong Lee (Penn State) Digital Control of Hybrid Systems via Simulation and Bisimulation Ji-Woong Lee 1329422, 1329539
Jianghai Hu (Purdue) CPS: Synergy: Plug-and-play Cyber-Physical Systems to Enable Intelligent Buildings Jianghai Hu 1329875
Jiawei Han (UIUC) NSF CPS: Small: Collaborative Research: Foundations of Cyber-Physical Networks Jiawei Han 0931975
Jitesh Panchal (Purdue) CPS: Synergy: Foundations of Cyber-Physical Infrastructure for Creative Design and Making of Cyber-physical Products Jitesh Panchal 1329979
John Gallagher (Wright State) Methodologies for Engineering with Plug-and-Learn Components: Synthesis and Analysis Across Abstraction Layers John Gallagher 1239196, 1239171, and 1239229
John Hatcliff (KSU) CPS: Synergy: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms John Hatcliff 1239543 ,1239324
John Stankovic (Virginia) Body Sensor Networks: A Holistic Approach From Silicon to Users John Stankovic 1035771
John Stankovic (Virginia) Multi-Level Predictive Control of Mobile Cyber-Physical Systems with Correlated Context John Stankovic 1239483, 1239108, 1239226, 1239152
Jonathan Sprinkle (Arizona) CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems Jonathan Sprinkle 1253334
Joseph Beaman (UT Austin) Cyber-enabled Manufacturing Systems (CeMS) for small lot manufacturing Al Mok 1239343
Junshan Zhang (ASU) Architecture and Distributed Management for
Reliable Mega-scale Smart Grids
Donghoon Shin 1035906
Kagan Tumer (Oregon State) CPS Small -- Collaborative Research: Distributed Coordination of Agents For Air Traffic Flow Management Kagan Tumer 0931591
Kai Shen (Rochester) CPS: Synergy: Self-Sustainable Data-Driven Systems In the Field Kai Shen 1239423
Kang Shin (Michigan) CPS: Synergy: Thermal-Aware Management of Cyber-Physical Systems Ella Atkins 1329702, 1329831
Kang Shin (Michigan) Collaborative Research: Abstraction of Cyber-Physical Interplays and Its Application to CPS Design Ella Atkins 0930813
Katia Sycara (CMU) Formal Models of Human Control and Interaction with CPS Katia Sycara and Meeko Oishi 1329986, 1329878, 1329762
Kevin Tomsovic (Tennessee) A Cyber-Physical Framework for Remedial Action Schemes in Large Power Networks | POSTER 2 | ABSTRACT Kevin Tomsovic 1239366
Kostas Bekris (Rutgers) Real-Time, Simulation-based Planning and Asynchronous Coordination for Cyber-Physical Systems Kostas Bekris 0932423
Krishna Pattipati (UConn) CPS: Small: Collaborative Research: Fault Diagnosis and Prognosis in a Network of Embedded Systems in Automotive Vehicles Chaitanya Sankavaram 0931956
Krishnendu Chakrabarty (Duke) Cyber-Physical Integration for Digital Microfluidic Biochips Kai Hu 1135853
Lang Tong (Cornell) Information and Computation Hierarchy for Smart Grids Lang Tong 1135844

M. Cenk Cavusoglu (Case Western)

A Framework for Validation and Monitoring of Robotic Surgery Systems M. Cenk Cavusoglu 1035602
Magnus Egerstedt (GA Tech) Hybrid Control Tools for Power Management and Optimization in Cyber-Physical Systems Yorai Wardi and Patrick Martin 1239225 &1239221
Mario Berges (CMU) A Framework for Enabling Energy-Aware Smart Facilities Kyle Anderson 0930868
Marjorie Skubic (Missouri) Active Heterogeneous Sensing for Fall Detection and Fall Risk Assessment Marjorie Skubic 0931607
Mark Campbell (Cornell) Tightly Integrated Perception and Planning in Intelligent Robots Frank Havlak and Ben Johnson 0931686
Mark-Oliver Stehr (SRI International) A Logical Framework for Self-Optimizing Cyber-Physcial Systems Minyoung Kim 932397
Matthew Might (Utah) Safety-Oriented Hybrid Verification for Medical Robots Steven Lyde 1035658
Mehdi Kalantari Khandani (Maryland) Sensor Network Information Flow Dynamics Mehdi Kalantari Khandani 931957
Metin Sitti (CMU) Dense Networks of Bacteria Propelled Micro-Robotic Swarms Radu Marculescu 1135850

Michael Lemmon (Notre Dame)

CPS: Small: Dynamically Managing the Real-time Fabric of a Wireless Sensor-Actuator Network Michael Lemmon 931195
Michael Lemmon (Notre Dame) CPS: Synergy: Resilient Wireless Sensor-Actuator Networks Michael Lemmon 1239222
Mina Sartipi UT Chattanooga) CPS Foundations in Computation and Communication Mina Sartipi 0932113
Mitchell Neilsen (KSU) Infusing System Design and Sensor Technology in K-12 Education Gurdip Singh 0948019
Munther Dahleh (MIT) New Architectures for Demand Response Mardavij Roozbehani 1135843
Nalini Venkatasubramanian (UC Irvine) Project CYPRESS (Cyber-Physical Resilience and Sustainability): Dependability Techniques for Instrumented Cyber-Physical Spaces Nalini Venkatasubramanian and Zhijing Qin 1063596 and 1063597
Neal Patwari (Utah) Enabling and Advancing Human and Probabilistic Context Awareness for Smart Facilities and Elder Care Neal Patwari 1035565, 1035152
Nicholas Maxemchuk (Columbia) Managing Complexity in Safe Lane Merging Protocols Nick Maxemchuk 1035178
Nicola Elia (Iowa State) CPS: Breakthrough: Distributed computing under uncertainty: a new paradigm for cooperative cyber-physical systems Nicola Elia 1239319
Nikolaus Correll (Colorado) EAGER: Centralized Control of Large-Scale Distributed Sensor/Actuator Networks: Self-organizing Amorphous Facades Nikolaus Correll 1153158
Nuno Martins (Maryland) Collaborative Research: Remote Imaging of Community Ecology via Animal-borne Wireless Networks Nuno Martins 1135726 , 1135719, 1135724
Nuno Martins (Maryland) CPS:Medium:Ant-Like Microrobots - Fast, Small, and Under Control Nuno Martins 0931878
Oleg Sokolsky (UPenn) Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems Oleg Sokolsky 1329861 and 1329984
Ovidiu Daescu (UT Dallas) Collaborative Research: Tumor and organs at risk motion: an opportunity for better DMLC IMRT delivery systems Ovidiu Daescu 1035460, 1249434
P. R. Kumar (Texas A&M) Collision Free Autonomous Ground Traffic: A Model Predictive Control Approach Kyoung-Dae Kim 1232602
Panagiotis Christofides (UCLA) Design of Networked Control Systems for Chemical Processes Matthew Ellis 0930746
Parmesh Ramanathan (Wisconsin) Preserving confidentiality of sensitive information in power system models Parmesh Ramanathan 1329452
Paulo Tabuada (UCLA) Towards robust cyber-physical systems Paulo Tabuada 1035916
Pei Zhang (CMU) Efficient Mapping and Management of Applications onto Cyber-Physical Systems Pei Zhang 1135874
Peter Seiler (Minnesota) CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems Peter Seiler 1329390 & 1329341
Peter Stone (UT Austin) The Open-Source TEXPLORE Code Release for Reinforcement Learning on Robots Matteo Leonetti 1330072
Peter Volgyesi (Vanderbilt) Self Sustaining CPS for Structural Monitoring Peter Volgyesi 1035627
Philip Brisk (UC Riverside) A High-Performance Online Assay Interpreter for Digital Microfluidic Biochips Philip Brisk 1035603
Phillip Jones (Iowa State) Integration of Conjoined Cyber-Physical System Properties Phillip Jones 1060093
Pieter Abbeel (UC Berkeley) Learning for Control of Synthetic Cyborg Teodor Moldovan 0931463
Pietro Valdastri (Vanderbilt) CPS: Synergy: Integrated modeling, analysis and synthesis of miniature medical devices Pietro Valdastri 1239355
Pitu Mirchandani (ASU) A Cyber-Physical System for Proactive Traffic Management to Enhance Mobility and Sustainability Pitu Mirchandani and Dijiang Huang 1239396, 1239364
Prabir Barooah (Florida) CPS: Methods for Network-Enabled Embedded Monitoring and Control for High-Performance Buildings Prabir Barooah and Sean Meyn 0931885
Prasad Sistla (Illinois) Monitoring Techniques for Safety Critical Cyber-Physical Systems Yao Feng 1035914
Qi Cheng (Oklahoma State) A Unified Distributed Spatiotemporal Signal Processing Framework for Structural Health Monitoring Qi Cheng 0932297
Radu Stoleru (Texas) Flow-based Cyber-Physical Systems Mahima A. Suresh 1253968
Rahul Mangharam (UPenn) From Verified Models to Verified Code for Medical Devices Rahul Mangharam 1253842
Raj Rajkumar (CMU) Advanced Transportation Systems Raj Rajkumar 1035813
Raja Sengupta (UC Berkeley) Cyber-Physical Cloud Computing Raja Sengupta 1136141
Robert Fowler (UNC) Plug-and-Play Environment for Sensor Configuration and Data Collection Robert Fowler 0932011
Satyandra Gupta (Maryland) Image Guided Autonomous Optical Manipulation of Cell Groups Sagar Chowdhury 0931508
Shankar Sastry (UC Berkeley) Foundations Of Resilient CybEr-physical Systems Saurabh Amin 1239166, 1239054
Shigang Chen (Florida) Transforming a City's Transportation Infrastructure through an Embedded Pervasive Communication Network Shigang Chen 0931969
Sinan Keten (Northwestern) Simulation-Based Design of Functional Sub-nanometer Porous Membranes Sinan Keten 1234305
Sriram Sankaranarayanan (Colorado) Analyzing Human User Interactions with Cyber-Physical Systems Sriram Sankaranarayanan 1035845
Stavros Tripakis (UC Berkeley) Compositional System Modeling with Interfaces - COSMOI Stavros Tripakis 1329759
Stephane Lafortune (Michigan) CPS Small: Control of Distributed Cyber-Physical Systems under Partial Information and Limited Communication Stephane Lafortune 0930081
Stephen Patek (Virginia) Control Subject to Human Behavioral Disturbances: Anticipating Behavioral Influences in the Control of Diabetes Stephen Patek 0931633
Steven LaValle (UIUC) Sensor Lattices Max Katsev 1035345
Sudip Mazumder (UIC) Boolean Microgrid Sudip K. Mazumder 1239118
Suhas Diggavi (UCLA) Foundations of Secure Cyber-Physical Systems Suhas Diggavi 1136174
Tarek Abdelzaher (UIUC) The Ektokernel Approach Tarek Abdelzaher 1035736
Teresa Wu (ASU) SMARTER -Smart Manager for Adaptive and Real-Time decisions in building clustERs Jin Wen (Thursday), Teresa Wu (Friday) 1239257, 1239247, 1239093
Thomas Kurfess (GA Tech) Converting Multi-Axis Machine Tools into Subtractive3D Printers Tommy Tucker 1329742
Todd Murphey (Northwestern) Mutually Stabilized Correction in Physical Demonstration Brenna Argall 1329891
Tony Givargis (UC Irvine) A Ball Goes to School - Our Experiences from a Cyber-Physical Systems Design Experiment Tony Givargis 1136146
Tyrone Vincent (Colorado School of Mines) CEEMS - Cyber-Enabled Efficient Energy Management of Structures Tyrone Vincent 0931748
Umesh Vaidya A Unified System Theoretic Framework for Cyber Attack-Resilient Power Grid Manimaran Govindarasu 1329915
Umit Ozguner (Ohio State) Autonomous Driving in Mixed-Traffic Urban Environments Umit Ozguner 0931669
Venkatesh Saligrama (Boston) Sequential Supervised Learning Venkatesh Saligrama 0932114
Veronica Santos (ASU) Cyber-physical system challenges in man-machine interfaces: context-dependent control of smart artificial hands through enhanced Stephen Helms Tillery 0932389
Vijay Gupta (Notre Dame) Large Scale PEV Integration into Power Grids Vijay Gupta 1239224
Vinod Ganapathy (Rutgers) Establishing Integrity in Dynamic Networks of Cyber-Physical Devices Vinod Ganapathy 0931992
Walid Taha (Halmsted University & Rice University) A CPS Approach to Robot Design Yingfu Zeng 1136099
XiangYang Li (IIT) Managing Loosely Coupled Networked Control Systems with External Disturbances Shang Ping Ren 1035894
Xiaoping Qian (IIT) Automated and Robust Nano-Assembly with Atomic Force Microscopes Guangyong Li 1035844 & 1035563
Yan Wan (North Texas) Dynamical-Network Evaluation and Design Tools for Strategic-to Tactical Air Traffic Flow Management Yan Wan 1035386
Yannis Tsividis (Columbia) Hybrid Continuous-Discrete Computers for Cyber-Physical Systems Yannis Tsividis 1239134
Yiannis Aloimonos (Maryland) A Mid-Level Approach for Efficient Object Search in Clutter Cornelia Fermuller 1035542
Yu Sun (South Florida) Virtually Transparent Epidermal Imagery Yu Sun 1035594
Yun Fu (Northeastern) Quantitative Visual Sensing of Dynamic Behaviors for Home-based Progressive Rehabilitation Yun Fu 1314484

Poster Session Map

Visible to the public