James P. Gast

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems

This tutorial presents a pragmatic, conservative-by-construction workflow for building discrete abstractions of closed-loop dynamical systems and demonstrates the end-to-end pipeline on three case studies and reports how design choices affect abstraction structure, runtime, and verification outcomes.