Login / Signup

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.

Yu WangNima RoohiMatthew WestMahesh ViswanathanGeir E. Dullerud
Published in: CDC (2016)
Keyphrases
  • discrete event
  • multi class
  • feature space
  • search space
  • support vector machine
  • computational intelligence
  • intelligent systems
  • test data
  • simulation model