• Skip to primary navigation
  • Skip to main content
  • Departments
    • Aerospace Engineering
    • Bioengineering
    • Civil and Environmental Engineering
    • Electrical Engineering and Computer Sciences
    • Engineering Science
    • Industrial Engineering and Operations Research
    • Materials Science and Engineering
    • Mechanical Engineering
    • Nuclear Engineering
  • News
    • Berkeley Engineer magazine
    • Social media
    • News videos
    • News digest (email)
    • Press kit
  • Events
    • Events calendar
    • Homecoming
    • Cal Day
    • > Cal Day 2023 events
    • Commencement
    • View from the Top
    • Kuh Lecture Series
    • Minner Lecture
  • College directory
  • For staff & faculty
Berkeley Engineering

Educating leaders. Creating knowledge. Serving society.

  • About
    • Facts & figures
    • Rankings
    • Mission & values
    • Equity & inclusion
    • Voices of Berkeley Engineering
    • Leadership team
    • Milestones
    • Facilities
    • Maps
  • Admissions
    • Undergraduate admissions
    • Graduate admissions
    • Visit
    • Maps
    • Admissions events
    • K-12 outreach
  • Academics
    • Undergraduate programs
    • Majors & minors
    • Undergraduate Guide
    • Graduate programs
    • Graduate Guide
    • Innovation & entrepreneurship
    • Kresge Engineering Library
    • International programs
    • Executive education
  • Students
    • Advising & counseling
    • Programs
    • Academic support
    • Student life
    • Wellness & inclusion
    • Undergraduate Guide
    • Degree requirements
    • Forms & petitions
    • Resources
  • Research & faculty
    • Centers & institutes
    • Undergrad research
    • Faculty
  • Connect
    • Alumni
    • Industry
    • Give
    • Stay in touch
Home > News > UC Berkeley-led team receives $8.4M for AI-based approaches to cyber-physical systems

UC Berkeley-led team receives $8.4M for AI-based approaches to cyber-physical systems

December 10, 2020 by Kirsten Mickelwait

UC Berkeley researchers are joining a new four-year program by the Defense Advanced Research Projects Agency (DARPA) to develop artificial intelligence (AI)-based approaches that partner with human intelligence to perform “correct-by-construction” design for cyber-physical systems, which integrate computation with physical processes.

Called “Symbiotic Design of Cyber-Physical Systems (CPS),” the UC team has been granted $8.4M to enhance design innovation, as well as reduce the time required for CPS inception to deployment from years to months. Design and deployment of CPS are instrumental to current and future defense mission needs, including unmanned vehicles, weapon systems and mission platforms, as well as to broader societal applications in agriculture, aeronautics, building design, civil infrastructure, energy, environmental quality, healthcare and personalized medicine, manufacturing and transportation.

  • SpiE Spinning Engine next to a quarter for size comparison
    The SpiE (Spinning Engine) is a spinning wing micro-actuator. Capable of lifting its own weight, it is the most power-efficient actuator out there in terms of lift generated per Watt consumed.
  • SpiE Spinning Engine next to a finger for size comparison
    A significant deviation from its flapping wing cousins, the SpiE (Spinning Engine) is the only spinning wing design at this size scale.
  • Rollet, a rolling microbot
    The Rollet, a rolling microbot, is the lightest and fastest wireless wheeled bot, and is powered by a supercapacitor.
  • Bumper wireless jumping bot
    Powered by lasers, the Bumper can jump up about a centimeter and is the lightest wireless jumping bot ever.
  • Bumper 1
    The Bumper is a jumping microbot. Powered by lasers, it can jump up about a centimeter and is the lightest wireless jumping bot ever.
  • Microfly and ruler
    The MicroFly is a fruit fly-sized microbot.
  • Microfly
    Weighing less than a milligram, the MicroFly is the smallest device ever to demonstrate a flapping wing motion.

Overseen by Sanjit Seshia, professor of electrical engineering and computer sciences (EECS), the eight-person team comprises EECS professors Prabal Dutta, Björn Hartmann, Alberto Sangiovanni-Vincentelli and Claire Tomlin, as well as Shankar Sastry, professor of EECS, mechanical engineering and bioengineering. The project team also includes Berkeley Engineering alumni Ankur Mehta, assistant professor of electrical and computer engineering at UCLA, and Daniel Fremont, assistant professor of computer science and engineering at UC Santa Cruz.

The Berkeley project, LOGiCS, (Learning-Based Oracle-Guided Compositional Symbiotic Design of CPS) proposes a novel approach that blends AI and machine learning with guidance from human and computational oracles to perform compositional design of CPS such as autonomous vehicles that operate on the ground, in the air and in water to achieve complex missions.

“Our primary role is to develop algorithms, formalisms and software for use in the design of CPS,” said Seshia. “These techniques allow designers to represent large, complex design spaces; efficiently search those spaces for safe, high-performance designs; and compose multiple components spanning very different domains — structural, mechanical, electrical and computational.”

In a correct-by-construction approach, the engineer builds a mathematical model of the design before any prototype is produced. That model is then used to reason about the proposed solution, ensuring that all functionality and behavior will be achieved. Verification and testing is still performed, but it is built into the correct-by-construction process rather than being applied after the design is complete.

“A key innovation will be to develop approaches that augment human designers with state-of-the-art artificial intelligence and machine learning techniques while providing strong, provable guarantees of correctness and performance,” said Seshia.

Topics: EECS, Bioengineering, Mechanical engineering, Robotics & AI
  • Contact
  • Give
  • Privacy
  • UC Berkeley
  • Accessibility
  • Nondiscrimination
  • instagram
  • twitter
  • linkedin
  • facebook
  • youtube
© 2023 UC Regents