Concepedia

D.A. van Beek

DV

Statistics

Publications

22

Citations

700

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 process control.

Top concepts

EngineeringSystems EngineeringProcess ControlFormal MethodsComputer ScienceLanguageLinguisticsAutomated ReasoningFormal VerificationSyntax

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

Formal Semantics, Syntax, Engineering +8

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, Hybrid Modelling, Design +12

A state-based framework for supervisory control synthesis and verification

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

Engineering, Control Structure, Model-based Control Technique +14

Coordination of Resources using Generalized State-Based Requirements

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

Resource Constraint, Engineering, Generalized State-based Requirements +6

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

Engineering, Industrial Engineering, Process Control +3

Rows per page

1–5 of 22