Event Listing

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

It is well-known that today's computing platforms for the IoT big data server and network router infrastructure is highly energy-consuming. And scaling this to the exascale sizes and Tbps bandwidth handling, which are required for the future, looks implausible with… Read more

Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to the occurrence of a failure, and the causality relation between the failure and a damage. The second issue is especially complex when… Read more

I will provide an overview of GE, GE Research, and the "Systems & Synthesis" lab. Our  mission is to develop solutions that accelerate systems & sub-systems development & integration through software synthesis, V&V, and large systems discrete event simulation… Read more