Spatio-temporal constrained zonotopes for validation of optimal control problems *
E Bertin, B Hérissé, JA dit Sandretto… - 2021 60th IEEE …, 2021 - ieeexplore.ieee.org
… Operations on zonotopes, known as affine arithmetic, may be found in [6]. A constrained
zonotope ZA = [Z, ˆZ,A, ˆA] is the affine deformation of a unit box intersected with a plane {Z·ε + …
zonotope ZA = [Z, ˆZ,A, ˆA] is the affine deformation of a unit box intersected with a plane {Z·ε + …
Tuning of renewable energy bids based on energy risk management: Enhanced microgrids with pareto‐optimal profits for the utility and prosumers
V Mohan, AM Antonis… - Energy Conversion and …, 2022 - Wiley Online Library
… The conservative intervals were further tightened in [14] using unit commitment based on
affine arithmetic, thereby limiting the energy forecast error. In [15], various heuristic optimization …
affine arithmetic, thereby limiting the energy forecast error. In [15], various heuristic optimization …
[PDF][PDF] Discovering Linear Restraint for Software Validation
JP Eyo, R Izevbizua - 2012 - core.ac.uk
Software is constantly being validated on test techniques which consist in enumerative
execution of the application a high number of times. It is not realistic to achieve 100% coverage …
execution of the application a high number of times. It is not realistic to achieve 100% coverage …
[HTML][HTML] 用於類比電路仿真器的波動數位濾波器之硬體最佳化方法
MLIN LI - 2019 - ir.lib.ncu.edu.tw
… In order to minimize hardware resource, integer linear programming algorithm is used to
obtain the minimum number of required adaptors, The affine arithmetic model is also applied to …
obtain the minimum number of required adaptors, The affine arithmetic model is also applied to …
Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
T Dzetkulič - Numerical Algorithms, 2015 - Springer
… This is similar to the idea of uncertainty handling by affine arithmetic [9], because what we
do is we introduce affine representation of the error to the system and then compute with it …
do is we introduce affine representation of the error to the system and then compute with it …
Optimisation globale basée sur l'analyse d'intervalles: relaxation affine et limitation de la mémoire
J Ninin - 2010 - tel.archives-ouvertes.fr
… • In this thesis, we have developed new arithmetics based on interval arithmetic and affine
arithmetic, to compute better lower and upper bounds of a factorable function over an interval. …
arithmetic, to compute better lower and upper bounds of a factorable function over an interval. …
[PDF][PDF] Robust optimisation using uncertainty analysis
G Manson - Proceedings of the 25th International Modal Analysis … - researchgate.net
… There are alternative arithmetics (such as affine arithmetic [9] which go some way to alleviating
these problems) but, in the current work, interval arithmetic will give exact ranges for the …
these problems) but, in the current work, interval arithmetic will give exact ranges for the …
Multi agent systems for circuit tolerance and sensitivity analysis
M De Santo, N Femia, M Molinara… - ISCAS 2001. The 2001 …, 2001 - ieeexplore.ieee.org
In this work we investigate the applicability of the multi agent paradigm to the realization of a
distributed software system for circuit Tolerance and Sensitivity Analysis (TSA). A Multi …
distributed software system for circuit Tolerance and Sensitivity Analysis (TSA). A Multi …
An interval mathematic-based methodology for reliable resilience analysis of power systems in the presence of data uncertainties
A Pepiciello, A Vaccaro, LL Lai - Energies, 2020 - mdpi.com
… If overconservatism must be avoided, it is possible to apply affine arithmetic [38], at the cost
of increased computational burden. Affine arithmetic maintains the dependencies between …
of increased computational burden. Affine arithmetic maintains the dependencies between …
In Pursuit of Real Answers
AY Zhu, W Taha, R Cartwright… - … Software and Systems, 2009 - ieeexplore.ieee.org
… Affine arithmetic improves the precision of interval arithmetic [10]. Compared to usual …
Recently, an abstract domain based on affine arithmetic has been proposed in [16]. Modal arith…
Recently, an abstract domain based on affine arithmetic has been proposed in [16]. Modal arith…