Profile photo of Sergiy Bogomolov
Sergiy Bogomolov, Ph.D.
PRECISE Seminar: Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
April 12, 2017

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. Several such recent approaches advocate that only “dynamic” hybridization techniques—i.e., those where the dynamics are abstracted on-the-fly during a reachability computation— are effective. In this talk, we demonstrate this is not the case, and create static hybridization methods that are more scalable than earlier…

Profile photo of Tian He
Tian He, Ph.D.
PRECISE Seminar: Cross-Domain CPS for Intelligent Transportation in Smart Cities
February 22, 2017

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-Physical-Systems), which is a new information paradigm integrating communication, computation, and control in real time. Under the context of a smart cities initiative proposed by the White House, in this talk, I will focus on CPS related to large-scale cross-domain urban systems, e.g., taxi, bus, subway, cellphone and…

Profile photo of Chung-Wei Lin
Chung-Wei Lin, Ph.D.
PRECISE Seminar: Design Framework and Evolutional Architecture for Next-Generation Vehicles
February 7, 2017

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-stage framework for connected applications with an emphasis on timing and security, (2) a flexible and customizable plug-and-play platform to support installations, updates, or activations of applications at dealership, before driving, or even during driving, (3) a certification protocol to certify outsourced software but…

Profile photo of Eugene Chai
Eugene Chai, Ph.D.
Joint PRECISE-DSL Seminar: 5G and Beyond - The Road to Next Generation Broadband
January 19, 2017

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 entire network architecture, wireless access technologies plays an outsized role in realizing last-mile connectivity to the vast majority of future connected devices.

In this talk, I will draw upon some of our recent works that push the envelope in evolving our current broadband infrastructure to 5G.  I will…

Profile photo of Jackson R. Mayo
Jackson R. Mayo, Ph.D.
PRECISE Seminar: Robust Digital Computation in the Physical World
January 18, 2017

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 in extending reliability and security measures from pure digital computation (itself a challenging problem) to the broader cyber-physical and out-of-nominal arena. Example applications to design and analysis of high-consequence controllers and extreme-scale scientific computing illustrate the interplay of physics and…