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
Keywords
Related Articles
- EP ID EP46052
- DOI http://dx.doi.org/10.4108/eai.24-8-2015.2260594
- Views 341
- Downloads 0
Towards an augmented reality guiding system for assisted indoor remote vehicle navigation
Scientific facilities usually require the use of vehicles controlled remotely by an operator relying on the information provided by a camera. However, the operator lacks of depth perception, which makes difficult the nav...
Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks
Concurrent transmissions, a novel communication paradigm, has been shown to e ectively accomplish a reliable and energy-eÿcient flooding in low-power wireless networks. With multiple nodes exploiting a receive-and-forwar...
Innovative Application of 5G and Blockchain Technology in Industry 4.0
The Industry 4.0 is experiencing significant challenges, including the need for an increased amount of data transmission with improved security, transparency and credibility. The 5th Generation Mobile Network (5G) and Bl...
Surfing the Internet-of-Things: Lightweight Access and Control ofWireless Sensor Networks Using Industrial Low Power Protocols
Internet-of-Things (IoT) is emerging to play an important role in the continued advancement of information and communication technologies. To accelerate industrial application developments, the use of web services for ne...
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone
Model Checking is a technique for automatically checking the model representing software or hardware about whether they satisfy the corresponding specifications. Traditionally, the model checking uses deterministic algor...