All Events

May 2

CPSRC Seminar: Bridging the Gap Between Requirements and Model Analysis: Evaluation on Ten Cyber-Physical Challenge Problems

Anastasia Mavridou
Computer Scientist

  Abstract   We present a framework for introducing high-level requirement  specifications in the automated analysis of dataflow models.  By integrating the Formal Requirements Elicitation Tool (FRET) with  the CoCoSim analyzer, our framework enables the analysis of... Read More

Apr 15

Speech and NLP Research at Microsoft

Sarangarajan "Partha" Parthasarathy
Principal Scientist

Abstract: Deep learning has contributed to recent progress in the fields of speech and natural language processing. The Microsoft Cloud and AI division conducts significant research and development in these areas. I will start with an overview of these activities and their applications... Read More

Apr 8

Joint ECE and CPSRC Seminar: Safety-Critical Control of Dynamic Robotic Systems

Aaron Ames
Professor of Mechanical and Civil Engineering and Control and Dynamical Systems

Abstract: Science fiction has long promised a world of robotic possibilities: from humanoid robots in the home, to wearable robotic devices that restore and augment human capabilities, to swarms of autonomous robotic systems forming the backbone of the cities of the future, to robots enabling... Read More

Pages