Schedule
| Time | Event | Location |
|---|---|---|
| 8:30 - 9:00 | Breakfast/Coffee | Link Lab |
| 9:00 - 9:40 |
Welcome and Introductions
|
Link Lab |
| 9:40 - 10:10 | Keynote: David Corman (NSF) | Link Lab |
| Break | Link Lab | |
| 10:30 - 11:30 | Panel: Academic Job Search Process | Link Lab |
| 11:30 - 12:30 | Poster Session 1 | Link Lab |
| 12:30 - 1:30 | Lunch | Link Lab |
| 1:30 - 2:30 | Panel: Obtaining Research Grants | Link Lab |
| 2:30 - 3:30 | Poster Session 2 | Link Lab |
| 3:30 - 4:30 | Panel: Establishing Research Group and Collaborations | Link Lab |
| 4:30 - 5:30 | Social Hour | Link Lab |
| 6:00 - 8:00 | Dinner | Colonnade Club |
Poster Session 1
| Poster Number | Participant | Research Topic |
|---|---|---|
| 1 | Alexandra Nilles | Fast, Cheap and More Robust: Formalizing Scalable Robot Collective Design |
| 2 | Chandreyee Bhowmick | Adaptive Learning from Peers in Distributed Actor-Critic Algorithms |
| 3 | Enrico Casella | Machine-Learning-Powered Cyber-Physical Systems |
| 4 | Fangqi Liu | Enhancing IoT Applications and CPS Using Mobility |
| 5 | George Gunter | Experimental testing and comparison of control barrier functions for safe control of automated vehicles |
| 6 | Guanrui Li | Aerial Robots Cooperative Manipulation with Humans |
| 7 | Haofan Cai | Towards RFID-based Cyber-Physical Connection Systems |
| 8 | Henrique Carlos Oyama | Cyberattack Resilient Optimization-Based Control Design for Process Safety, Cybersecurity, and Efficiency |
| 9 | Jared Coleman | Problem Solving with Systems of Constrained Mobile Agents |
| 10 | Kristina Miller | Formal Synthesis for Safe Cyber-Physical Systems with Applications in Space Autonomy |
| 11 | Kruttidipta Samal | Controllable Perception for Safe and Efficient Autonomous Systems |
| 12 | Lili Wang | Distributed Algorithms for Multi-Agent systems: Estimation, Control, and learning |
| 13 | Luis Burbano | Formal analysis of Cyber-physical systems' security |
| 14 | Mehmet Fatih Ozkan | Human-Centric Autonomy in Mixed Traffic |
| 15 | Mengxue Hou | Assured Abstraction for Robotic Hierarchical Planning |
| 16 | Mst Moriom Rojy Momota | CPS Interfacing Using Inkjet Printed Electronics and Implementation of Data Reliability Metric for Trustable Smart Healthcare |
Poster Session 2
| Poster Number | Participant | Research Topic |
|---|---|---|
| 17 | Mulong Luo | Exploiting and Taming Timing Variabilities in Cyber-Physical Systems Hardware |
| 18 | Nurani Saoda | Sustainable Internet-of-Things with Batteryless Energy-harvesting Sensors |
| 19 | Qi Li | AI-powered Cyber-physical Energy Systems |
| 20 | Ramneet Kaur | Towards Trustworthy Open-World Learning in High-Assurance Systems |
| 21 | Sachini Piyoni Ekanayake | Datum-wise Learning and Inference in Cyber-Physical-Human Systems |
| 22 | Siddharth Ancha | Active, Robust and Adaptive Robot Perception |
| 23 | Wei-Chiu Ma | Learning 3D Modeling and Simulation From and For the Real World |
| 24 | Wenqi Cui | Structured Learning and Control for Energy Systems: Stability, Steady-State Optimality and Generalization Guarantees |
| 25 | Xiaofan Yu | Intelligence beyond the Edge in IoT |
| 26 | Xin Qin | A data-driven framework for verification of learning-enabled cyber-physical systems |
| 27 | Xiyuan Zhang | Robust and Efficient Machine Learning for IoT Devices |
| 28 | Xugui Zhou | Context-aware Assurance in Cyber-Physical Systems |
| 29 | Yanbing Wang | Enhancing Traffic Corridor Management with Data-Driven Control and Connected Automated Vehicles |
| 30 | Ying Chen | Robust User and Environment-Adaptive Virtual and Augmented Reality Systems |
| 31 | Zahra Ghorbani | Cyber-Physical Systems and Digital Twins for Capital Facilities' Operations |
| 32 | Zhichen Liu | End-to-End Transportation Network Analysis, Planning, and Operation |