All Events

May 9

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

Mar 21

CPSRC Seminar Series: Decentralized Control of Stochastic Dynamical Cyber-Physical Systems

Rahul Singh
Deep Learning Group Engineer

  Abstract Many important cyber-physical systems of great current interest are decentralized, consisting of many agents, and uncertainties. Designing decentralized control policies is a challenging task because it involves inducing coordination amongst the controllers without knowing all... Read More

Mar 14

Mobile Actuator and Sensor Networks: from CPS to CHS

YangQuan Chen

Abstract: Robotics will continue to be a hot topic in many years to come in this “big data, cloud computing, machine learning, virtual reality age”. This talk starts by first introducing a new angle for emerging multi-robot control research opportunities - treating robots as a network of moving... Read More