Skip to main content
Cyber-Physical Systems Virtual Organization CPS-VO
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Tools
  • Projects
  • PI Meetings
  • Communities
Video
Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig Model Reduction
Contributor(s)
Geir Dullerud
Yu Wang
Nima Roohi
Matthew West
Mahesh Viswanathan
Remote Video
Tags
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
Geir Dullerud Submitted by Geir Dullerud on February 14th, 2016
Subscribe to metric interval
© 2026 Cyber-Physical Systems Virtual Organization

Footer

  • Terms