ID: TS3820
Abstract:
Learn how UC Berkeley and NI have created a design and verification system for cyber-physical systems and robotics. The system combines the LabVIEW Robotics Simulator with UC Berkeley’s state-of-the-art verification and debugging techniques to create and assess robot navigation and hill climb routines.
Track/Summit: Cyber Physical Systems
Speaker: Sanjit Seshia, Associate Professor, university of California, Berkley
