Neural State Classification for Hybrid Systems

1 code implementation • 26 Jul 2018 • Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller

We introduce the State Classification Problem (SCP) for hybrid systems, and present Neural State Classification (NSC) as an efficient solution technique.

Classification General Classification