Kasandra Riley

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping. Simul. Model. Pract. Theory 18 (9) (2010)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System. Eur. J. Control 16 (6) (2010)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. HSCC (2009)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. HSCC (2008)
Derek Riley, Kasandra Riley
Simulation of stochastic hybrid systems with switching and reflecting boundaries. WSC (2008)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Verification of Biochemical Processes Using Stochastic Hybrid Systems. ISIC (2007)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. HSCC (2007)