Verification of Biochemical Processes Using Stochastic Hybrid Systems. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (ISIC, 2007)

Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (HSCC, 2007)

Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (HSCC, 2008)

Simulation of stochastic hybrid systems with switching and reflecting boundaries. - Derek Riley; Kasandra Riley (WSC, 2008)

Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (HSCC, 2009)

Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (Eur. J. Control, 2010)

Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (Simul. Model. Pract. Theory, 2010)