Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig Model Reduction

Submitted by Geir Dullerud on
  • hybrid systems
  • metric interval
  • model reduction
  • stochastic modeling
  • Temporal Logic
  • University of Illinois at Urbana-Champaign
  • CPS Domains
  • Foundations
  • Modeling
  • Validation and Verification
  • 2015
  • National CPS PI Meeting 2015
  • Academia