A PhD program lasts for four years and the Mechanical Engineering department offers you an attractive research environment. If you have a healthy dose of curiosity and are motivated to dig deep in your research field, then a PhD might be just the thing for you.
Thesis I will defend my thesis entitled From Computability to Executability — A process-theoretic view on automata theory on Thursday 27 October at For more information about the defence, check the information page.
The work in this thesis has been carried out under the auspices of the research school IPA Institute for Programming research and Algorithmics. The following versions of the thesis are available for download: Short Summary The theory of automata and formal languages was devised in the s to provide models for and to reason about computation.
Here we mean by computation a procedure that transforms input into output, which was the sole mode of operation of computers at the time. Nowadays, computers are systems that interact with us and also with each other; they are non-deterministic, reactive systems.
Concurrency theory, split off from classical automata theory in the seventies, provides a model of computation similar to the model given by the theory of automata and formal languages, but focuses on concurrent, reactive and interactive systems.
This thesis investigates the integration of the two theories, exposing the differences and similarities between them.
Where automata and formal language theory focuses on computations and languages, concurrency theory focuses on behaviour. To achieve integration, we look for process-theoretic analogies of classic results from automata theory.
The most prominent difference is that we use an interpretation of automata as labelled transition systems modulo divergence-preserving branching bisimilarity instead of treating automata as language acceptors. We also consider similarities such as grammars as recursive specifications and finite automata as labelled finite transition systems.
We investigate whether the classical results still hold and, if not, what extra conditions are sufficient to make them hold. Additionally we investigate the notion of parallel pushdown systems. For each class we define the central notion of automaton and its behaviour by associating a transition system with the automaton.
Then we introduce a suitable specification language and investigate the correspondence with the respective automaton via its associated transition system. Because we not only want to study interaction with the environment, but also the interaction within the automaton, we make the interaction explicit by means of communicating parallel components, with one component representing the finite control of the automaton and one component representing the memory.Ph.D.
Thesis, Eindhoven University of Technology, the Netherlands Cover design: Pei Tang Cover photographs supplied by Attero b.v. (Eindhoven University of Technology) for accepting to be members in my PhD committee. Their research outcomes and contributions in the fields of building materials and solid wastes.
Mete Sevinç is a PhD candidate in the School of Industrial Engineering at the Eindhoven University of Technology, Netherlands. He received a BSc in Manufacturing Systems Engineering () and a MSc in Industrial Engineering () at Sabanci University, Istanbul.
Thesis, Eindhoven University of Technology.
 De Hart, A two-dimensional fluid-structure interaction model of the aortic valve. Journal of Biomechanics 33, Title: Graduate School Engineering Mechanics Author: Koo Rijpkema Subject: 3rd Engineering Mechanics Symposium, a.c.p.m.
backx k.j. astr a.h. damen self-tuning regulator industrial mimo process fixed controller snowbird resort mimo process eindhoven university real-time pressure control supply chain conscious process operation fuzzy control scheme phd thesis case study towards intentional dynamic ieee trans industrial process general theory practice.
I received my Bachelors (Electrical Engineering) and Masters (Embedded Systems) from Eindhoven University of Technology. In April , I successfully defended my PhD thesis at the same attheheels.com: GPU/C++ Engineer Autonomous .
PhD thesis, Eindhoven University of Technology, Google Scholar. Faculty of Electrical Engineering Eindhoven University of Technology Eindhoven The Netherlands; About this chapter.
Cite this chapter as: Moreira O., Corporaal H. () Setting the Stage. In: Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor.