University of California at Berkeley
video
Submitted by Raja Sengupta on Fri, 12/12/2014 - 3:43pm
video
Submitted by tripakis on Wed, 12/03/2014 - 12:38pm
file
Abstract:
Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.
file
Abstract:
Computation advances in physical time, but embedded computing has found value in logical time programming. Likewise, robotic systems can be simplified by programming in logical space, even though robots live and move in physical space. Our tools ask the roboticist to program on a logical abstraction of the physical. The principal new products are two drivers. One handles the problem of keeping the logical model consistent with physical data. The other enables logical control actions to have physical effect.
