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]

Authors

Xiaodong Yang

This author has not been identified. Look up 'Xiaodong Yang' in Google

Omar Ali Beg

This author has not been identified. Look up 'Omar Ali Beg' in Google

Matthew Kenigsberg

This author has not been identified. Look up 'Matthew Kenigsberg' in Google

Taylor T. Johnson

This author has not been identified. Look up 'Taylor T. Johnson' in Google