Henk A. P. Blom

Orcid: 0000-0002-5906-9817

According to our database1, Henk A. P. Blom authored at least 52 papers between 1989 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Third party risk modelling of Unmanned Aircraft System operations, with application to parcel delivery service.
Reliab. Eng. Syst. Saf., 2021

ARCH-COMP21 Category Report: Stochastic Models.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020
ARCH-COMP20 Category Report: Stochastic Models.
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

ARCH-COMP19 Category Report: Stochastic Modelling.
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

ARCH-COMP18 Category Report: Stochastic Modelling.
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
JIPDA: Automatic target tracking avoiding track coalescence.
IEEE Trans. Aerosp. Electron. Syst., 2015

Safety Evaluation of Advanced Self-Separation Under Very High En Route Traffic Demand.
J. Aerosp. Inf. Syst., 2015

Modelling situation awareness relations in a multiagent system.
Appl. Intell., 2015

2014
The continuous-discrete time feedback particle filter.
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

Agent-based modeling and simulation of emergent behavior in air transportation.
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
The continuous time roots of the Interacting Multiple Model filter.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An overview of airborne time-spacing research in the JADE program.
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

Optimal decomposed particle filtering of two closely spaced Gaussian targets.
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

Modeling and estimation of accident rate and trend in air transport.
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

Tracking closely spaced targets: Bayes outperformed by an approximation?
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

Hybrid SIR joint particle filtering under limited sensor resolution.
Proceedings of the 10th International Conference on Information Fusion, 2007

Probabilistic reachability analysis for large scale stochastic hybrid systems.
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

A Particle System for Safety Verification of Free Flight in Air Traffic.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Functional Abstractions of stochastic Hybrid Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Joint Integrated PDA Avoiding Track Coalescence.
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.
Proceedings of the 7th European Control Conference, 2003

Tracking multiple maneuvering targets by joint combinations of IMM and PDA.
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

Stochastic Hybrid Processes with Hybrid Jumps.
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

Conflict probability and incrossing probability in air traffic management.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2000
Probabilistic data association avoiding track coalescence.
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


  Loading...