Reasoning about Control (HCSS'14)

file

Visible to the public The Cyber-Physical Limits of Control

Abstract

As the speed of computer systems and their integration with the physical world have grown, the physical limits of control have become increasingly relevant for ensuring high confidence in software systems. In this talk, I will present exciting recent results on the physical limits in space and time for realizing optimal coordination and control in cyber-physical systems, and discuss their implications for the future of reasoning about control.

Speaker Bio

file

Visible to the public DARPA's BRAIN Initiative

Abstract:
In 2013, President Obama announced the Brain Research Through Advancing Innovative Neurotechnologies (BRAIN) Initiative, pledging $100M and charging the Defense Advanced Research Projects Agency (DARPA), the National Science Foundation, and the National Institutes of Health with accelerating the development and application of new technologies to show how the brain is organized, from individual cells to complex circuits, and how it behaves in real time.
file

Visible to the public An Aircraft Electric Power System Domain-Specific Language for Reactive Control Protocols

Abstract:

Domain-specific languages are languages adapted to a particular application or set of tasks. While general purpose languages (e.g., C or Java) may offer broader programming features, domain-specific languages (e.g., HTML or Verilog) provide more expressiveness and ease of use within a given domain [3]. Examples of languages used in the context of cyber-physical systems can be found in [1] and [2].

file

Visible to the public Logical Foundations of Cyber-Physical Systems

We study the logical foundations of cyber-physical systems (CPS), i.e. systems that combine cyber aspects such as communication and computer control with physical aspects such as movement in space. CPS applications abound. Ensuring their correct functioning, however, is a serious challenge. Scientists and engineers need analytic tools to understand and predict the behavior of their systems. That's the key to designing smart and reliable control.