Mariken H. C. Everdij

Publication Activity (10 Years)

Years Active: 1996-2013
Publications (10 Years): 0

Top Topics

Agent Based Models

Emergent Behavior

Static Analysis

Top Venues

Complex Adapt. Syst. Model.

Publications

Soufiane Bouarfa, Henk A. P. Blom, Richard Curran, Mariken H. C. Everdij
Agent-based modeling and simulation of emergent behavior in air transportation. Complex Adapt. Syst. Model. 1 (2013)
Eri Itoh, Kazuhiko Uejima, Hidenori Chida, Katsuhiro Nishinari, Mariken H. C. Everdij, Bert G. J. Bakker, Henk A. P. Blom
An overview of airborne time-spacing research in the JADE program. ATACCS (2012)
James Lockerbie, David Bush, Neil A. M. Maiden, Henk A. P. Blom, Mariken H. C. Everdij
Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis. RE (2010)
Mariken H. C. Everdij, Henk A. P. Blom
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets FMA (2009)
Mariken H. C. Everdij, Henk A. P. Blom, Bert G. J. Bakker
Modelling Lateral Spacing and Separation for Airborne Separation Assurance Using Petri Nets. Simul. 83 (5) (2007)
Mariken H. C. Everdij, Henk A. P. Blom
Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models. ADHS (2003)
Henk A. P. Blom, Bert G. J. Bakker, Mariken H. C. Everdij, Marco van der Park
Collision risk modeling of air traffic. ECC (2003)
Mariken H. C. Everdij, Henk A. P. Blom
Embedding adaptive JLQG into LQ martingale control with a completely observable stochastic control matrix. IEEE Trans. Autom. Control. 41 (3) (1996)