All Events

May 9

CPSRC Seminar Series - FRET: A Formal Requirements Elicitation Tool

Anastasia Mavridou
Computer Scientist

  Abstract Requirement formalization and verification tools are essential in designing safety-critical CPS and achieving a level of confidence in system correctness. In this talk, I present the FRET framework for the elicitation, formalization, and understanding of requirements. System... Read More

Apr 15

AM Seminar: Data-driven modeling of stochastic systems using physics-aware deep learning

Paris Perdikaris
Assistant Professor

Abstract: We present a probabilistic deep learning methodology that enables the construction of predictive data-driven surrogates for stochastic systems. Leveraging recent advances in variational inference, we put forth a scalable computational framework for discovering surrogate models from... Read More

Apr 8

AM Seminar: Two-way coupled cloud-in-cell modeling of non-isothermal particle-laden flows at a "SPARSE" cost

Soren Henri Taverniers
Postdoctoral Fellow

Abstract Particle-laden flows are encountered in a broad range of natural problems and engineered systems. This includes geological sedimentation processes and pollutant dispersion in the atmosphere, but also high-speed gas environments such as volcanic eruptions, detonation of ... Read More

Pages