Post by: Stanley Bak, Chuchu Fan in 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…
Post by: Stanley Bak in SIGBED Blog
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…