We present a bifurcation analysis of electrical alternans in the two-current Mitchell-Schaeffer (MS) cardiac-cell model using the theory of -decidability over the reals. Electrical alternans is a phenomenon characterized by a variation in the successive Action Potential Durations (APDs) generated by a single cardiac cell or tissue.

Optimization algorithms used in a real-time and safety-critical context offer the potential for considerably advancing robotic and autonomous systems by improving their ability to execute complex missions. However, this promise cannot happen without proper attention to the considerably stronger operational constraints that real time, safety-critical applications must meet, unlike their non-real-time, desktop counterparts.

This exhibition presents two projects. The first project is a framework and associated tooling for the extraction of system specifications from test data that has been automatically generated from automated executions of the system. The test data in our framework consists of sequences of inputs to and the corresponding outputs from the system. From an initial collection of test data, data-mining techniques are used to infer the invariants; then the system is instrumented with the invariants and new test data is generated to try to invalidate the mined invariants.

Oceans are drivers of global climate; they are home to some of our most important and diverse ecosystems; and they provide a substantial amount to the world’s economy as a major source of food and employment. Sound plays a vital role in the ocean ecosystem, as many organisms rely on the acoustic environment for navigation, communication, detecting predators and finding food. Therefore, the 3D underwater soundscape, i.e., the combination of sounds present in the immersive underwater environment, is of extreme importance to ultimately understanding and protecting underwater ecosystems.

Our overall aim in this project is to synthesize desired behaviors in populations of bacterial and mammalian cells. To this goal, we define the basis of a next-generation cyber-physical system (CPS) called biological CPS (bioCPS). The enabling technologies are synthetic biology and micron-scale mobile robotics. Synthetic genetic circuits for decision making and local communication among the cells are automatically synthesized using a Bio-Design Automation (BDA) workflow.

Cyber-physical processors work in harsh environments and often suffer very high operating temperatures.  High temperatures accelerate processor aging and increase failure rate.  Effective thermal-aware management is required to meet the computational demands of the application while reducing processor thermal stress.

This project concerns real-time implementations of networked control strategies on distributed embedded systems.  Co-design of the implementation platform and control strategies for multiple control applications is addressed. Limited and shared resources among control and non-control applications introduce delays in transmitted messages. Various aspects of these delays are efficiently addressed in this research. Overrun strategies that accommodate variations in the delays have been developed.

This poster showcases progress on the NSF Knowledge-Aware Cyber-Physical Systems project. We have identified a case study to be used as a stepping stone in the study of Air France Flight 447, and have started using it to understand and show-case the features of the logic under development. It highlights the important distinction between observable and unobservable events, and has led to a better representation of pilot intuition while flying.