Learning-Driven Oracle-Guided Compositional Symbiotic Design of Cyber-Physical Systems


LOGiCS is a project funded by the DARPA program on Symbiotic Design of Cyber-Physical Systems. The aim of the project is to develop design tools and techniques that augment human designers with an AI co-designer towards achieving significant improvements in design productivity as well as design 'surprises'. We believe that design surprises come from two main sources: (i) lateral thinking, guided through expert human insight but powered by pattern recognition and computational search, and (ii) design corners, defined by specifications and intent expressed by humans but usually identified by computational engines for analysis and verification. In this project, we aim to blend computationally-enabled lateral thinking with human-guided design corner epxloration. To this end, we take a learning-driven, oracle-guided, approach to Symbiotic CPS Design. Within LOGiCS, we aim to address three challenges:

Overview of the LOGiCS Approach

Figure 1: Overview of the LOGiCS approach

Figure 1 shows the three main areas that we will work on: representation of the design problem, design procedures, and computational engines. The concept of oracles is central in the way that these different aspects are combined, and in the way that we interact with the human designers. The figure also clarifies the interfaces with our project with project partners in the other technical areas (TA 2 and TA 3).


Principal Investigators

University of California, Berkeley

University of California, Santa Cruz

Daniel Fremont

University of California, Los Angeles

Ankur Mehta

Project Management






Collaboration between:

Project Sponsor

Supported by the DARPA under the Symbiotic Design for Cyber Physical Systems program