SESSION II: Friday, November 22, 3:00 PM - 4:30PM |
# |
Lead PI Name |
Poster Presenter Name |
Title |
Videos |
Award #(s) |
1 |
Fadel Adib |
|
Scaling Cyber-Physical Systems to the Low-Power Internet of Things |
|
1739723 |
2 |
Venkataramana Ajjarapu |
Venkataramana Ajjarapu |
Data-driven Causality Mapping, System Identification and Dynamics Characterization for Future Power Grid |
|
1932458 |
3 |
James Anderson |
Nathan Otterness |
Real-Time Computer Vision in Autonomous Vehicles: Real Fast Isn't Good Enough |
|
1837337 |
4 |
Ella Atkins |
Ella Atkins, Hossein Rastgoftar |
Cyber-Physical Communication for Cooperative Human-Robot Mobility |
|
1739525 |
5 |
Atul Prakash |
|
Support for Security and Safety of Programmable IoT Systems |
|
1646392, 1646305 |
6 |
Kira Barton |
|
Flexible control reconfiguration of manufacturing systems to enhance system throughput and increase overall system efficiency |
|
1544678 |
7 |
Paul Bogdan |
|
Embracing Complexity: A Fractal Calculus Approach to the Modeling and Optimization of Medical Cyber-Physical Systems |
|
1453860 |
8 |
Francesco Borrelli |
Koushil Sreenath |
Safe Learning in Co-robots--Theory, Experiments and Education |
|
1931853 |
9 |
Sean Brennan |
Sean Brennan |
Automated Discovery of Data Validity for Safety-Critical Feedback Control in a Population of Connected Vehicles |
|
1931927, 1932509, 1932138 |
10 |
Philip Brisk |
Philip Brisk |
Ionic Liquid and Amorphous Metal-Oxide Semiconductor Interactions: Towards a New Programmable Neuromorphic Platform |
|
1545097, 1544686 |
11 |
Philip Brisk |
Philip Brisk |
Acoustic Side Channel Attacks on DNA Synthesizers |
|
1740052, 1739503 |
12 |
Philip Brisk |
|
Development of a High-Throughput DNA Synthesizers: Predicting Motion of p-Chio Microtransponders in Fluid Flow |
|
1739503 |
13 |
Subhadeep Chakraborty |
|
Active Shooter Tracking and Evacuation Routing for Survival (ASTERS) |
|
1932505 |
14 |
Aranya Chakrabortty |
|
Data-Driven Reinforcement Learning Control of Large CPS Networks using Multi-Stage Hierarchical Decompositions |
|
1931932 |
15 |
Maggie Cheng |
|
Real-Time Data Analytics for Energy Cyber-Physical Systems |
|
1854077 |
16 |
Elizabeth Cherry |
Elizabeth Cherry |
Controllability of Cardiac Alternans |
|
1446312 |
17 |
Mooi Choo Chuah |
|
Robust Efficient Perception System for Autonomous Vehicles |
|
1931867 |
18 |
Andrew Clark |
|
Secure-by-Design Synthesis of Cyber-Physical Systems |
|
1656981 |
19 |
Jane Cleland-Huang |
Jane Cleland-Huang |
Interactive Human-Drone Partnerships for Emergency Response |
|
1931962 |
20 |
Raghvendra Cowlagi |
|
Selective Listening: Control for Connected Autonomous Vehicles in Data-Rich Environments |
|
1646367 |
21 |
Jyo Deshmukh |
|
Uncertainty-aware Framework for Specifying, Designing and Verifying Cyber-Physical Systems |
|
1932620 |
22 |
Harpreet Dhillon |
|
Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems |
|
1739642 |
23 |
Abhishek Dubey |
|
STEAM: Secure and Trustworthy Framework for Integrated Energy and Mobility in Smart and Connected Communities |
|
1818901 |
24 |
Kornel Ehmann |
Jian Cao |
An Integrated Simulation and Process Control Platform for Distributed Manufacturing Process Chains |
|
1646592 |
25 |
Deniz Erdogmus |
|
Nested Control of Assistive Robots through Human Intent Inference |
|
1544895 |
26 |
Rose Faghih |
Rose T. Faghih |
Wearable-Machine Interface Architectures |
|
1755780 |
27 |
Yaser Fallah |
|
Multi-Resolution Model and Context Aware Information Networking for Cooperative Vehicle Efficiency and Safety Systems |
|
1664968 |
28 |
Yaser Fallah |
|
Perceptive Stochastic Coordination in Mass Platoons of Automated Vehicles |
|
1932037 |
29 |
Chen Feng |
Chen Feng |
Accurate and Efficient Collective Additive Manufacturing by Mobile Robots |
|
1932187 |
30 |
Flavio Fenton |
Abouzar Kaboudian |
Shattering the Supercomputer Barrier of Computationally Expensive Problems by Personal Computers: a WebGL 2.0 Approach |
|
1446675 |
31 |
Christina Fragouli |
Suhas Diggavi |
Distorting an Adversary's View in Cyber-Physical Systems |
|
1740047 |
32 |
Erik Fredericks |
|
Minimizing the Oracle Problem for Self-Adaptive Cyber-Physical Systems |
|
1657061 |
33 |
Vanessa Frias-Martinez |
Vanessa Frias-Martinez |
Data-Driven Models of Human Mobility and Resilience for Decision Making |
|
1750102 |
34 |
Dennice Gayme |
|
Beyond Stability: Performance as Efficiency and Disturbance Management in Smart Networked Systems |
|
1544771 |
35 |
Stephanie Gil |
|
Multi-Agent Decision Making and Optimization using Communication as a Sensor |
|
1845225 |
36 |
Sevgi Gurbuz |
Sevgi Zubeyde Gurbuz |
RF Sensing for Sign Language Driven Smart Environments |
|
1932547, 1931861 |
37 |
Song Han |
Song Han |
A Secure Communication Framework with Verifiable Authenticity for Immutable Services in Industrial IoT Systems |
|
1932480 |
38 |
Naira Hovakimyan |
Naira Hovakimyan |
Against Coordinated Cyber and Physical Attacks: Unified Theory and Technologies |
|
1739732 |
39 |
Bob Iannucci |
|
TickTalk: Timing API for Federated Cyberphysical Systems |
|
1646235 |
40 |
Petros Ioannou |
Petros Ioannou |
Smart Freight Transportation with Behavioral Incentives |
|
1932615 |
41 |
Petros Ioannou |
Petros Ioannou |
Cyber Physical Regional Freight Transportation System |
|
1545130 |
42 |
Luis Jaimes |
|
Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints |
|
1739409 |
43 |
Susmit Jha |
Susmit Jha |
Self-Improving Cyber Physical System: Attribution-Based Confidence (ABC) for Deep Learning Models |
|
1740079 |
44 |
Yier Jin |
|
Security Certification of Autonomous Cyber-Physical Systems |
|
1818500 |
45 |
Neil Johnson |
Neil Johnson |
Understanding Ultrafast Instabilities ina Global Cyber-Physical System |
|
1522693 |
46 |
Sertac Karaman |
|
Fundamental Limits and Practical Algorithms for Complex Cyber-Physical Systems |
|
1350685 |
47 |
Sertac Karaman |
|
LEAR-CPS: Low-Energy computing for Autonomous mobile Robotic CPS via Co-Design of Algorithms and Integrated Circuits |
|
1837212 |
48 |
Mithat Kisacikoglu |
Mithat Kisacikoglu |
Internet-Inspired Autonomous Electric Vehicle (EV) Charging |
|
1755996 |
49 |
Justin Koeln |
Justin Koeln |
Hierarchical Control for Constrained Multi-timescale Energy Management |
|
1849500 |
50 |
Zhenyu Kong |
Zhenyu Kong |
Cyber Enabled Online Quality Assurance for Scalable Additive Biomanufacturing (Bio-AM) |
|
1739318 |
51 |
Thomas Kurfess |
Christopher Saldana |
CNC Process Plan Simulation, Automation and Optimization |
|
1646013 |
52 |
Stephane Lafortune |
Stephane Lafortune |
Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems |
|
1738103 |
53 |
Phil Levis |
Dawson Engler |
Secure Smart Machining |
|
1931750 |
54 |
Shuai Li |
Shuai Li |
Modeling Subsurface Features and Connected Autonomous Vehicles as Cyber-Physical Systems for Reciprocal Mapping and Localization |
|
1850008 |
55 |
Xiaopeng Li |
|
Cyber-Physical Phases of Mixed Traffic with Modular & Autonomous Vehicles: Dynamics, Impacts and Management |
|
1932452 |
56 |
Robert LiKamWa |
|
Real-time spatial audio on the Internet of Things |
|
1932377 |
57 |
Xue Lin |
Xue Lin and Qi Chen |
SecureNN: Design of Secured Autonomous Cyber-Physical Systems Against Adversarial Machine Learning Attacks |
|
1932351, 1932464 |
58 |
Steven Low |
|
Adaptive Charging Network Research Portal |
|
1932611 |
59 |
Rahul Mangharam |
|
Computer-aided Clinical Trials for Medical Divises: Robustness Evaluation |
|
1446664, 1253842 |
60 |
Manel Martínez-Ramón |
|
Smart and Connected Firefighting System Design |
|
1637092 |
61 |
Neda Masoud |
Neda Masoud, Yafeng Yin |
Behaviorally Compatible, Energy Efficient, and Network-Aware Vehicle Platooning Using Connected Vehicle Technology |
|
1837245 |
62 |
Carlos Mastrangelo |
C. H. Mastrangelo |
Integration of Thin Flexible Autonomous Microsystems for Vision Correction |
|
1932602 |
63 |
Donatello Materassi |
|
Design of in-line controllers for continuously operating networks with structural uncertainty |
|
1553504 |
64 |
Bruce McMillin |
Bruce McMillin |
Trusted CPS from Untrusted Components |
|
1837472 |
65 |
Ali Mehrizi-Sani |
|
CYDER: Cybersecure Distribution systems with power Electronically interfaced Renewables |
|
1837700 |
66 |
Ali Mehrizi-Sani |
Jenny Appiah-Kubi |
Multi-Agent Intrusion Detection for Distribution Systems |
|
1837359, 1837700 |
67 |
Sayan Mitra |
Sayan Mitra |
Privacy-preserving Network Congestion Control |
|
1739966 |
68 |
Bashir Morshed |
|
Inkjet Printed Flexible Electronic CPS with Context-aware Events of Interest Detection |
|
1932281 |
69 |
Richard M. Murray |
|
Towards Assume-Guarantee Profiles for Autonomous Vehicles |
|
1545126 |
70 |
Todd Murphey |
|
Information-Based Control of Cyber-Physical Systems Operating in Uncertain Environments |
|
1837515 |
71 |
Srinivas Narasimhan |
Robert Tamburo |
Anytime Visual Scene Understanding for Heterogenous and Distributed CPS |
|
1446601 |
72 |
Pierluigi Nuzzo |
|
High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts |
|
1846524 |
73 |
Chinedum Okwudire |
|
Mitigating Uncertainties in Computer Numerical Control (CNC) as a Cloud Service using Data-Driven Transfer Learning |
|
1931950 |
74 |
Alex Orailoglu |
|
Hunting Sybils in Participatory Mobile Consensus-Based Networks |
|
1739684 |
75 |
Necmiye Ozay |
Johanna Mathieu |
Scalable and Safe Control Synthesis for Systems with Symmetries |
|
1837680 |
76 |
Necmiye Ozay |
Dimitra Panagou, Samet Oymak, Sze Zheng Yong |
Data-driven modeling and preview-based control for cyber-physical system safety |
|
1931982, 1932066, 1932254 |
77 |
Sule Ozev |
Sule Ozev |
Low-Cost Sensor Enabled Explosive Detection to Protect High Density Environments |
|
1739451 |
78 |
Umit Ozguner |
|
Collaborative Vehicular Systems |
|
1446735 |
79 |
Nikos Papanikolopoulos |
Ted Morris |
Dynamic Methods of Traffic Control that Impact Quality of Life in Smart Cities |
|
1544887 |
80 |
George Pappas |
|
Rethinking Communication and Control for Low-Latency, High-Reliability loT Devices |
|
1837253 |
81 |
Gabriel Parmer |
Gabriel Parmer |
Edge-Cloud Support for Predictable, Global, Situational-Awareness and Control for Autonomous Vehicles |
|
1837382 |
82 |
Hossein Pishro-Nik |
|
A Unified Framework for IoT Privacy |
|
1739462 |
83 |
Hossein Pishro-Nik |
|
Trajectory-Based Cyber-Physical Networks: Theoretical Foundationand a Practical Implementation |
|
1932326 |
84 |
Pierluigi Pisu |
|
Security of Distributed Cyber-Physical Systems with Connected Vehicles Applications |
|
1544910 |
85 |
Pavithra Prabhakar |
|
Robust Verification of Cyber-Physical Systems |
|
1552668 |
86 |
Anund Puppala |
|
Data Mining and Fusion between Unmanned Aerial Systems and Social Media Technologies to Improve Emergency Operations |
|
1945703, 1945787 |
87 |
Roger Quinn |
Roger Quinn, Mark Nandor, Sandra Hnat |
Integrated Control of Biological and Mechanical Power for Standing Balance and Gait Stability after Paralysis |
|
1739800 |
88 |
Lillian Ratliff |
|
Co-Design of Information and Incentives in Societal-Scale Cyber-Physical Systems |
|
1844729 |
89 |
Mark Rentschler |
Nikolaus Correll |
Synthetic, Distributed Sensing, Soft and Modular Tissue (sTISSUE) |
|
1739452 |
90 |
Anthony Rowe |
|
ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack |
|
1329644 |
91 |
Arman Sabbaghi |
Arman Sabbaghi |
AMapi: An Application Programming Interface for Additive Manufacturing Systems |
|
1544841 |
92 |
Soumik Sarkar |
Koushik Nagasubramanian |
A multi-scale data assimilation framework for layered sensing and hierarchical control of disease spread in field crops |
|
1646523 |
93 |
Soumik Sarkar |
Yasaman Esfandiari |
Robustifying Machine Learning for Cyber-Physical Systems |
|
1845969 |
94 |
Arif Sarwat |
Arif I Sarwat |
Cyber Physical Solution for High Penetration Renewables in Smart Grid |
|
1553494 |
95 |
Sanjit Seshia |
|
Control Improvisation for Cyber-Physical Systems |
|
1646208, 1545126 |
96 |
Sanjit Seshia |
|
Learning and Teaching Task Specifications from Demonstrations |
|
1545126 |
97 |
Sanjit Seshia |
|
Counterexample-Guided Synthesis of Perception Models and Control |
|
1545126 |
98 |
Lui Sha |
Lui Sha |
Virtual Sully: Autopilot with Multi-Level Adaptation for Handling Large Uncertainties |
|
1932529 |
99 |
Yasser Shoukry |
|
Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems |
|
1845194 |
100 |
Yasser Shoukry |
|
Resilient-by-Cognition Cyber-Physical Systems |
|
1837589 |
101 |
Raghupathy Sivakumar |
Raghupathy Sivakumar |
Multi-Human Assisted Learning for Multi-Agent Systems Using Intrinsically Generated Event-Related EEG Potentials |
|
1837369 |
102 |
John Stankovic |
John Stankovic |
Smart Wearables with Feedback Control |
|
1646470 |
103 |
Cynthia Sturton |
|
Finding Safety-Critical Causes of Mode Confusion Using Model Checking |
|
1545126 |
104 |
Mario Sznaier |
Mario Sznaier |
Data-Driven CPS: Provably correct control in data rich/labels scarce scenarios |
|
1646121 |
105 |
Jiong Tang |
|
Cybernizing Mechanical Structures Through Integrated Sensor-Structue Fabrication |
|
1544707, 1545038, 1544595 |
106 |
Lang Tong |
Lang Tong |
High-Fidelity High-Resolution and Secure Monitoring and Control of Future Grids: a synergy of AI, data science, and security |
|
1932501 |
107 |
Matthew Travers |
|
Geometric Self Propelled Articulated Micro-Scale Devices |
|
1739308 |
108 |
Roberto Tron |
Roberto Tron |
Multiagent Physical Cognition and Control Synthesis Against Cyber Attacks |
|
1932162, 1931997 |
109 |
Nasim Uddin |
Nasim Uddin |
Mobile Automated Rovers Fly-by (MARS-Fly) for Bridge Network Resiliency |
|
1645863 |
110 |
A. Selcuk Uluagac |
Amit Kumar Sikder |
Securing Sensory Side-Channels in Cyber-Physical Systems |
|
1453647 |
111 |
Richard Voyles |
|
Closed-Loop Sustainable Precision Animal Agriculture |
|
USDA 2018-67007-28439 |
112 |
Conor Walsh |
Christopher Siviy |
Human - Machine Interaction with Mobility Enhancing Soft Exosuits |
|
1446464 |
113 |
Yan Wan |
Yan Wan |
Co-Design of Networking and Decentralized Control to Enable Aerial Networking in an Uncertain Airspace |
|
1714826 |
114 |
Dong Wang |
Daniel Zhang |
Towards Reliable and Optimized Data-Driven Cyber-Physical Systems using Human-Centric Sensing |
|
1845639 |
115 |
Jayne Wu |
Jayne Wu |
Cost-effective Mastitis Control and Biosecurity for Sustainable Dairy Farming |
|
1646067 |
116 |
Liuqing Yang |
|
Collective Intelligence for Proactive Autonomous Driving (CI-PAD) |
|
1932413 |
117 |
Wei Yu |
Wei Yu |
Machine Learning for Cyber Physical Systems: the Good and Bad Uses |
|
1350145 |
118 |
Hitten Zaveri |
Hitten Zaveri |
Continuous Fault Tolerant Monitoring of the Brain in Epilepsy |
|
1544986 |
119 |
Michael Zavlanos |
Reza Khodayi-mehr |
Human-on-the-Loop Control for Smart Ultrasound Imaging |
|
1837499 |
120 |
Michael Zavlanos |
|
Distributed Learning for Control of Cyber-Physical Systems |
|
1932011 |
121 |
Desheng Zhang |
Desheng Zhang |
Improving Efficiency of Electric Vehicle Fleets: A Data-Driven Control Framework for Heterogeneous Mobile CPS |
|
1932223, 1932250 |
122 |
Xuan Zhang |
Christopher Gill |
Modular Power Orchestration at the Meso-scale |
|
1739643 |
123 |
Qi Zhu |
|
SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems |
|
1834701 |
124 |
Qi Zhu |
|
Securing the Timing of Cyber-Physical Systems |
|
1839511 |
125 |
Michael Zink |
Ishita Dasgupta |
Sensing as a Service - Architectures for Optimizing Hydrological Model in the Cloud |
|
1350752 |
126 |
Saman Zonouz |
Raj Gautam Dutta |
Trusted Integrity Verifier for Additive Manufacturing Systems |
|
1739467 |