All Events

May 8

Diverse Voices Speaker Series: Laura Gómez

Laura Gómez
CEO and Founder

The Diverse Voices professional speaker series, hosted by the Baskin School of Engineering, aims to expose students to strong role models from industry and provide an opportunity for students to interact with industry professionals in an academic setting. Each event includes a... Read More

May 6

AM Seminar: Observer-based feedback stabilization of thermal fluid flows

Weiwei Hu
Assistant Professor

Abstract In this talk, I will discuss the problem of feedback stabilization and control of thermal fluid flows subject to buoyancy forces. In particular, I will present recent results on stabilization of steady-state solutions to the Boussinesq equations in two-... Read More

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

Pages