Split and Merge Strategies for Solving Uncertain Equations Using Affine Arithmetic
Journal Title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems - Year 2016, Vol 3, Issue 9
Abstract
The behaviour of systems is determined by various parameters. Due to several reasons like e. g. manufacturing tolerances these parameters can have some uncertainties. Corner Case and Monte Carlo simulations are well known approaches to handle uncertain systems. They sample the corners and random points of the parameter space, respectively. Both require many runs and do not guarantee the inclusion of the worst case. As alternatives, range based approaches can be used. They model parameter uncertainties as ranges. The simulation outputs are ranges which include all possible results created by the parameter uncertainties. One type of range arithmetic is the affine arithmetic, which allows to maintain linear correlations to avoid over-approximation. An equation solver based on affine arithmetic has been proposed earlier. Unlike many other range based approaches it can solve implicit non-linear equations. This is necessary for analog circuit simulation. For large uncertainties the solver suffers from convergence problems. To overcome these problems it is possible to split the parameter ranges, calculate the solutions separately and merge them again. For higher dimensional systems this leads to excessive runtimes as each parameter is split. To minimize the additional runtime several split and merge strategies are proposed and compared using two analog circuit examples.
Authors and Affiliations
Oliver Scharf, Markus Olbrich, Erich Barke
Outage Probability of Vehicular Networks under Unreliable Backhaul
This paper presents for the first time a heterogeneous vehicular model with multiple moving small cells and a moving receiver with unreliable backhaul. In this system, a macro-base station connects to multiple moving smal...
Resource Allocation for Energy Efficiency in 5G Wireless Networks
Resource allocation is one important mission in wireless communication systems. In 5G wireless networks, it is essential that the new systems be more dynamic and wiser to simultaneously satisfy various network demands, b...
Parallel Simulation of Queueing Petri Nets
Queueing Petri Nets (QPNs) are a powerful formalism to model the performance of software systems. Such models can be solved using analytical or simulation techniques. Analytical techniques suffer from scalability issues,...
Coupling of the synchronization stations of an Extended Kanban system
In this paper, an approximate method for estimating the performance of the synchronization stations of an Extended Kanban production system is developed. The correct treatment of an Extended Kanban system requires the de...
Tele-Monitoring the Battery of an Electric Vehicle
Nowadays, transportation is one of the main air pollution sources and has a significant impact on human health and environmental quality. The electric vehicle is a zero emission vehicle powered by an electric motor with...