Concepedia

D.A. van Beek

DV

Statistics

Publications

22

Citations

701

H-Index

15

Active since

1997

Affiliations

Eindhoven University of Technology(Current)

D.A. van Beek is an author at Eindhoven University of Technology specializing in engineering, systems engineering, and computer science.

Publications per year

1997–2024

22

Publications

22

Syntax and consistent equation semantics of hybrid Chi

D.A. van Beek, Ka Lok Man, Michel Reniers et al. · The Journal of Logic and Algebraic Programming · 2005 · 147 citations · Full text

Language Studies, Computer Science, Formal Methods +10

Languages and applications in hybrid modelling and simulation: Positioning of Chi

D.A. van Beek, J.E. Rooda · Control Engineering Practice · 2000 · 57 citations

Engineering, Computer Science, Systems Engineering +12

A state-based framework for supervisory control synthesis and verification

Jasen Markovski, D.A. van Beek, R.J.M. Theunissen et al. · 2010 · 55 citations

Engineering, Systems Engineering, Model-based Systems Engineering +16

Coordination of Resources using Generalized State-Based Requirements

Jasen Markovski, Karen Jacobs, D.A. van Beek et al. · IFAC Proceedings Volumes · 2010 · 51 citations

Engineering, Systems Engineering, Requirements Engineering +9

MODELLING AND CONTROL OF PROCESS INDUSTRY BATCH PRODUCTION SYSTEMS

D.A. van Beek, A. van den Ham, J.E. Rooda · IFAC Proceedings Volumes · 2002 · 37 citations · Full text

Engineering, Industrial Engineering, Systems Engineering +10

1–5 of 22