# Henk A. P. Blom

Orcid: 0000-0002-5906-9817
According to our database

Collaborative distances:

^{1}, Henk A. P. Blom authored at least 55 papers between 1989 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

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

CoRR, 2024

2023

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

2022

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.

Reliab. Eng. Syst. Saf., 2021

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

2020

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.

IEEE Trans. Intell. Transp. Syst., 2019

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.

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

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.

IEEE Trans. Emerg. Top. Comput., 2016

2015

IEEE Trans. Aerosp. Electron. Syst., 2015

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

J. Aerosp. Inf. Syst., 2015

Appl. Intell., 2015

2014

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.

Reliab. Eng. Syst. Saf., 2013

Complex Adapt. Syst. Model., 2013

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

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

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

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

2012

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

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.

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

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.

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.

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

Proceedings of the 13th Conference on Information Fusion, 2010

2009

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets

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.

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

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

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

2008

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

Proceedings of the ICEIS 2008, 2008

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

2007

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

Simul., 2007

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

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

2006

Joint Particle Filtering of Multiple Maneuvering Targets From Unassociated Measurements.

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

Autom., 2006

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

Autom., 2006

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

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

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

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.

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

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

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

2005

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

2003

Proceedings of the 7th European Control Conference, 2003

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.

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

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

2002

Interacting multiple model joint probabilistic data association avoiding track coalescence.

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

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

2000

IEEE Trans. Autom. Control., 2000

1996

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

IEEE Trans. Autom. Control., 1996

1993

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

IEEE Trans. Computers, 1993

1991

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

IEEE Trans. Inf. Theory, 1991

1990

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

IEEE Trans. Inf. Theory, 1990

1989

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

Proceedings of the IEEE International Conference on Systems, 1989