This project will design and implement a domain-specific language and compiler for microfluidic laboratory-on-a-chip (LoC) devices based on electrowetting-on-dielectric (EWoD) technology. The Lead PI’s team has designed and implemented BioScript, a domain-specific programming language for programmable microfluidics. The BioScript syntax is programmer friendly, with the intention of being accessible to biologists and other researchers and practitioners in the life sciences.

Human interaction with the physical world is increasingly mediated by autonomy, as planes assist pilots, robots assist surgeons, and cars assist drivers.  Automation is introduced in such systems to aid humans and guarantee safety and performance.  However, such guarantees are hard to provide, since humans may misunderstand the automation's intentions or behave in an unanticipated manner; tragic examples like the crash of Air France flight 447 illustrate that such confusion between pilots and autopilots can lead to catastrophic outcomes.  Although some applications may someda

In this project, we aim to create high-fidelity models, validated with real-world data, of mixed- mode travel decisions and emerging mobility markets. A growing subset of travelers make decisions informed by apps that optimize (mixed-mode) routes based on user-defined preferences. Locally optimized solutions tend to cause inefficiencies that are exacerbated by risk-sensitivity (arising from endogenous and exogenous uncertainties) in travelers.

Cyber-physical systems are integrations of computation, networking, and physical processes and they are increasingly finding applications in manufacturing. Cloud manufacturing integrates cloud computing and service- oriented technologies with manufacturing processes and provides manufacturing services in manufacturing clouds. A cyber physical system for manufacturing is not a manufacturing cloud if it does not use virtualization technique in cloud computing and service oriented architecture in service computing.

This project is a component of a larger effort is to develop the foundations of modeling, synthesis and development of verified medical device software and systems from verified closed-loop models of the device and organ(s). This research spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps which have multiple networked medical systems. Here we focus on an education and outreach activity associated with the project.

The goal of this project is to create an integrative framework for the design of coupled biological and robotic systems that accommodates system uncertainties and competing objectives in a rigorous, holistic, and e­ffective manner. The design principles are developed using a concrete, end-to-end application of tracking and modeling fish movement with a network of gliding robotic fish. The proposed robotic platform is an energy-efficient underwater gliding robotic fish that travels by changing its buoyancy and mass distribution (gliding) or by flapping tail fin (swimming).

Abstract: This research is investigating a cyber-physical framework for scalable, long-term monitoring and condition- based maintenance of civil infrastructures. Civil infrastructure constitutes a network of interdependent sys- tems and utilities (e.g., highways, bridges, rail systems, buildings) that are necessary for supporting social and economic activities.