Humans of BSOE
All Events
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
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
Mobile Actuator and Sensor Networks: from CPS to CHS
YangQuan Chen
Professor
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
