“Runtime Monitoring of Distributed Cyber-physical Systems”
DBH 3011 Donald Bren Hall University of California, Irve, Irvine, CA, United StatesSpeaker: Borzoo Bonakdarpour Date and Time: Monday, May 23, 2022 at 2:00 pm Location: DBH 3011 Abstract: We consider the problem of detecting violations of specification In the signal temporal logic over distributed continuous-time and continuous-valued signals in cyber-physical systems (CPS). We assume a partially synchronous setting, where a clock synchronization algorithm guarantees a bound on clock drifts […]