Research output per year
Research output per year
Search results
-
2023
Interacting Particle System based estimation of reach probability of General Stochastic Hybrid Systems
Ma, H. & Blom, H. A. P., 2023, In: Nonlinear Analysis: Hybrid Systems. 47, 16 p., 101303.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile29 Downloads (Pure) -
Reach Probability Estimation of Rare Events in Stochastic Hybrid Systems
Ma, H., 2023, 141 p.Research output: Thesis › Dissertation (TU Delft)
Open AccessFile29 Downloads (Pure) -
2022
ARCH-COMP22 Category Report: Stochastic Models
Abate, A., Blom, H. A. P., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A. & More Authors, 2022, 9th International Workshop on Applied Verication of Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (eds.). p. 113-141 25 p. (EPiC Series in Computing; vol. 90).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile46 Downloads (Pure) -
Random Assignment Versus Fixed Assignment in Multilevel Importance Splitting for Estimating Stochastic Reach Probabilities
Ma, H. & Blom, H. A. P., 2022, In: Methodology and Computing in Applied Probability. 24, 4, p. 2313–2338 26 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile38 Downloads (Pure) -
2021
ARCH-COMP21 Category Report: Stochastic Models
Abate, A., Blom, H. A. P., Bouissou, M., Cauchi, N., Chraibi, H., Delicaris, J., Haesaert, S., Hartmanns, A., Ma, H. & More Authors, 2021, 8th International Workshop on Applied Verication of Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (eds.). p. 55-89 35 p. (EPiC Series in Computing; vol. 80).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile38 Downloads (Pure) -
2019
Arch-comp19 category report: Stochastic modelling
Abate, A., Blom, H. A. P., Cauchi, N., Degiorgio, K., Franzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M. & More Authors, 2019, ARCH19: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems. Vol. 61. p. 62-102 41 p. (EPiC Series in Computing; vol. 61).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile11 Citations (Scopus)49 Downloads (Pure) -
2018
Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System
Blom, H. A. P., Ma, H. & Bakker, G. J., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 16, p. 79-84 6 p.Research output: Contribution to journal › Conference article › Scientific › peer-review
Open AccessFile7 Citations (Scopus)69 Downloads (Pure)