Login / Signup
DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics.
Aadithya V. Karthik
Jaijeet S. Roychowdhury
Published in:
DAC (2012)
Keyphrases
</>
markov chain
markov processes
dynamical systems
high quality
finite state
computationally efficient
high level
high accuracy
high speed
automatically generate
finite state machines
bayesian networks
data sets
dynamic model
highly accurate
stochastic processes
markov process