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

Download
pdf

Abstract:

Stochastic hybrid systems are a class of stochastic models that incorporates both continuous- and discretestate dynamics. They have wide applications in modeling various processes, such as communication networks [4] and biochemical reactions [6]. In this work, we focus on continuous-time stochastic hybrid systems (CTSHS); specifically, we propose a framework using Metric Interval Temporal Logic (MITL) [1] to describe the systems’ behavior and verifying the MITL formulas via model reduction and sampling.

  • metric interval temporal logic
  • model reduction
  • stochastic modeling
  • University of Illinois at Urbana-Champaign
  • ybrid systems
  • CPS Domains
  • Modeling
  • Validation and Verification
  • Foundations
  • National CPS PI Meeting 2015
  • 2015
  • Abstract
  • Poster
  • Academia
  • 2015 CPS PI MTG Videos, Posters, and Abstracts
Submitted by Geir Dullerud on