Partial-Order Reduction for Supervisory Controller Synthesis

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

EQASM: An executable quantum instruction set architecture

A widely-used quantum programming paradigm comprises of both the data flow and control flow. Existing quantum hardware cannot well support the control flow, significantly limiting the range of quantum software executable on the hardware. By analyzing the constraints in the control microarchitecture, we found that existing quantum assembly...

Towards Low-Complexity Scalable Coding for Ultra-High Resolution Video and beyond

The current state of the art of video coding lacks specific tools to efficiently deal with ultra-high resolutions such as 8K video both at a hardware and software level. At the same time, the increase in video resolutions combined with a larger variety in display resolutions results in a need for spatial scalability at low computational...

Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA

Gaining insight in the properties of an Internet of Things (IoT) system during the design phase is difficult. The cosimulation of such a system would be very useful, but creating it is usually time consuming. By means of domain specific languages (DSLs) we support the fast construction of large co-simulations of IoT systems. This approach...

Scalable analysis for multi-scale dataflow models

Multi-scale dataflow models have actors acting at multiple granularity levels, e.g., a dataflow model of a video processing application with operations on frame, line, and pixel level. The state of the art timing analysis methods for both static and dynamic dataflow types aggregate the behaviours across all granularity levels into one, often...

Optimal Sizing of Waste Heat Recovery Systems for Dynamic Engine Conditions

In this study, a methodology for optimal sizing of waste heat recovery (WHR) systems is presented. It deals with dynamic engine conditions. This study focuses on Euro-VI truck applications with a mechanically coupled Organic Rankine Cycle-based WHR system. An alternating optimization architecture is developed for optimal system sizing and...

Building an SDN enterprise WLAN based on virtual APs

In this letter, the development and testing of an open enterprise Wi-Fi solution based on virtual access points (APs), managed by a central WLAN controller is presented. It allows seamless handovers between APs in different channels, maintaining the QoS of real-time services. The potential scalability issues associated to the beacon generation...

Integrated system for capturing CO2 as feedstock for algae production: 13th International Conference on Greenhouse Gas Control Technologies, GHGT 2016, 14-18 November 2016, Lausanne, Switzerland

In view of its promise as sustainable process for CO2 capture and its potential in the production of feed, food and natural high value products such as omega-3 fatty acids and anti-oxidants such as astaxanthin, large scale algae cultivation is gaining commercial interest. Currently, most systems are based on directly contacting CO2 containing...

Nonseparable dynamic nearest neighbor Gaussian process models for large spatio-temporal data with an application to particulate matter analysis

Particulate matter (PM) is a class of malicious environmental pollutants known to be detrimental to human health. Regulatory efforts aimed at curbing PM levels in different countries often require high resolution space–time maps that can identify red-flag regions exceeding statutory concentration limits. Continuous spatio-temporal Gaussian...

Urban traffic noise assessment by combining measurement and model results

A model based monitoring system is applied on a local scale in an urban area to obtain a better understanding of the traffic noise situation. The system consists of a scalable sensor network and an engineering model. A better understanding is needed to take appropriate and cost efficient measures, especially when changes to the local...

Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems

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,...

IT lessons learnt from real time dike monitoring

The Dutch lowlands are protected by many kilometres of dikes. Currently these dikes are visually inspected on a regular basis. During heavy weather this frequency is raised, up to 24/7 in very extreme situations. After a dike failure at the Dutch town Wilnis in 2003, the question was raised whether modern sensor technology could be used to...

Strategic framework for social and economic viability in inclusive innovation projects

Entrepreneurs with the ambition to structurally cater the Base of the Pyramid (BoP) market face two challenges. On the one hand, they need to ‘go local’ to ensure local ownership. On the other hand, they have to work towards a scalable business model. This paper presents a framework which combines the innovation phases with the challenges of...

GOOSE: Semantic search on Internet connected sensors

More and more sensors are getting Internet connected. Examples are cameras on cell phones, CCTV cameras for traffic control as well as dedicated security and defense sensor systems. Due to the steadily increasing data volume, human exploitation of all this sensor data is impossible for effective mission execution. Smart access to all sensor data...

SMRF Architecture Concepts

This paper presents three valuable applications of scalable multifunction RF (SMRF) systems. These systems allow radar, ESM and communication functionality using a single front-end architecture. With the use of a novel system design tool, concepts for SMRF architectures for airborne, groundbased and naval application have been obtained based on...

Fixed SMRF Sensor Network Application Concepts

Advantages of scalable multifunction RF (SMRF) sensors and networked operation of sensors are well-known. Some advantages are surveillance persistence, multipath resistance, and interference resistance. The particular benefits of applying multifunction RF sensors in a network still need to be studied. In this study, the application of fixed SMRF...

Scalable Multifunction Active Phased Array Systems: From concept to implementation; 2006BU1-IS

The SMRF (Scalable Multifunction Radio Frequency Systems) concept has been launched in the WEAG (Western European Armament Group) context, recently restructured into the EDA (European Defence Agency). A derived concept is introduced here, namely the SMRF-APAS (Scalable Multifunction Radio Frequency-Active Phased Array System) concept. In this...

Unidimensionality and reliability under Mokken scaling of the Dutch language version of the SF-36

The sub-scales of the SF-36 in the Dutch National Study are investigated with respect to unidimensionality and reliability. It is argued that these properties deserve separate treatment. For unidimensionality we use a non-parametric model from item response theory, called the Mokken scaling model, and compute the corresponding scalability...