Henk A. P. Blom

According to our database, Henk A. P. Blom authored at least 55 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.

Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei

CoRR, 2024

2023

ARCH-COMP23 Category Report: Stochastic Models.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

ARCH-COMP22 Category Report: Stochastic Models.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Third party risk modelling of Unmanned Aircraft System operations, with application to parcel delivery service.

Henk A. P. Blom, Chenpeng Jiang, Wouter B. A. Grimme, Mihaela Mitici, Yuk S. Cheung

Reliab. Eng. Syst. Saf., 2021

ARCH-COMP21 Category Report: Stochastic Models.

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

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

ARCH-COMP20 Category Report: Stochastic Models.

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Mathematical Models for Air Traffic Conflict and Collision Probability Estimation.

Mihaela Mitici, Henk A. P. Blom

IEEE Trans. Intell. Transp. Syst., 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

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

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System.

Henk A. P. Blom, Hao Ma, G. J. Bakker

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.

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

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2016

Agent-Based Modeling and Simulation of Coordination by Airline Operations Control.

Soufiane Bouarfa, Henk A. P. Blom, Ricky Curran

IEEE Trans. Emerg. Top. Comput., 2016

2015

JIPDA: Automatic target tracking avoiding track coalescence.

Henk A. P. Blom, Edwin A. Bloem, Darko Musicki

IEEE Trans. Aerosp. Electron. Syst., 2015

Safety Evaluation of Advanced Self-Separation Under Very High En Route Traffic Demand.

Henk A. P. Blom, Bert G. J. Bakker

J. Aerosp. Inf. Syst., 2015

Modelling situation awareness relations in a multiagent system.

Henk A. P. Blom, Alexei Sharpanskykh

Appl. Intell., 2015

2014

The continuous-discrete time feedback particle filter.

Tao Yang, Henk A. P. Blom, Prashant G. Mehta

Proceedings of the American Control Conference, 2014

2013

Contrasting safety assessments of a runway incursion scenario: Event sequence analysis versus multi-agent dynamic risk modelling.

Sybert H. Stroeve, Henk A. P. Blom, Bert G. J. Bakker

Reliab. Eng. Syst. Saf., 2013

Agent-based modeling and simulation of emergent behavior in air transportation.

Soufiane Bouarfa, Henk A. P. Blom, Richard Curran, Mariken H. C. Everdij

Complex Adapt. Syst. Model., 2013

An Integrated Multi-agent Model for Modelling Hazards within Air Traffic Management.

Tibor Bosse, Henk A. P. Blom, Sybert H. Stroeve, Alexei Sharpanskykh

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

Interacting multiple model-feedback particle filter for stochastic hybrid systems.

Tao Yang, Henk A. P. Blom, Prashant G. Mehta

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

The continuous time roots of the Interacting Multiple Model filter.

Henk A. P. Blom

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An overview of airborne time-spacing research in the JADE program.

Eri Itoh, Kazuhiko Uejima, Hidenori Chida, Katsuhiro Nishinari, Mariken H. C. Everdij, Bert G. J. Bakker, Henk A. P. Blom

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2012

2011

Decomposed particle filtering and track swap estimation in tracking two closely spaced targets.

Henk A. P. Blom, Edwin A. Bloem

Proceedings of the 14th International Conference on Information Fusion, 2011

Optimal decomposed particle filtering of two closely spaced Gaussian targets.

Henk A. P. Blom, Edwin A. Bloem

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Air traffic complexity and the interacting particle system method: An integrated approach for collision risk estimation.

Maria Prandini, Henk A. P. Blom, Bert G. J. Bakker

Proceedings of the American Control Conference, 2011

2010

Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis.

James Lockerbie, David Bush, Neil A. M. Maiden, Henk A. P. Blom, Mariken H. C. Everdij

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Modeling and estimation of accident rate and trend in air transport.

Henk A. P. Blom, Edwin A. Bloem

Proceedings of the 13th Conference on Information Fusion, 2010

2009

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets

Mariken H. C. Everdij, Henk A. P. Blom

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Permutation invariance in Bayesian estimation of two targets that maneuver in and out formation flight.

Henk A. P. Blom, Edwin A. Bloem

Proceedings of the 12th International Conference on Information Fusion, 2009

Rare Event Estimation for a Large-Scale Stochastic Hybrid System with Air Traffic Application.

Henk A. P. Blom, Bert G. J. Bakker, Jaroslav Krystul

Proceedings of the Rare Event Simulation using Monte Carlo Methods, 2009

2008

Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic.

Alexei Sharpanskykh, Sybert H. Stroeve, Henk A. P. Blom

Proceedings of the ICEIS 2008, 2008

Tracking closely spaced targets: Bayes outperformed by an approximation?

Henk A. P. Blom, Edwin A. Bloem, Yvo Boers, Hans Driessen

Proceedings of the 11th International Conference on Information Fusion, 2008

2007

Modelling Lateral Spacing and Separation for Airborne Separation Assurance Using Petri Nets.

Mariken H. C. Everdij, Henk A. P. Blom, Bert G. J. Bakker

Simul., 2007

Hybrid SIR joint particle filtering under limited sensor resolution.

Henk A. P. Blom, Edwin A. Bloem

Proceedings of the 10th International Conference on Information Fusion, 2007

Probabilistic reachability analysis for large scale stochastic hybrid systems.

Henk A. P. Blom, G. J. Bakker, Jaroslav Krystul

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

Joint Particle Filtering of Multiple Maneuvering Targets From Unassociated Measurements.

Henk A. P. Blom, Edwin A. Bloem

J. Adv. Inf. Fusion, 2006

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].

Henk A. P. Blom, Edwin A. Bloem

Autom., 2006

Exact Bayesian filter and joint IMM coupled PDA tracking of maneuvering targets from possibly missing and false measurements.

Henk A. P. Blom, Edwin A. Bloem

Autom., 2006

Safety Risk Assessment by Monte Carlo Simulation of Complex Safety Critical Operations.

Henk A. P. Blom, Sybert H. Stroeve, Hans H. de Jong

Proceedings of the Developments in Risk-based Approaches to Safety, 2006

Approximate Bayesian tracking of two targets that maneuver in and out formation flight.

Henk A. P. Blom, Edwin A. Bloem

Proceedings of the 2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2006

Joint Integrated PDA Avoiding Track Coalescence under Non-Homogeneous Clutter Density.

Henk A. P. Blom, Edwin A. Bloem, Darko Musicki

Proceedings of the 9th International Conference on Information Fusion, 2006

A Particle System for Safety Verification of Free Flight in Air Traffic.

Henk A. P. Blom, Jaroslav Krystul, G. J. Bakker

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Functional Abstractions of stochastic Hybrid Systems.

Manuela-Luminita Bujorianu, Henk A. P. Blom, Holger Hermanns

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Joint Integrated PDA Avoiding Track Coalescence.

Henk A. P. Blom, Darko Musicki, Edwin A. Bloem

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2003

Collision risk modeling of air traffic.

Henk A. P. Blom, Bert G. J. Bakker, Mariken H. C. Everdij, Marco van der Park

Proceedings of the 7th European Control Conference, 2003

Tracking multiple maneuvering targets by joint combinations of IMM and PDA.

Henk A. P. Blom, Edwin A. Bloem

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models.

Mariken H. C. Everdij, Henk A. P. Blom

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

Stochastic Hybrid Processes with Hybrid Jumps.

Henk A. P. Blom

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Interacting multiple model joint probabilistic data association avoiding track coalescence.

Henk A. P. Blom, Edwin A. Bloem

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Conflict probability and incrossing probability in air traffic management.

Henk A. P. Blom, G. J. Bakker

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2000

Probabilistic data association avoiding track coalescence.

Henk A. P. Blom, Edwin A. Bloem

IEEE Trans. Autom. Control., 2000

1996

Embedding adaptive JLQG into LQ martingale control with a completely observable stochastic control matrix.

Mariken H. C. Everdij, Henk A. P. Blom

IEEE Trans. Autom. Control., 1996

1993

A Unified Framework for the Performability Evaluation of Fault-Tolerant Computer Systems.

Krishna R. Pattipati, Yong Li, Henk A. P. Blom

IEEE Trans. Computers, 1993

1991

Correction to 'Time-Reversion of a Hybrid State Stochastic Difference System with a Jump-Linear Smoothing Application'.

Henk A. P. Blom, Yaakov Bar-Shalom

IEEE Trans. Inf. Theory, 1991

1990

Time-reversion of a hybrid state stochastic difference system with a jump-linear smoothing application.

Henk A. P. Blom, Yaakov Bar-Shalom

IEEE Trans. Inf. Theory, 1990

1989

On the instantaneous availability and performability evaluation of fault-tolerant computer systems.

Krishna R. Pattipati, Yong Li, Henk A. P. Blom

Proceedings of the IEEE International Conference on Systems, 1989