In this paper, we present a case-study on application of Ramadge-Wonham supervisory
control theory (abbreviated by SCT in the sequel) to a patient support system of a magnetic …

We extend an existing model-based framework for supervisory control synthesis with
generalized control and verification state-based requirements. The former stem from the …

Control and coordination is an important aspect of the development of complex machines
due to an ever increasing demand for better functionality, quality, and performance. We …

We describe our experiences with the process of designing a domain-specific language
(DSL) and corresponding model transformations. The simultaneous development of the …

Hybrid Systems are systems having a mixed discrete and continuous behaviour that cannot
be characterized faithfully using either only discrete or only continuous models. A good …

Different modeling formalisms for timed and hybrid systems exist, each of which addresses a
specific set of problems, and has its own set of features. These formalisms and tools can be …

The complexity of today's embedded systems is increasing rapidly. Ever more functionality is
realised in software, for reasons of cost and flexibility. This leads to many implementation …

Embedded systems and their design trajectories are becoming increasingly complex, and
there is a growing demand for performance, reliability, energy efficiency and low cost. To …

This thesis is the final results of my Ph. D. research at the Systems Engineering Group of the
Mechanical Engineering Department at the Eindhoven University of Technology. My Ph. D …

In the past few years, model-driven software engineering (MDSE) and domain-specific
modeling languages (DSMLs) have received a lot of attention from both research and …