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

Jordan Peper, Krish Kapadia, James Gast +2

Symbolic model checking is an effective approach for verifying semantically rich temporal-logic properties of cyber-physical systems, but it hinges on discretizing continuous-state…