Mariken H. C. Everdij
According to our database1,
Mariken H. C. Everdij
authored at least 8 papers
between 1996 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Complex Adapt. Syst. Model., 2013
2012
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.
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
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.
Simul., 2007
2003
Proceedings of the 7th European Control Conference, 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
1996
Embedding adaptive JLQG into LQ martingale control with a completely observable stochastic control matrix.
IEEE Trans. Autom. Control., 1996