Filetype
Complex systems often integrate domain-specific languages to let users customize the behavior. Developing tooling for such languages is typically time-consuming and error-prone. We present Jatte, a tool intended to simplify this development. Jatte works as a generic tree editor for an abstract syntax, but uses aspects and attribute grammars to support powerful modular ways of tuning both the proje
Context: The increased use of Open Source Software (OSS) affects how software-intensive product development organizations (SIPDO) innovate and compete, moving them towards Open Innovation (OI). Specifically, software engineering tools have the potential for OI, but require better understanding regarding what to develop internally and what to acquire from outside the organization, and how to cooper
In this paper we study the problem of automatically generatingpolynomial solvers for minimal problems. The maincontribution is a new method for finding small eliminationtemplates by making use of the syzygies (i.e. the polynomialrelations) that exist between the original equations. Usingthese syzygies we can essentially parameterize the setof possible elimination templates.We evaluate our method o
The first measured results for massive multiple-input, multiple-output (MIMO) performance in a line-of-sight (LOS) scenario with moderate mobility are presented, with 8 users served by a 100 antenna base Station (BS) at 3.7 GHz. When such a large number of channels dynamically change, the inherent propagation and processing delay has a critical relationship with the rate of change, as the use of o
When local control strategies are used to arrange a platoon into a string like formation, there is mounting evidence that a poorly regulated accordion like motion will emerge. In this paper we prove that this is an inevitable consequence of using local distance measurements to design the control. More specifically we demonstrate that no controller, irrespective of its dynamical complexity, sparsit
The passivity approach to the design of large networks is based on preserving the passivity property under different types of interconnection: parallel and negative feedback. Since the passivity property implies stability, this allows large and topologically complex networks to be constructed on the basis of simple local rules without the need for global stability analysis. In this paper we charac
Implementing frequency response using grid-connected inverters is one of the popular proposed alternatives to mitigate the dynamic degradation experienced in low inertia power systems. However, such solution faces several challenges as inverters do not intrinsically possess the natural response to power fluctuations that synchronous generators have. Thus, to synthetically generate this response, i
A method for designing a set of controllers to robustly stabilise a network of linear systems is presented. The method allows the design of each controller to be posed as a loopshaping problem. Critically each loopshaping problem requires only local knowledge of the overall system model to formulate, and may be solved separately. Furthermore the approach is inherently scalable, as any local change
In this paper two novel autotuners are compared with two industrially available ones. The aim is to see if the research frontline can improve the industry standard of today. Experiments are made on three laboratory processes with different characteristics. Two lag-dominated processes of which one is a level control problem with fast dynamics, and one a temperature control problem with slow dynamic
Sufficient and necessary conditions for the stability of positive feedback interconnections of negative imaginary systems are derived via an integral quadratic constraint (IQC) approach. The IQC framework accommodates distributed-parameter systems with irrational transfer function representations, while generalising existing results in the literature and allowing exploitation of flexibility at zer
We establish a connection between trend filtering and system identification which results in a family of new identification methods for linear, time-varying (LTV) dynamical models based on convex optimization. We demonstrate how the design of the cost function promotes a model with either a continuous change in dynamics over time, or causes discontinuous changes in model coefficients occurring at
In this research, it is shown that robot joint torques can be used to recognize contact force transients induced during robotic manipulation, thus detecting when a task is completed. The approach does not assume any external sensor, which is a benefit compared to the state of the art. The joint torque data are used as input to a recurrent neural network (RNN), and the output of the RNN indicates w
In this paper, it is shown that temporally coupled dynamical movement primitives (DMPs), used to model and execute robot movements, are globally exponentially stable. It follows that DMPs converge to their goal configurations, which is necessary to accomplish most tasks. The convergence is proven mathematically, and then verified in simulations as well as experimentally on an industrial robot.
This report describes a method to estimate the video bandwidth for IP cameras using the H.264 standard. The precise determination of bandwidth allows us to model the network access as a scheduling problem and/or estimate the amount of data that would traverse it during different periods. The paper is written to be as didactic as possible and presents a set of experiments, conducted in an industria
Background. Continuous experimentation (CE) has recently emerged as an established industry practice and as a research subject. Our aim is to study the application of CE and A/B testing in various industrial contexts. Objective. We wanted to investigate whether CE is used in different sectors of industry, by how it is reported in academic studies. We also wanted to explore the main topics research
The Internet of Things (IoT) paradigm brings an opportunity for advanced Demand Response (DR) solutions. It enables visibility and control on the various appliances that may consume, store or generate energy within a home. It has been shown that a centralized control on the appliances of a set of households leads to efficient DR mechanisms; unfortunately, such solutions raise privacy and scalabili
This paper highlights recent development of fuel cell hybrid vehicle (FCHV) models using the Fuel Cell Library (FCL), the Vehicle Dynamics Library (VDL), and Electrification Library (EL) from Modelon. A flexible model architecture is implemented to support physical modeling of such large scale, multi-domain vehicle system. The top-level model consists of a hydrogen fuel cell subsystem with detaile
The problem of low-rank approximation with convex constraints, which appears in data analysis, system identification, model order reduction, low-order controller design and low-complexity modelling is considered. Given a matrix, the objective is to find a low-rank approximation that meets rank and convex constraints, while minimizing the distance to the matrix in the squared Frobenius norm. In man
In real-time control systems, varying task response times may lead to delays and jitter in the delays in the feedback control loops, which adversely affects both performance and robustness. Standard LQG control design does not give any guarantees on robustness, while robust control design methods often do not handle controller timing uncertainty. We propose a sampled-data controller synthesis meth
