Lightning Talks

Visible to the public 

2018 CPS PI Meeting Lightning Talks
Round 1 | Round 2 | Round 3 | Round 4

Round 1: Thursday, November 15, 10:15 AM - 11:00 AM [Session 2]
# Presenter Award Title Award #
1 Behcet Acikmese Autonomy Protocols: From Human Behavioral Modeling to Correct-by-Construction Scaleable Control 1619729
2 Manimaran Govindarasu Cyber Attack-Defense Modeling, Risk and Contingency Analysis for the Power Grid using Game Theory 1739969
3 Mithat Kisacikoglu Internet-Inspired Autonomous EV Charging 1755996
4 Vijay Gupta Incentivizing Desirable User Behavior in a Class of CPS 1739295
5 Aaron Becker MRI Powered & Guided Tetherless Effectors for Localized Therapeutic Interventions 1646566
6 Sudip Mazumder Transactive Control of Smart Railway Grid 1644874
7 Philip Brisk Low-Cost, High-Throughput, Cyber-Physical Synthesis of Encrypted DNA 1740052
8 Margaret Martonosi Towards Secure, Privacy-Preserving, Verifiable Cyberphysical Systems 1739674
9 Luis Jaimes Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints 1739409
10 Stephane Lafortune Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems 1738103
11 Tulga Ersal Connected Testbeds for Connected Vehicles 1646019
12 Sanjit Seshia Control Improvisation for Cyber-Physical Systems 1646208
13 Qi Zhu Securing the Timing of Cyber-Physical Systems 1646641
14 Kristin Rozier Theoretical Foundations of the UAS in the NAS Problem (Unmanned Aerial Systems in the National Air Space) 1664356
15 Rose Faghih Wearable-Machine Interface Architectures 1755780
16 Vanessa Frias-Martinez Data-driven Models of Human Mobility and Resilience for Decision Making 1750102
17 Kirstin Petersen Leveraging Honey Bees as Bio-Cyber Physical Systems 1739671
18 Saman Aliari Zonouz Trustworthy Cyber-Physical Additive Manufacturing with Untrusted Controllers 1739467
19 Zhenyu Kong Cyber-Enabled Online Quality Assurance for Scalable Additive Bio-Manufacturing 1739318
20 Radha Poovendran Smart and Connected Communities - Visioning Workshop 1624193
21 Yan Wan Co-Design of Networking and Decentralized Control to Enable Aerial Networks in an Uncertain Airspace 1714519
Round 2: Thursday, November 15, 1:45 PM - 2:25 PM [Session 5]
# Presenter Award Title Award #
1 Jin-Oh Hahn Enabling "White-Box" Autonomy in Medical Cyber-Physical Systems 1748762
2 Ye (Sarah) Sun System-on-Cloth: A Cloud Manufacturing Framework for Embroidered Wearable Electronics 1751454
3 Nilanjan Ray Chaudhuri Fusion of Sensory Data and Expansivity of System Dynamics for Detection and Separation of Signature Anomaly in Energy CPS Wide-Area Monitoring and Control 1739206
4 Prashant Shenoy Software Defined Solar Systems 1645952
5 Qinru Qiu Enabling Multimodal Sensing, Real-time Onboard Detection and Adaptive Control for Fully Autonomous Unmanned Aerial Systems 1739748
6 Alexandros Labrinidis Building a Smart City Economy and Information Ecosystem to Motivate Pro-Social Transportation Behavior 1739413
7 Christoffer Heckman Verified Control of Cooperative Autonomous Vehicles 1646556
8 Junmin Wang Real-Time Cyber-Human-Vehicle Systems for Driving Safety Enhancement 1645657
9 Andre Platzer Sound Invariant Generation for Continuous and Hybrid Systems 1739629
10 Paulo Tabuada A science of CPS robustness 1645824
11 Kang Shin Imposing Recovery Period for Battery Health Monitoring, Prognosis, and Optimization 1739577
12 Xenofon Koutsoukos Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems 1739328
13 Grace Gao High Integrity Navigation for Autonomous Vehicles 1750864
14 Vanessa Frias-Martinez Crowdsourcing Urban Bicycle Level of Service Measures 1636915
15 Ross Knepper Coordinated Action Among Independent Mobile Cyber-Physical Systems 1646417
16 Parasara Duggirala Symbolic and Numerical Techniques for Verification and Synthesis of Cyber-Physical Systems 1739936
17 Kornel Ehmann An Integrated Simulation and Process Control Platform for Distributed Manufacturing Process Chains 1646592
18 Kunal Mankodiya Internet of Wearable E-Textiles for Telemedicine 1652538
19 Hossein Pishro-Nik A Unified Framework for IoT Privacy 1739462
20 Sule Ozev Constantly on the Lookout: Low-cost Sensor Enabled Explosive Detection to Protect High Density Environments 1739451
21 Yaser Fallah Multi-Resolution Model and Context Aware Information Networking for Cooperative Vehicle Efficiency and Safety Systems 1664968
Round 3, Thursday, November 15, 4:00 PM - 5:00 PM [Session 7]
# Presenter Award Title Award #
1 Denise Lach Connecting Communities Through Data, Visualizations, and Decisions 1637334
2 Kyriakos G Vamvoudakis Intermittent Learning Framework for Smart and Efficient Cyber-Physical Autonomy 1750789
3 Geir Dullerud Privacy-preserving Network Congestion Control: Theory and Applications 1739966
4 Nasim Uddin Mobile Automated Rovers Fly-By (MARS-FLY) for Bridge Network Resiliency 1645863
5 Ella Atkins Cyber-Physical Communication for Cooperative Human-Robot Mobility 1739525
6 Prabir Barooah Distributed Coordination of Smart Devices to Mitigate Intermittency of Renewable Generation for a Smarter and Sustainable Power Grid 1646229
7 Matthew Travers Geometric Self-Propelled Articulated Micro-Scale Devices 1739308
8 John Stankovic Smart Wearables With Feedback Control 1646470
9 Liang Zhang Resilient Control Systems with Respect to Instrumentation Attacks: Theory and Testbed Verification 1723341
10 Susmit Jha Self-Improving Cyber-Physical Systems 1740079
11 Yunyi Jia Bilateral Adaptation between Models for Human-Perceived Safety/Comfort and Autonomous Driving Controllers 1755771
12 Lu Feng Cognitive Trust in Human-Autonomous Vehicle Interactions 1755784
13 Thomas Kurfess CNC Process Plan Simulation, Automation and Optimization 1646013
14 Fadel Adib Scaling Cyber-Physical Systems to the Low-Power Internet of Things 1739723
15 Emre Salman Charge-Recycling based Computing Paradigm for Wirelessly Powered Internet-of-Things 1646318
16 Christina Fragouli Distorting the Adversary's View: a CPS Approach to Privacy and Security 1740047
17 Matthew Peet A Convex Framework for Control of Interconnected Systems over Delayed Networks 1739990
18 Ufuk Topcu Provably Correct Shared Control for Human-embedded Autonomous Systems 1652113
19 Miroslav Pajic Foundations for Secure Control of Cyber-Physical Systems 1652544
20 Xiaofeng Wang Against Coordinated Cyber and Physical Attacks: Unified Theory and Technologies 1739886
21 Alberto Sangiovanni-Vincentelli Quantitative Contract-Based Synthesis and Verification for CPS Security 1739816
22 Dario Pompili Enabling Real-time Dynamic Control and Adaptation of Networked Robots in Resource-constrained and Uncertain Environments 1739315
23 Cameron (Kamin) Whitehouse Safety-Critical Wireless Mobile Systems 1739333
24 Jules White Cyber-Physical Approaches to Advanced Manufacturing Security 1446304
Round 4: Friday, November 16, 2:15 PM - 3:00 PM [Session 12]
# Presenter Award Title Award #
1 Chee-Wooi Ten An Actuarial Framework of Cyber Risk Management for Power Grids 1739422
2 Xuan Zhang Modular Power Orchestration at the Meso-scale 1739643
3 Roger Quinn Integrated Control of Biological and Mechanical Power for Standing Balance and Gait Stability After Paralysis 1739800
4 Junshan Zhang Demand Response & Workload Management for Data Centers with Increased Renewable Penetration 1739344
5 Kang Shin Secure Interactions with Internet of Things 1646130
6 Lalitha Sankar A Verifiable Framework for Cyber-Physical Attacks and Countermeasures in a Resilient Electric Power Grid 1449080
7 Mark Rentschler Synthetic, Distributed Sensing, Soft and Modular Tissue (sTISSUE) 1739452
8 Mani Govindarasu High-Fidelity, Scalable, Open-Access Cyber Security Testbed for Accelerating Smart Grid Innovations and Deployments 1446831
9 Zak Kassas Situational Awareness Strategies for Autonomous Systems in Dynamic Uncertain Environments 1751205
10 Hamsa Balakrishnan Recovery Algorithms for Dynamic Infrastructure Networks 1739505
11 Raghvendra Cowlagi Selective Listening Control for Connected Autonomous Vehicles in Data-Rich Environments 1646367
12 Shreyas Sundaram Towards Secure Large-Scale Networked Systems: Resilient Distributed Algorithms for Coordination in Networks Under Cyber Attacks 1653648
13 Andrew Clark Secure-by-Design Synthesis of Cyber-Physical Systems 1656981
14 Yier Jin Security Certification of Autonomous Cyber-Physical Systems 1818500
15 Calin Belta BioCPS for Engineering Living Cells 1446607
16 Ufuk Topcu Data-Driven Cyberphysical Systems 1646522
17 Cynthia Sturton VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems 1545126
18 Scott Smolka Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems 1446832
19 Kira Barton Software Defined Control for Smart Manufacturing Systems 1544678
20 Payam Heydari A Bi-Directional Brain-Computer Interface for Restoration of Walking and Lower Extremity Sensation after Spinal Cord Injury 1646275