Event Listing

28SEP2016

@ 2:00 pm

Seminar

Joint ESE-PRECISE Seminar: Modeling and Co-design of Control Tasks over Wireless Networking Protocols (State of the Art and Challenges)

Wireless networked control systems are the integration of physical processes with wireless networked computing units. The co-design of control policies and network configuration must take into account the joint dynamics of communication protocols/channels and physical devices… Read more

21SEP2016

@ 2:00 pm

Seminar

PRECISE Seminar: Resilient Monitoring and Control of Distribution Networks

This talk will focus on the attacker-defender interactions on electricity distribution networks (DNs) that typically have a tree-like topology. Two attack models will be introduced: (i) manipulation of distributed energy resources by a strategic adversary; and (ii) energy… Read more

14SEP2016

@ 2:00 pm

Seminar

PRECISE Seminar: Design Automation for Cyber-Physical Systems

Cyber-physical systems (CPS) such as autonomous and semi-autonomous vehicles, smart buildings, and industrial automation systems, are poised to bring immense economic and societal benefits. However, the design of these systems faces tremendous challenges from the rapid… Read more

07SEP2016

@ 2:00 pm

Seminar

PRECISE Seminar: Modeling New and Resilient Airspace Operations by Harnessing Open Data in Air Transportation

High-fidelity models of airport and airspace capacity enable researchers to study modernization strategies that optimize capacity yet require volumes of detailed aircraft movement data. These datasets exist in the public and private realms but are highly challenging and… Read more

29JUL2016

@ 2:00 pm

Seminar

PRECISE Seminar: Using model checking to improve the quality of complex industrial software

Developing correct parallel and distributed software is a daunting task. The parallelism causes the state-spaced explosion problem: the number of states in the system grows exponentially with the number of parallel components. One of the ways to verify that such a system… Read more

16MAR2016

@ 2:00 pm

Seminar

PRECISE Seminar: Who Stole my (Semiconductor) Chip?

For economic reasons, the design and fabrication of semiconductor ICs is increasingly outsourced. This comes at the expense of trust. An untrusted entity, for instance a malicious designer or semiconductor foundry could pirate the design, or worse, maliciously modify it to… Read more

24FEB2016

@ 11:00 am

Seminar

PRECISE Seminar: Power Management for Mobile Sensing Applications

Energy-efficiency is a critical concern in continuously-running mobile applications, such as those for health and context monitoring. An attractive approach to saving energy in such applications is to defer the execution of delay-tolerant op- erations until a time when they… Read more

The realization of complex cyber-physical systems is creating design and verification challenges that will soon become insurmountable with today’s engineering practices. While model-based design tools are already facilitating several design tasks, harnessing the complexity of… Read more

A central goal of artificial intelligence (AI) is to develop algorithms and software that can solve complex problems as a human would. AI is poised to have a significant impact on making discoveries in biomedical big data given the availability of powerful algorithms,… Read more

18NOV2015

@ 11:00 am

Seminar

PRECISE Seminar: Collaborative Mobile Charging and Coverage

The limited battery capacity of sensor nodes has become the biggest impediment to wireless sensor network (WSN) applications over the years. Recent breakthroughs in wireless energy transfer, based on rechargeable lithium batteries, provide a promising application of mobile… Read more