共 50 条
- [41] Stochastic Safety Analysis of Stochastic Hybrid Systems 2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
- [42] Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains International Journal on Software Tools for Technology Transfer, 2015, 17 : 485 - 504
- [49] Polynomial stochastic hybrid systems HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 322 - 338
- [50] Abstractions of Stochastic hybrid systems 2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 4712 - 4717