Our tutorial on building conservative, sound discretizations of continuous-state systems is finally online! To be presented by Jordan at the Embedded Systems Week in Barcelona.
Citation:
- 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.