Network-aware design-space exploration of a power-efficient embedded application

The paper presents the design and multi-parameter optimization of a networked embedded application for the health-care domain. Several hardware, software, and application parameters, such as clock frequency, sensor sampling rate, data packet rate, are tuned at design- and run-time according to application specifications and operating conditions to optimize hardware requirements, packet loss, power consumption. Experimental results show that further power efficiency can be achieved by considering also communication aspects during design space exploratio

MGSim - Simulation tools for multi-core processor architectures

MGSim is an open source discrete event simulator for on-chip hardware components, developed at the University of Amsterdam. It is intended to be a research and teaching vehicle to study the fine-grained hardware/software interactions on many-core and hardware multithreaded processors. It includes support for core models with different instruction sets, a configurable multi-core interconnect, multiple configurable cache and memory models, a dedicated I/O subsystem, and comprehensive monitoring and interaction facilities. The default model configuration shipped with MGSim implements Microgrids, a many-core architecture with hardware concurrency management. MGSim is furthermore written mostly in C++ and uses object classes to represent chip components. It is optimized for architecture models that can be described as process networks.Comment: 33 pages, 22 figures, 4 listings, 2 table

Optimal predictive control of water transport systems: Arrêt-Darré/Arros case study

This paper proposes the use of predictive optimal control as a suitable methodology to manage efficiently transport water networks. The predictive optimal controller is implemented using MPC control techniques. The Arrêt-Darré/Arros dam-river system located in the Southwest region of France is proposed as case study. A high-fidelity dynamic simulator based on the full Saint-Venant equations and able to reproduce this system is developed in MATLAB/SIMULINK to validate the performance of the developed predictive optimal control system. The control objective in the Arrêt-Darré/Arros dam-river system is to guarantee an ecological flow rate at a control point downstream of the Arrêt-Darré dam by controlling the outflow of this dam in spite of the unmeasured disturbances introduced by rainfalls incomings and farmer withdrawals

Controlled Synchronization of One Class of Nonlinear Systems under Information Constraints

Output feedback controlled synchronization problems for a class of nonlinear unstable systems under information constraints imposed by limited capacity of the communication channel are analyzed. A binary time-varying coder-decoder scheme is described and a theoretical analysis for multi-dimensional master-slave systems represented in Lurie form (linear part plus nonlinearity depending only on measurable outputs) is provided. An output feedback control law is proposed based on the Passification Theorem. It is shown that the synchronization error exponentially tends to zero for sufficiantly high transmission rate (channel capacity). The results obtained for synchronization problem can be extended to tracking problems in a straightforward manner, if the reference signal is described by an {external} ({exogenious}) state space model. The results are applied to controlled synchronization of two chaotic Chua systems via a communication channel with limited capacity.Comment: 8 pages, 2 figure

Belle II Technical Design Report

The Belle detector at the KEKB electron-positron collider has collected almost 1 billion Y(4S) events in its decade of operation. Super-KEKB, an upgrade of KEKB is under construction, to increase the luminosity by two orders of magnitude during a three-year shutdown, with an ultimate goal of 8E35 /cm^2 /s luminosity. To exploit the increased luminosity, an upgrade of the Belle detector has been proposed. A new international collaboration Belle-II, is being formed. The Technical Design Report presents physics motivation, basic methods of the accelerator upgrade, as well as key improvements of the detector.Comment: Edited by: Z. Dole\v{z}al and S. Un