Profile photo of Konstantinos Gatsis
Konstantinos Gatsis
PRECISE Seminar: Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels
March 28, 2014

(Joint work with Miroslav Pajic)

We consider a wireless networked control system with multiple loops closing over a shared wireless medium. To avoid interferences a centralized scheduler decides which control task accesses the channel at each time step, opportunistically based on the random wireless channel conditions that systems experience. We formulate the problem of designing channel-aware scheduling and transmit power allocation mechanisms that guarantee Lyapunov-like control performance for all tasks in expectation over the channel conditions, while they also…

Profile photo of Jonathan Sprinkle
Jonathan Sprinkle, Ph.D.
PRECISE Seminar: Humans and Models in a Cyber-Physical World
March 26, 2014

This talk covers several results focused on humans interacting with Cyber-Physical Systems: those systems whose computation, control, and communication aspects are tightly coupled. Human inputs to these systems has typically required significant training, which reduces the impact of these systems and the cost of their adoption. The main approach taken to mitigating issues in these systems is to utilize code generation and model based design, in order to utilize verification tools in domains for which they were not originally imagined, or whose complexity might prevent users from another…

Profile photo of Marco Caccamo
Marco Caccamo, Ph.D.
PRECISE Seminar: Predictable Integration of Safety-Critical Software on COTS-based Embedded Systems
March 5, 2014

Building safety-critical real-time systems out of inexpensive, non-realtime, COTS components is challenging. Although COTS components generally offer high performance, they can occasionally incur significant timing delays. To prevent this, we propose two approaches: 1) a new "clean slate" real-time, memory-centric scheduling paradigm, named PRedictable Execution Model (PREM); and 2) a framework of novel application-transparent, kernel-level techniques to perform fine-grained resource reservation of cache space and memory bandwidth in multi-core real-time systems.

We have…

Profile photo of Marco Gruteser
Marco Gruteser, Ph.D.
PRECISE Seminar: Towards Mobile Sensing of Attention and Distraction
February 21, 2014

It has long been recognized that ubiquitous information access brings enormous benefits but also creates a plethora of devices and services that are competing for our attention. With mobile devices this is a particular serious concern for drivers, pedestrians, and other traffic participants, but understanding attention patterns can also be beneficial for entertainment services. In this talk, I will discuss our work towards mobile devices that can accurately track user attention - from devices that determine when we drive, over devices that recognize their users by touch, to devices that…

Profile photo of Michael L. Littman
Michael L. Littman, Ph.D.
PRECISE Seminar: Computational Game Theory in Sequential Environments
February 18, 2014

Compared to typical single-agent decision problems, general sum games offer a panoply of strategies for maximizing utiity. In many games, such as the well-known Prisoner's dilemma, agents must work together, bearing some individual risk, to arrive at mutually beneficial outcomes. In this talk, I will discuss several algorithmic approaches that have been developed to identify cooperative strategies in non-cooperative games.  I will describe an analysis of value-function-based reinforcement learning, the pivotal role of assumptions about the opponent, the computational benefits of side…