-
Name: Stanley Bak Date and Time: Tuesday, July 9, 2019 Location: Engineering Hall 2430 Abstract: Cyber-physical systems combine complex physics with complex software. Although these systems offer significant potential in fields such as smart grid design, autonomous robotics and medical systems, verification of CPS designs remains challenging. Model-based design permits simulations to be used to explore […]