DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics.

Aadithya V. Karthik, Jaijeet S. Roychowdhury

Browse the full DAC paper archive.