A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces

Xiaodong Yang, Omar Ali Beg, Matthew Kenigsberg, Taylor T. Johnson. A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces. TCPS, 6(2), 2022. [doi]

Abstract

Abstract is missing.