Event Listing

Funded by Intel and NSF, our team studies security and privacy issues related to cyber-physical systems.  This is an annual, internal meeting for stakeholders from Penn, Stanford, Intel and NSF, and is not open to the general public. Read more

The F1tenth competition, established by PRECISE, is where top minds develop autonomous driving solutions for 1/10th scale race cars.  We provide online instruction and videos on how to build the base hardware platform, while teams design unique software algorithms for… Read more

Funded by NSF and led by Stony Brook, collaborators from seven leading universities and centers working together to develop a CyberCardia framework for closed-loop verification of… Read more

Hybridization methods enable the analysis of hybrid automata with complex, nonlinear dynamics through a sound abstraction process. Complex dynamics are converted to simpler ones with added noise, and then analysis is done using a reachability method for the simpler dynamics.… Read more

For the first time, we have more people living in urban cities than rural areas. Based on this inevitable urbanization, my research aims to address sustainability challenges related to urban mobility (e.g., energy consumption and traffic congestion) with data-driven Cyber-… Read more

Advanced Driver Assistance Systems (ADAS), autonomous functions, and connected applications bring a revolution to automotive systems and software. In this talk, I will introduce several ongoing research topics in the domain of automotive systems and software: (1) a design-… Read more

The University of Pennsylvania has been the home for a DoT National and a Tier-1 UTC for the past several years. This month we were awarded a $14MM National University Transportation Center for Improving Mobility called Mobility 21 which will investigate technologies,… Read more

5G is the vision for a future ubiquitous, fully-connected environment. The goal of 5G extends from improving mobile cellular capacity, to supporting massive numbers of IoT devices, virtual reality and highly reliable public safely communications.  While 5G encompasses the… Read more

Modern digital hardware and software designs are increasingly complex but are themselves only idealizations of a real system that is instantiated in, and interacts with, an analog physical environment. Insights from physics, formal methods, and complex systems theory can aid… Read more

The present day technology falls short in offering autonomous mobile robots that can function effectively and efficiently under unknown and dynamic environmental conditions. Insects and canines, on the other hand, exhibit an unmatched ability to navigate through a wide… Read more