Henk A. P. Blom

57 papers A 1B 1C 9Journal 19Unranked 26
YearRankTypeTitle / Venue / Authors
2025 J jnl
ARCH-COMP25 Category Report: Stochastic Models.
CoRR
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker
2024 — conf
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.
ITSC
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
2024 J jnl
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.
CoRR
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 J jnl
Third party risk modelling of Unmanned Aircraft System operations, with application to parcel delivery service.
Reliab. Eng. Syst. Saf.
Henk A. P. Blom, Chenpeng Jiang, Wouter B. A. Grimme, Mihaela Mitici, Yuk S. Cheung
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
2019 — conf
ARCH-COMP19 Category Report: Stochastic Modelling.
ARCH@CPSIoTWeek
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
2019 J jnl
Mathematical Models for Air Traffic Conflict and Collision Probability Estimation.
IEEE Trans. Intell. Transp. Syst.
Mihaela Mitici, Henk A. P. Blom
2018 — conf
ARCH-COMP18 Category Report: Stochastic Modelling.
ARCH@ADHS
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod
2018 — conf
Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System.
ADHS
Henk A. P. Blom, Hao Ma, G. J. Bakker
2016 J jnl
Agent-Based Modeling and Simulation of Coordination by Airline Operations Control.
IEEE Trans. Emerg. Top. Comput.
Soufiane Bouarfa, Henk A. P. Blom, Ricky Curran
2015 J jnl
JIPDA: Automatic target tracking avoiding track coalescence.
IEEE Trans. Aerosp. Electron. Syst.
Henk A. P. Blom, Edwin A. Bloem, Darko Musicki
2015 J jnl
Modelling situation awareness relations in a multiagent system.
Appl. Intell.
Henk A. P. Blom, Alexei Sharpanskykh
2015 J jnl
Safety Evaluation of Advanced Self-Separation Under Very High En Route Traffic Demand.
J. Aerosp. Inf. Syst.
Henk A. P. Blom, Bert G. J. Bakker
2014 C conf
The continuous-discrete time feedback particle filter.
ACC
Tao Yang, Henk A. P. Blom, Prashant G. Mehta
2013 J jnl
Agent-based modeling and simulation of emergent behavior in air transportation.
Complex Adapt. Syst. Model.
Soufiane Bouarfa, Henk A. P. Blom, Richard Curran, Mariken H. C. Everdij
2013 — conf
An Integrated Multi-agent Model for Modelling Hazards within Air Traffic Management.
IAT
Tibor Bosse, Henk A. P. Blom, Sybert H. Stroeve, Alexei Sharpanskykh
2013 J jnl
Contrasting safety assessments of a runway incursion scenario: Event sequence analysis versus multi-agent dynamic risk modelling.
Reliab. Eng. Syst. Saf.
Sybert H. Stroeve, Henk A. P. Blom, Bert G. J. Bakker
2013 — conf
Interacting multiple model-feedback particle filter for stochastic hybrid systems.
CDC
Tao Yang, Henk A. P. Blom, Prashant G. Mehta
2012 — conf
An overview of airborne time-spacing research in the JADE program.
ATACCS
Eri Itoh, Kazuhiko Uejima, Hidenori Chida, Katsuhiro Nishinari, Mariken H. C. Everdij, Bert G. J. Bakker, Henk A. P. Blom
2012 — conf
The continuous time roots of the Interacting Multiple Model filter.
CDC
Henk A. P. Blom
2011 C conf
Air traffic complexity and the interacting particle system method: An integrated approach for collision risk estimation.
ACC
Maria Prandini, Henk A. P. Blom, Bert G. J. Bakker
2011 C conf
Decomposed particle filtering and track swap estimation in tracking two closely spaced targets.
FUSION
Henk A. P. Blom, Edwin A. Bloem
2011 — conf
Optimal decomposed particle filtering of two closely spaced Gaussian targets.
CDC/ECC
Henk A. P. Blom, Edwin A. Bloem
2010 C conf
Modeling and estimation of accident rate and trend in air transport.
FUSION
Henk A. P. Blom, Edwin A. Bloem
2010 A conf
Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis.
RE
James Lockerbie, David Bush, Neil A. M. Maiden, Henk A. P. Blom, Mariken H. C. Everdij
2009 — conf
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets
FMA
Mariken H. C. Everdij, Henk A. P. Blom
2009 C conf
Permutation invariance in Bayesian estimation of two targets that maneuver in and out formation flight.
FUSION
Henk A. P. Blom, Edwin A. Bloem
2009 — ch.
Rare Event Estimation for a Large-Scale Stochastic Hybrid System with Air Traffic Application.
Rare Event Simulation using Monte Carlo Methods
Henk A. P. Blom, Bert G. J. Bakker, Jaroslav Krystul
2008 — conf
Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic.
ICEIS (2)
Alexei Sharpanskykh, Sybert H. Stroeve, Henk A. P. Blom
2008 C conf
Tracking closely spaced targets: Bayes outperformed by an approximation?
FUSION
Henk A. P. Blom, Edwin A. Bloem, Yvo Boers, Hans Driessen
2007 C conf
Hybrid SIR joint particle filtering under limited sensor resolution.
FUSION
Henk A. P. Blom, Edwin A. Bloem
2007 J jnl
Modelling Lateral Spacing and Separation for Airborne Separation Assurance Using Petri Nets.
Simul.
Mariken H. C. Everdij, Henk A. P. Blom, Bert G. J. Bakker
2007 — conf
Probabilistic reachability analysis for large scale stochastic hybrid systems.
CDC
Henk A. P. Blom, G. J. Bakker, Jaroslav Krystul
2006 — conf
A Particle System for Safety Verification of Free Flight in Air Traffic.
CDC
Henk A. P. Blom, Jaroslav Krystul, G. J. Bakker
2006 — conf
Approximate Bayesian tracking of two targets that maneuver in and out formation flight.
MFI
Henk A. P. Blom, Edwin A. Bloem
2006 J jnl
Erratum to "Exact Bayesian filter and joint IMM coupled PDA tracking of maneuvering targets from possibly missing and false measurements" [Automatica, 42 (2006) 127-135].
Autom.
Henk A. P. Blom, Edwin A. Bloem
2006 J jnl
Exact Bayesian filter and joint IMM coupled PDA tracking of maneuvering targets from possibly missing and false measurements.
Autom.
Henk A. P. Blom, Edwin A. Bloem
2006 — conf
Functional Abstractions of stochastic Hybrid Systems.
ADHS
Manuela-Luminita Bujorianu, Henk A. P. Blom, Holger Hermanns
2006 C conf
Joint Integrated PDA Avoiding Track Coalescence under Non-Homogeneous Clutter Density.
FUSION
Henk A. P. Blom, Edwin A. Bloem, Darko Musicki
2006 J jnl
Joint Particle Filtering of Multiple Maneuvering Targets From Unassociated Measurements.
J. Adv. Inf. Fusion
Henk A. P. Blom, Edwin A. Bloem
2006 C conf
Safety Risk Assessment by Monte Carlo Simulation of Complex Safety Critical Operations.
SSS
Henk A. P. Blom, Sybert H. Stroeve, Hans H. de Jong
2005 — conf
Joint Integrated PDA Avoiding Track Coalescence.
CDC/ECC
Henk A. P. Blom, Darko Musicki, Edwin A. Bloem
2003 — conf
Collision risk modeling of air traffic.
ECC
Henk A. P. Blom, Bert G. J. Bakker, Mariken H. C. Everdij, Marco van der Park
2003 — conf
Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models.
ADHS
Mariken H. C. Everdij, Henk A. P. Blom
2003 — conf
Stochastic Hybrid Processes with Hybrid Jumps.
ADHS
Henk A. P. Blom
2003 — conf
Tracking multiple maneuvering targets by joint combinations of IMM and PDA.
CDC
Henk A. P. Blom, Edwin A. Bloem
2002 — conf
Conflict probability and incrossing probability in air traffic management.
CDC
Henk A. P. Blom, G. J. Bakker
2002 — conf
Interacting multiple model joint probabilistic data association avoiding track coalescence.
CDC
Henk A. P. Blom, Edwin A. Bloem
2000 J jnl
Probabilistic data association avoiding track coalescence.
IEEE Trans. Autom. Control.
Henk A. P. Blom, Edwin A. Bloem
1996 J jnl
Embedding adaptive JLQG into LQ martingale control with a completely observable stochastic control matrix.
IEEE Trans. Autom. Control.
Mariken H. C. Everdij, Henk A. P. Blom
1993 J jnl
A Unified Framework for the Performability Evaluation of Fault-Tolerant Computer Systems.
IEEE Trans. Computers
Krishna R. Pattipati, Yong Li, Henk A. P. Blom
1991 J jnl
Correction to 'Time-Reversion of a Hybrid State Stochastic Difference System with a Jump-Linear Smoothing Application'.
IEEE Trans. Inf. Theory
Henk A. P. Blom, Yaakov Bar-Shalom
1990 J jnl
Time-reversion of a hybrid state stochastic difference system with a jump-linear smoothing application.
IEEE Trans. Inf. Theory
Henk A. P. Blom, Yaakov Bar-Shalom
1989 B conf
On the instantaneous availability and performability evaluation of fault-tolerant computer systems.
SMC
Krishna R. Pattipati, Yong Li, Henk A. P. Blom