University of California at Los Angeles

file

Visible to the public Cybermanufacturing: Cloud-Based Incubation Ecosystem for EWOD Digital Microfluidics

Electrowetting on dielectric (EWOD) digital microfluidics is a platform where liquids are manipulated (e.g., generated, transported, split, merged) on a chip by only electric signals, leading to various applications, such as displays (Amazon), liquid lens (Varioptics), DNA/RNA sample prep (Illumina), molecular diagnostics (Genmark).

file

Visible to the public Frontier: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Abstract:

This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.

file

Visible to the public An End-to-end Quality of Time (QoT) Stack for Linux

Abstract:

Commodity operating systems manage time in a best effort fashion, where clock synchronization is performed independently of both application demand and resource constraints. The vision of the RoseLine project is to develop a Quality of Time (QoT) stack for Linux that enables developers to write distributed applications that perform computation with a common sense of time.

file

Visible to the public CPS-VO: Active Resources

Abstract:

The Cyber-Physical Systems Virtual Organization (CPS-VO) was founded by NSF in 2010 to: (i) facilitate and foster interaction and exchanges among CPS PIs and their teams; (ii) enable sharing of artifacts and knowledge generated by the projects with the broader engineering and scientific communities; and (iii) facilitate and foster collaboration and information exchange between CPS researchers and industry.

file

Visible to the public Quality of Time Architecture & APIs

Abstract:

Time is not necessarily what a clock reports. There is an uncertainty in time which is often not reported. Quantifying this timing uncertainty with clock parameters such as accuracy, precision, jitter or wander, is what introduces quality in time. Modern operating systems such as Linux lacks this perception of Quality of Time (QoT). It exposes some default clocks which are time synchronized / syntonized on best-effort basis through NTP or PTP, irrespective of the applications demand and the resources at hand.