hybrid systems

file

Visible to the public A CPS Approach to Robot Design

Submitted by Walid on Mon, 02/01/2016 - 4:36am. Contributors:

Abstract:

In many important situations, analytically predicting the behavior of physical systems is not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-form analytical solutions for even the simplest systems. This has made experimentation the primary modality for designing new cyber-physical systems (CPS).

file

Visible to the public CRII: CPS: Safe Cyber-Physical Systems Upgrades

Submitted by ttj on Mon, 02/01/2016 - 4:36am. Contributor:

Abstract:

Cyber-physical systems (CPS) encompass the next generation of computerized control for countless aspects of the physical world and interactions thereof. The typical engineering process for CPS reuses existing designs, models, components, and software from one version to the next.

file

Visible to the public Computationally Aware Cyber-Physical Systems

Submitted by Ricardo Sanfelice on Sun, 01/31/2016 - 1:47pm. Contributors:

Abstract:

This poster summarizes our recently awarded grant on computationally aware cyber-physical systems (CPSs). The objective of this project is to generate new fundamental science for CPSs that enables more accurate and faster trajectory synthesis for controllers with nonlinear plants, or nonlinear constraints that encode obstacles. The approach is to utilize hybrid control to switch between models whose accuracy is normalized by their computational burden.

file

Visible to the public The KeYmaera X Theorem Prover for Hybrid Systems

Submitted by krogh on Mon, 12/21/2015 - 3:47pm. Contributor:

Abstract:

KeYmaera X is a theorem prover for specifying and verifying correctness properties of hybrid systems (systems that mix discrete and continuous dynamics). KeYmaera X implements differential dynamic logic (dL) and provides a high degree of control over automated proof search.