- document
-
van der Sanden, B. (author), Geilen, M. (author), Reniers, M. (author), Basten, T. (author)A key challenge in the synthesis and subsequent analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction (POR) is a well-established technique...article 2022
- document
-
Nagele, T. (author), Broenink, T. (author), Hooman, J. (author), Broenink, J. (author)The multi-disciplinary nature of the design of cyber-physical systems makes it hard to gain insight in the system behaviour early in the design process. Our aim is to allow the designers to analyse the integration of system components as well as the behaviour of the complete system in an early stage. This is achieved by creating abstract...conference paper 2019
- document
-
Jonk, R.W.J. (author), Voeten, J.P.M. (author), Geilen, M.C.W. (author), Basten, A.A. (author), Schiffelers, R. (author)We develop a model-based approach to predict timing of service-based software applications on Linux-based multi-core platforms for alternative mappings (affinity and priority settings). Service-based applications consist of communicating sequential (Linux) processes. These processes execute functions (also called services), but can only execute...conference paper 2018
- document
-
Mohamed, S. (author), Zhu, D. (author), Goswami, D. (author), Basten, A.A. (author)Image-Based Control (IBC) systems have a long sample period. Sensing in these systems consists of compute-intensive image processing algorithms whose response times are dependent on image workload. IBC systems are typically designed for the worst-case workload that results in a long sample period and hence suboptimal quality-of-control (QoC)....conference paper 2018
- document
-
Behrouzian, A. (author), Goswami, D. (author), Basten, A.A. (author)Feedback control applications are robust to occasional deadline misses. This opens up the possibility of saving scarce (computation and communication) resources on embedded platforms. Stability and performance requirements of a control loop impose restrictions on acceptable patterns of deadline misses (e.g., not too many misses in a row). Such...conference paper 2018
- document
-
Ibrahim, A. (author), Math, C.B. (author), Goswami, D. (author), Basten, A.A. (author), Li, H. (author)Vehicle platooning has gained attention for its potential to achieve an increased road capacity and safety, and a higher fuel efficiency. Member vehicles of a platoon wirelessly communicate complying with industrial standards such as IEEE 802.11p. By exchanging information with other members via wireless communication, a platoon member computes...conference paper 2018
- document
-
Fu, J. (author), van Wietmarschen, H.A. (author), van der Kooij, A. (author), Cuppen, B.V.J. (author), Schroën, Y. (author), Marijnissen, A.K. (author), Meulman, J.J. (author), Lafeber, F.P.J.G. (author), van der Greef, J. (author)Introduction: Biological therapies have greatly improved the treatment efficacy in rheumatoid arthritis (RA). However, in clinical practice a significant proportion of patients experience an inadequate response to treatment. The aim of this study is to classify responding and non-responding rheumatoid arthritis patients treated with biological...article 2018
- document
-
Huisman, R. (author), Paalvast, S. (author), Brandl, B.R. (author), van den Dool, T.C. (author), Eggens, M. (author), Janssen, H. (author), Aitink-Kroes, G. (author), Molster, F. (author), Teuwen, M. (author), Venema, L. (author), Jayawardhana, B. (author)We present the main results of the performance test campaign of the Mid-Infrared European Extremely Large Telescope Imager and Spectrograph (METIS) Cold Chopper Demonstrator (MCCD). This tip/tilt mirror, which operates at a temperature of 77 K, is one of the critical components in the METIS for the European Extremely Large Telescope. The...article 2016
- document
-
Borth, M. (author), Hendriks, M. (author)The design and analysis of smart system behavior needs to bridge between worlds – both with regard to engineering methods and to the technologies central to adaptivity and thus aconference paper 2016
- document
-
Van Den Berg, Freek (author), Hooman, Jozef (author), Hartmanns, Arnd (author), Haverkort, Boudewijn R. (author), Remke, Anne (author)System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer....bookPart 2015
- document
-
Geilen, M. (author), Falk, J. (author), Haubelt, C. (author), Basten, T. (author), Theelen, B. (author), Stuijk, S. (author)The timed dataflow model of computation is a useful performance analysis tool for Electronic System Level Design automation and embedded software synthesis. Its determinism gives it strong analysability properties. It is expressive enough to cover a large class of applications and platforms. The trend however, in both embedded applications and...conference paper 2015
- document
-
Perez, J. (author), de Looze, M.P. (author), Bosch, T. (author), Neumann, W.P. (author)This methodological paper presents a novel approach to predict operator's mechanical exposure and fatigue accumulation in discrete event simulations. A biomechanical model of work-cycle loading is combined with a discrete event simulation model which provides work cycle patterns over the shift resulting in a load-time trace for the entire shift....article 2014
- document
-
Schraagen, J.M.C. (author)The goal of this study is to extend Rasmussen’s framework for risk management to research organisations having to deal with reduced income from government funding and increased market orientation. One human factors research organisation was studied in detail. Using archival records, changes were studied over the period 1989–2010. The results...article 2013
- document
-
Frijns, R.M.W. (author), Kamp, A.L.J. (author), Stuijk, S. (author), Voeten, J.P.M. (author), Bontekoe, M. (author), Gemei, K.J.A. (author), Corporaal, H. (author)To provide a good balance between the performance and flexibility of future digital control platforms, we propose an FPGA-based heterogeneous multiprocessor approach, in which the platform is composed of processing elements from a set of parameterizable heterogeneous Application-Specific Instruction-set Processors (ASIPs), connected with an...conference paper 2013
- document
-
Heim, S. (author), Lutz, R. (author), Nelskamp, S. (author), Verweij, J.M. (author), Kaufmann, D. (author), Reinhardt, L. (author)This study presents the results of a basin modeling study covering the cross-border area of the southern Schillground High in the Dutch-German offshore area. A high resolution petroleum system model has been constructed with the aim to evaluate the hydrocarbon generation potential of Carboniferous source rocks and their possible lateral...article 2013
- document
-
Adyanthaya, S. (author), Geilen, M. (author), Basten, T. (author), Schiffelers, R. (author), Theelen, B. (author), Voeten, J. (author)Latest trends in embedded platform architectures show a steady shift from high frequency single core platforms to lower-frequency but highly-parallel execution platforms. Scheduling applications with stringent latency requirements on such multiprocessor platforms is challenging. Our work is motivated by the scheduling challenges faced by ASML,...conference paper 2013
- document
-
van Deventer, M.O. (author), de Wit, J.J. (author), Vanattenhoven, J. (author), Guelbahar, M. (author)This paper presents insights and learning experiences on the development of an integrated group recommender system in the European FP7 HBBNext research project. The system design incorporates insights from user research and evaluations, media industry players, and European HbbTV standardization efforts. Important differences were found between...conference paper 2013
- document
-
Krimmer, A. (author), Klinkhamer, J.F.F. (author), Biel, W. (author), Hawkes, N. (author), Kiss, G. (author), Koning, J.F. (author), Krasikov, Y. (author), Neubauer, O. (author)The upper port #3 in ITER will be used by the core Charge Exchange Recombination Spectroscopy (core CXRS) to channel out light from the inside of the vacuum vessel. Recent research about the lifetime of the first two mirrors and changes in the upper port plug geometry initiated further investigations into possible alternative system design...article 2011
- document
-
Hulzink, J. (author), Konijnenburg, M. (author), Ashouei, M. (author), Breeschoten, A. (author), Berset, T. (author), Huisken, J. (author), Stuyt, J. (author), de Groot, H. (author), Barat, F. (author), David, J. (author), van Ginderdeuren, J. (author)This paper presents a voltage-scalable digital signal processing system designed for the use in a wireless sensor node (WSN) for ambulatory monitoring of biomedical signals. To fulfill the requirements of ambulatory monitoring, power consumption, which directly translates to the WSN battery lifetime and size, must be kept as low as possible. The...article 2011
- document
-
Mariani, B. (author), Hoskovec, C. (author), Rochat, S. (author), Büla, C. (author), Penders, J. (author), Aminian, K. (author), Laboratory of Movement Analysis and Measurements, Ecole Polytechnique Fédérale de Lausanne, -STI-IBI2-LMAM, Station 11/ELH 137, CH-1015 Lausanne, Switzerland Service of Geriatric Medicine, CHUV and CUTR Sylvana, Epalinges, Switzerland Holst Centre/IMEC, High Tech Campus 31, Eindhoven, Netherlands (author)This study describes the validation of a new wearable system for assessment of 3D spatial parameters of gait. The new method is based on the detection of temporal parameters, coupled to optimized fusion and de-drifted integration of inertial signals. Composed of two wirelesses inertial modules attached on feet, the system provides stride length,...article 2010