New Editor Selected for the SIGBED Blog

For the last two years, Chuchu Fan and Stanley Bak have served as the SIGBED Blog editors. The blog has continued to publish a stream of content related to technical topics in embedded systems, such as overviews of best papers and recent NSF CAREER awards, as well as posts aimed for a wider audience. One of our posts written by…

COVID Infection Prediction using CPS Formal Verification Methods

  Formal verification of cyber-physical systems (CPS) requires reasoning methods for not just software, but also analyzing how the physical side of the system will behave. As the laws of nature are written in differential equations, CPS formal verification researchers have inevitably needed to create analysis methods that can analyze systems with differential equations. For example, the behavior of an…

Safety-Critical Neural Networks