Event Listing

28 MAR 2014
@ 1:00 pm
PRECISE Seminar: Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels
(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,… Read more
26 MAR 2014
@ 12:00 pm
PRECISE Seminar: Humans and Models in a Cyber-Physical World
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… Read more
05 MAR 2014
@ 11:00 am
PRECISE Seminar: Predictable Integration of Safety-Critical Software on COTS-based Embedded Systems
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… Read more
21 FEB 2014
@ 1:00 pm
PRECISE Seminar: Towards Mobile Sensing of Attention and Distraction
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… Read more
18 FEB 2014
@ 1:00 pm
PRECISE Seminar: Computational Game Theory in Sequential Environments
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… Read more
13 FEB 2014
@ 2:00 pm
PRECISE Seminar: Performance-aware Synthesis for Concurrency
Partial-program synthesis is a technique that allows programmer to specify only part of the program imperatively and the rest of the requirements declaratively. In the domain of concurrency, the input usually consists of a non-deterministic partial program where the… Read more
05 FEB 2014
@ 11:30 am
PRECISE Seminar: Microfabricated Implantable Wireless Microsystems – Permanent & Biodegradable Implementations
The tremendous technological convergence of microfabrication technology, wireless communication technology, and low-power circuitry has opened the possibility of widespread use of microfabricated implantable wireless microsystems. A typical operational mode for these… Read more
27 JAN 2014
@ 1:00 pm
PRECISE Seminar: Modular Reasoning about Heap Paths via Effectively Propositional Formulas
First order logic with transitive closure, and separation logic enable elegant interactive verification of heap-manipulating programs. However, undecidabilty results and high asymptotic complexity of checking validity preclude complete automatic verification of such programs… Read more
11 OCT 2013
@ 8:00 am
Industry Day 2013
PRECISE’s “Cyber-Physical Systems Industry Day” is an informal and intimate day-long symposium for leading executives and engineers involved in designing and developing cyber-physical systems, embedded systems, hybrid and control systems, and Internet of Things. … Read more
18 SEP 2013
@ 12:30 pm
PRECISE Seminar: Hardware in Cybersecurity - from the Weakest Link to Great Promises
It is well-known that hardware implementation can outperform the software implementation of the same application, including security primitives such as encryption, by up to several magnitudes. However, hardware implementation may also make security primitives vulnerable… Read more