Jordan Peper traveled to sunny (?) Barcelona from sunny (?) Gainesville to educate the attendees of Embedded Systems Week 2026 on creating a conservative discrete-state system out of a continuous-state one. A 3-hour tutorial including the typical pitfalls that lead to the loss of soundness. The presentation allegedly elicited some really good questions.
- Jordan Peper, Krish Kapadia, James Gast, Ethan Howes, and Ivan Ruchkin.
A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems [Arxiv].
Tutorial at the Embedded Systems Week, Barcelona, Spain, 2026.