Mariken H. C. Everdij

According to our database, Mariken H. C. Everdij authored at least 8 papers between 1996 and 2013.

Collaborative distances:

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

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

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

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

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

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

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

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

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