-
Parametric Optimization Based MPC for Systems of Systems with Affine Coordination Constraints
Authors:
Branimir Novoselnik,
Vedrana Spudić,
Mato Baotić
Abstract:
A large-scale complex system comprising many, often spatially distributed, dynamical subsystems with partial autonomy and complex interactions are called system of systems. This paper describes an efficient algorithm for model predictive control of a class of system of systems for which the overall objective function is the sum of convex quadratic cost functions of (locally) constrained linear sub…
▽ More
A large-scale complex system comprising many, often spatially distributed, dynamical subsystems with partial autonomy and complex interactions are called system of systems. This paper describes an efficient algorithm for model predictive control of a class of system of systems for which the overall objective function is the sum of convex quadratic cost functions of (locally) constrained linear subsystems that are coupled through a set of (global) linear constraints on the subsystems coordination parameters.
The proposed control algorithm is based on parametrization and splitting of the underlying optimization problem into one global coordination problem and a set of local optimization problems pertaining to individual subsystems. The local optimization problems are solved off-line, via parametric optimization, while the coordination problem is solved on-line. The properties of the local parametric solutions are utilized to solve the coordination problem very efficiently. In particular, it is shown that, for a fixed number of coupling constraints, the coordination problem can be solved with a linear-time algorithm in a finite number of iterations if all subsystems have one-dimensional coordination parameters.
△ Less
Submitted 16 April, 2019; v1 submitted 4 April, 2018;
originally announced April 2018.
-
Gradient of the Value Function in Parametric Convex Optimization Problems
Authors:
Mato Baotić
Abstract:
We investigate the computation of the gradient of the value function in parametric convex optimization problems. We derive general expression for the gradient of the value function in terms of the cost function, constraints and Lagrange multipliers. In particular, we show that for the strictly convex parametric quadratic program the value function is continuously differentiable at every point in t…
▽ More
We investigate the computation of the gradient of the value function in parametric convex optimization problems. We derive general expression for the gradient of the value function in terms of the cost function, constraints and Lagrange multipliers. In particular, we show that for the strictly convex parametric quadratic program the value function is continuously differentiable at every point in the interior of feasible space for which the Linear Independent Constraint Qualification holds.
△ Less
Submitted 30 June, 2016;
originally announced July 2016.
-
Validation of cross sections for Monte Carlo simulation of the photoelectric effect
Authors:
Min Cheol Han,
Han Sung Kim,
Maria Grazia Pia,
Tullio Basaglia,
Matej Batic,
Gabriela Hoff,
Chan Hyeong Kim,
Paolo Saracco
Abstract:
Several total and partial photoionization cross section calculations, based on both theoretical and empirical approaches, are quantitatively evaluated with statistical analyses using a large collection of experimental data retrieved from the literature to identify the state of the art for modeling the photoelectric effect in Monte Carlo particle transport. Some of the examined cross section models…
▽ More
Several total and partial photoionization cross section calculations, based on both theoretical and empirical approaches, are quantitatively evaluated with statistical analyses using a large collection of experimental data retrieved from the literature to identify the state of the art for modeling the photoelectric effect in Monte Carlo particle transport. Some of the examined cross section models are available in general purpose Monte Carlo systems, while others have been implemented and subjected to validation tests for the first time to estimate whether they could improve the accuracy of particle transport codes. The validation process identifies Scofield's 1973 non-relativistic calculations, tabulated in the Evaluated Photon Data Library(EPDL), as the one best reproducing experimental measurements of total cross sections. Specialized total cross section models, some of which derive from more recent calculations, do not provide significant improvements. Scofield's non-relativistic calculations are not surpassed regarding the compatibility with experiment of K and L shell photoionization cross sections either, although in a few test cases Ebel's parameterization produces more accurate results close to absorption edges. Modifications to Biggs and Lighthill's parameterization implemented in Geant4 significantly reduce the accuracy of total cross sections at low energies with respect to its original formulation. The scarcity of suitable experimental data hinders a similar extensive analysis for the simulation of the photoelectron angular distribution, which is limited to a qualitative appraisal.
△ Less
Submitted 25 January, 2016;
originally announced January 2016.
-
Geant4 and beyond: recent progress in precision physics modeling
Authors:
Matej Batic,
Marcia Begalli,
Min Cheol Han,
Steffen Hauf,
Gabriela Hoff,
Chan Hyeong Kim,
Han Sung Kim,
Sung Hun Kim,
Markus Kuster,
Maria Grazia Pia,
Paolo Saracco,
Georg Weidenspointner
Abstract:
This extended abstract briefly summarizes ongoing research activity on the evaluation and experimental validation of physics methods for photon and electron transport. The analysis includes physics models currently implemented in Geant4 as well as modeling methods used in other Monte Carlo codes, or not yet considered in general purpose Monte Carlo simulation systems. The validation of simulation…
▽ More
This extended abstract briefly summarizes ongoing research activity on the evaluation and experimental validation of physics methods for photon and electron transport. The analysis includes physics models currently implemented in Geant4 as well as modeling methods used in other Monte Carlo codes, or not yet considered in general purpose Monte Carlo simulation systems. The validation of simulation models is performed with the support of rigorous statistical methods, which involve goodness-of-fit tests followed by categorical analysis. All results are quantitative, and are fully documented.
△ Less
Submitted 22 July, 2014;
originally announced July 2014.
-
Theoretical grounds for the propagation of uncertainties in Monte Carlo particle transport
Authors:
Paolo Saracco,
Maria Grazia Pia,
Matej Batic
Abstract:
We introduce a theoretical framework for the calculation of uncertainties affecting observables produced by Monte Carlo particle transport, which derive from uncertainties in physical parameters input into simulation. The theoretical developments are complemented by a heuristic application, which illustrates the method of calculation in a streamlined simulation environment.
We introduce a theoretical framework for the calculation of uncertainties affecting observables produced by Monte Carlo particle transport, which derive from uncertainties in physical parameters input into simulation. The theoretical developments are complemented by a heuristic application, which illustrates the method of calculation in a streamlined simulation environment.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
Validation of Compton Scattering Monte Carlo Simulation Models
Authors:
Georg Weidenspointner,
Matej Batic,
Steffen Hauf,
Gabriela Hoff,
Markus Kuster,
Maria Grazia Pia,
Paolo Saracco
Abstract:
Several models for the Monte Carlo simulation of Compton scattering on electrons are quantitatively evaluated with respect to a large collection of experimental data retrieved from the literature. Some of these models are currently implemented in general purpose Monte Carlo systems; some have been implemented and evaluated for possible use in Monte Carlo particle transport for the first time in th…
▽ More
Several models for the Monte Carlo simulation of Compton scattering on electrons are quantitatively evaluated with respect to a large collection of experimental data retrieved from the literature. Some of these models are currently implemented in general purpose Monte Carlo systems; some have been implemented and evaluated for possible use in Monte Carlo particle transport for the first time in this study. Here we present first and preliminary results concerning total and differential Compton scattering cross sections.
△ Less
Submitted 8 January, 2014;
originally announced January 2014.
-
Physics Methods for the Simulation of Photoionisation
Authors:
Tullio Basaglia,
Matej Batic,
Min Cheol Han,
Gabriela Hoff,
Chan Hyeong Kim,
Han Sung Kim,
Maria Grazia Pia,
Paolo Saracco
Abstract:
Several physics methods for the simulation of the photoelectric effect are quantitatively evaluated with respect to a large collection of experimental data retrieved from the literature. They include theoretical and empirical calculations of total and partial cross sections, and calculations of the photoelectron angular distribution. Some of these models are currently implemented in general purpos…
▽ More
Several physics methods for the simulation of the photoelectric effect are quantitatively evaluated with respect to a large collection of experimental data retrieved from the literature. They include theoretical and empirical calculations of total and partial cross sections, and calculations of the photoelectron angular distribution. Some of these models are currently implemented in general purpose Monte Carlo systems; some have been implemented and evaluated for possible use in Monte Carlo particle transport for the first time in this study.
△ Less
Submitted 20 November, 2013;
originally announced November 2013.
-
Negative Improvements, Relative Validity and Elusive Goodness
Authors:
Matej Batic,
Gabriela Hoff,
Chan Hyeong Kim,
Sung Hun Kim,
Maria Grazia Pia,
Paolo Saracco,
Georg Weidenspointner
Abstract:
Various issues related to the complexity of apprais- ing the capabilities of physics models implemented in Monte Carlo simulation codes and the evolution of the functional quality the associated software are considered, such as the dependence on the experimental environment where the software operates and its sensitivity to detector characteristics. The concept of software validity as relative to…
▽ More
Various issues related to the complexity of apprais- ing the capabilities of physics models implemented in Monte Carlo simulation codes and the evolution of the functional quality the associated software are considered, such as the dependence on the experimental environment where the software operates and its sensitivity to detector characteristics. The concept of software validity as relative to the environment is illustrated by means of a real-life experimental test case. Methods and techniques to mitigate the risk of deteriorating the quality of the software are critically discussed: they concern various disciplines of the software development process. Quantitative validation of physics models is advocated as a method to appraise their capabilities objectively and to monitor the evolution of their associated software behavior.
△ Less
Submitted 20 November, 2013;
originally announced November 2013.
-
Radioactive Decays in Geant4
Authors:
Steffen Hauf,
Markus Kuster,
Matej Batič,
Zane W. Bell,
Dieter H. H. Hoffmann,
Philipp M. Lang,
Stephan Neff,
Maria Grazia Pia,
Georg Weidenspointner,
Andreas Zoglauer
Abstract:
The simulation of radioactive decays is a common task in Monte-Carlo systems such as Geant4. Usually, a system either uses an approach focusing on the simulations of every individual decay or an approach which simulates a large number of decays with a focus on correct overall statistics. The radioactive decay package presented in this work permits, for the first time, the use of both methods withi…
▽ More
The simulation of radioactive decays is a common task in Monte-Carlo systems such as Geant4. Usually, a system either uses an approach focusing on the simulations of every individual decay or an approach which simulates a large number of decays with a focus on correct overall statistics. The radioactive decay package presented in this work permits, for the first time, the use of both methods within the same simulation framework - Geant4. The accuracy of the statistical approach in our new package, RDM-extended, and that of the existing Geant4 per-decay implementation (original RDM), which has also been refactored, are verified against the ENSDF database. The new verified package is beneficial for a wide range of experimental scenarios, as it enables researchers to choose the most appropriate approach for their Geant4-based application.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
-
Validation of Geant4 simulation of electron energy deposition
Authors:
Matej Batic,
Gabriela Hoff,
Maria Grazia Pia,
Paolo Saracco,
Georg Weidenspointner
Abstract:
Geant4-based simulations of the energy deposited by electrons in various materials are quantitatively compared to high precision calorimetric measurements taken at Sandia Laboratories. The experimental data concern electron beams of energy between a few tens of keV and 1 MeV at various incidence angles. Two experimental scenarios are evaluated: the longitudinal energy deposition pattern in a finel…
▽ More
Geant4-based simulations of the energy deposited by electrons in various materials are quantitatively compared to high precision calorimetric measurements taken at Sandia Laboratories. The experimental data concern electron beams of energy between a few tens of keV and 1 MeV at various incidence angles. Two experimental scenarios are evaluated: the longitudinal energy deposition pattern in a finely segmented detector, and the total energy deposited in a larger size calorimeter. The simulations are produced with Geant4 versions from 9.1 to 9.6; they involve models of electron-photon interactions in the standard and low energy electromagnetic packages, and various implementations of electron multiple scattering. Significant differences in compatibility with experimental data are observed in the longitudinal energy deposition patterns produced by the examined Geant4 versions, while the total deposited energy exhibits smaller variations across the various Geant4 versions, with the exception Geant4 9.4. The validation analysis, based on statistical methods, shows that the best compatibility between simulation and experimental energy deposition profiles is achieved using electromagnetic models based on the EEDL and EPDL evaluated data libraries with Geant4 9.1. The results document the accuracy achievable in the simulation of the energy deposited by low energy electrons with Geant4; they provide guidance for application in similar experimental scenarios and for improving Geant4.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
-
Validation of Geant4-based Radioactive Decay Simulation
Authors:
Steffen Hauf,
Markus Kuster,
Matej Batič,
Zane W. Bell,
Dieter H. H. Hoffmann,
Philipp M. Lang,
Stephan Neff,
Maria Grazia Pia,
Georg Weidenspointner,
Andreas Zoglauer
Abstract:
Radioactive decays are of concern in a wide variety of applications using Monte-Carlo simulations. In order to properly estimate the quality of such simulations, knowledge of the accuracy of the decay simulation is required. We present a validation of the original Geant4 Radioactive Decay Module, which uses a per-decay sampling approach, and of an extended package for Geant4-based simulation of ra…
▽ More
Radioactive decays are of concern in a wide variety of applications using Monte-Carlo simulations. In order to properly estimate the quality of such simulations, knowledge of the accuracy of the decay simulation is required. We present a validation of the original Geant4 Radioactive Decay Module, which uses a per-decay sampling approach, and of an extended package for Geant4-based simulation of radioactive decays, which, in addition to being able to use a refactored per-decay sampling, is capable of using a statistical sampling approach. The validation is based on measurements of calibration isotope sources using a high purity Germanium (HPGe) detector; no calibration of the simulation is performed. For the considered validation experiment equivalent simulation accuracy can be achieved with per-decay and statistical sampling.
△ Less
Submitted 21 June, 2013;
originally announced June 2013.
-
Precision analysis of Geant4 condensed transport effects on energy deposition in detectors
Authors:
M. Batic,
G. Hoff,
M. G. Pia
Abstract:
A comprehensive analysis of the effects of Geant4 algorithms for condensed transport in detectors is in progress. The first phase of the project focuses on electron multiple scattering, and studies two related observables: the longitudinal pattern of energy deposition in various materials, and the fraction of backscattered particles. The quality of the simulation is evaluated through comparison wi…
▽ More
A comprehensive analysis of the effects of Geant4 algorithms for condensed transport in detectors is in progress. The first phase of the project focuses on electron multiple scattering, and studies two related observables: the longitudinal pattern of energy deposition in various materials, and the fraction of backscattered particles. The quality of the simulation is evaluated through comparison with high precision experimental measurements; several versions of Geant4 are analyzed to provide an extensive overview of the evolution of Geant4 multiple scattering algorithms and of their contribution to simulation accuracy.
△ Less
Submitted 26 September, 2012;
originally announced September 2012.
-
Algorithms and parameters for improved accuracy in physics data libraries
Authors:
M. Batic,
M. Han,
S. Hauf,
G. Hoff,
C. H. Kim,
M. Kuster,
M. G. Pia,
P. Saracco,
H. Seo
Abstract:
Recent efforts for the improvement of the accuracy of physics data libraries used in particle transport are summarized. Results are reported about a large scale validation analysis of atomic parameters used by major Monte Carlo systems (Geant4, EGS, MCNP, Penelope etc.); their contribution to the accuracy of simulation observables is documented. The results of this study motivated the development…
▽ More
Recent efforts for the improvement of the accuracy of physics data libraries used in particle transport are summarized. Results are reported about a large scale validation analysis of atomic parameters used by major Monte Carlo systems (Geant4, EGS, MCNP, Penelope etc.); their contribution to the accuracy of simulation observables is documented. The results of this study motivated the development of a new atomic data management software package, which optimizes the provision of state-of-the-art atomic parameters to physics models. The effect of atomic parameters on the simulation of radioactive decay is illustrated. Ideas and methods to deal with physics models applicable to different energy ranges in the production of data libraries, rather than at runtime, are discussed.
△ Less
Submitted 26 September, 2012;
originally announced September 2012.
-
A new development cycle of the Statistical Toolkit
Authors:
M Batic,
A. M. Paganoni,
A. Pfeiffer,
M. G. Pia,
A. Ribon
Abstract:
The Statistical Toolkit is an open source system specialized in the statistical comparison of distributions. It addresses requirements common to different experimental domains, such as simulation validation (e.g. comparison of experimental and simulated distributions), regression testing in the course of the software development process, and detector performance monitoring. Various sets of statist…
▽ More
The Statistical Toolkit is an open source system specialized in the statistical comparison of distributions. It addresses requirements common to different experimental domains, such as simulation validation (e.g. comparison of experimental and simulated distributions), regression testing in the course of the software development process, and detector performance monitoring. Various sets of statistical tests have been added to the existing collection to deal with the one sample problem (i.e. the comparison of a data distribution to a function, including tests for normality, categorical analysis and the estimate of randomness). Improved algorithms and software design contribute to the robustness of the results. A simple user layer dealing with primitive data types facilitates the use of the toolkit both in standalone analyses and in large scale experiments.
△ Less
Submitted 26 September, 2012;
originally announced September 2012.
-
Refactoring, reengineering and evolution: paths to Geant4 uncertainty quantification and performance improvement
Authors:
M. Batic,
M. Begalli,
M. Han,
S. Hauf,
G. Hoff,
C. H. Kim,
M. Kuster,
M. G. Pia,
P. Saracco,
H. Seo,
G. Weidenspointner,
A. Zoglauer
Abstract:
Ongoing investigations for the improvement of Geant4 accuracy and computational performance resulting by refactoring and reengineering parts of the code are discussed. Issues in refactoring that are specific to the domain of physics simulation are identified and their impact is elucidated. Preliminary quantitative results are reported.
Ongoing investigations for the improvement of Geant4 accuracy and computational performance resulting by refactoring and reengineering parts of the code are discussed. Issues in refactoring that are specific to the domain of physics simulation are identified and their impact is elucidated. Preliminary quantitative results are reported.
△ Less
Submitted 26 September, 2012;
originally announced September 2012.
-
Photon elastic scattering simulation: validation and improvements to Geant4
Authors:
Matej Batic,
Gabriela Hoff,
Maria Grazia Pia,
Paolo Saracco
Abstract:
Several models for the simulation of photon elastic scattering are quantitatively evaluated with respect to a large collection of experimental data retrieved from the literature. They include models based on the form factor approximation, on S-matrix calculations and on analytical parameterizations; they exploit publicly available data libraries and tabulations of theoretical calculations. Some of…
▽ More
Several models for the simulation of photon elastic scattering are quantitatively evaluated with respect to a large collection of experimental data retrieved from the literature. They include models based on the form factor approximation, on S-matrix calculations and on analytical parameterizations; they exploit publicly available data libraries and tabulations of theoretical calculations. Some of these models are currently implemented in general purpose Monte Carlo systems; some have been implemented and evaluated for the first time in this paper for possible use in Monte Carlo particle transport. The analysis mainly concerns the energy range between 5 keV and a few MeV. The validation process identifies the newly implemented model based on second order S-matrix calculations as the one best reproducing experimental measurements. The validation results show that, along with Rayleigh scattering, additional processes, not yet implemented in Geant4 nor in other major Monte Carlo systems, should be taken into account to realistically describe photon elastic scattering with matter above 1 MeV. Evaluations of the computational performance of the various simulation algorithms are reported along with the analysis of their physics capabilities.
△ Less
Submitted 3 June, 2012;
originally announced June 2012.
-
Quantifying the unknown: issues in simulation validation and their experimental impact
Authors:
M. G. Pia,
M. Batic,
G. Hoff,
P. Saracco,
M. Begalli,
M. Han,
C. H Kim,
H. Seo,
S. Hauf,
M. Kuster,
L. Quintieri,
G. Weidenspointner,
A. Zoglauer
Abstract:
The assessment of the reliability of Monte Carlo simulations is discussed, with emphasis on uncertainty quantification and the related impact on experimental results. Methods and techniques to account for epistemic uncertainties, i.e. for intrinsic knowledge gaps in physics modeling, are discussed with the support of applications to concrete experimental scenarios. Ongoing projects regarding the i…
▽ More
The assessment of the reliability of Monte Carlo simulations is discussed, with emphasis on uncertainty quantification and the related impact on experimental results. Methods and techniques to account for epistemic uncertainties, i.e. for intrinsic knowledge gaps in physics modeling, are discussed with the support of applications to concrete experimental scenarios. Ongoing projects regarding the investigation of epistemic uncertainties in the Geant4 simulation toolkit are reported.
△ Less
Submitted 9 November, 2011;
originally announced November 2011.
-
Validation of proton ionization cross section generators for Monte Carlo particle transport
Authors:
Matej Batic,
Maria Grazia Pia,
Paolo Saracco
Abstract:
Three software systems, ERCS08, ISICS 2011 and Šmit's code, that implement theoretical calculations of inner shell ionization cross sections by proton impact, are validated with respect to experimental data. The accuracy of the cross sections they generate is quantitatively estimated and inter-compared through statistical methods. Updates and extensions of a cross section data library relevant to…
▽ More
Three software systems, ERCS08, ISICS 2011 and Šmit's code, that implement theoretical calculations of inner shell ionization cross sections by proton impact, are validated with respect to experimental data. The accuracy of the cross sections they generate is quantitatively estimated and inter-compared through statistical methods. Updates and extensions of a cross section data library relevant to PIXE simulation with Geant4 are discussed.
△ Less
Submitted 11 October, 2011;
originally announced October 2011.
-
ISICSoo: a class for the calculation of ionization cross sections from ECPSSR and PWBA theory
Authors:
Matej Batic,
Maria Grazia Pia,
Sam J. Cipolla
Abstract:
ISICS, originally a C language program for calculating K-, L- and M-shell ionization and X-ray production cross sections from ECPSSR and PWBA theory, has been reengineered into a C++ language class, named ISICSoo. The new software design enables the use of ISICS functionality in other software systems. The code, originally developed for Microsoft Windows operating systems, has been ported to Linux…
▽ More
ISICS, originally a C language program for calculating K-, L- and M-shell ionization and X-ray production cross sections from ECPSSR and PWBA theory, has been reengineered into a C++ language class, named ISICSoo. The new software design enables the use of ISICS functionality in other software systems. The code, originally developed for Microsoft Windows operating systems, has been ported to Linux and Mac OS platforms to facilitate its use in a wider scientific environment. The reengineered software also includes some fixes to the original implementation, which ensure more robust computational results and a review of some physics parameters used in the computation. The paper describes the software design and the modifications to the implementation with respect to the previous version; it also documents the test process and provides some indications about the software performance.
△ Less
Submitted 4 October, 2011;
originally announced October 2011.
-
Evaluation of atomic electron binding energies for Monte Carlo particle transport
Authors:
Maria Grazia Pia,
Hee Seo,
Matej Batic,
Marcia Begalli,
Chan Hyeong Kim,
Lina Quintieri,
Paolo Saracco
Abstract:
A survey of atomic binding energies used by general purpose Monte Carlo systems is reported. Various compilations of these parameters have been evaluated; their accuracy is estimated with respect to experimental data. Their effects on physics quantities relevant to Monte Carlo particle transport are highlighted: X-ray fluorescence emission, electron and proton ionization cross sections, and Dopple…
▽ More
A survey of atomic binding energies used by general purpose Monte Carlo systems is reported. Various compilations of these parameters have been evaluated; their accuracy is estimated with respect to experimental data. Their effects on physics quantities relevant to Monte Carlo particle transport are highlighted: X-ray fluorescence emission, electron and proton ionization cross sections, and Doppler broadening in Compton scattering. The effects due to different binding energies are quantified with respect to experimental data. The results of the analysis provide quantitative ground for the selection of binding energies to optimize the accuracy of Monte Carlo simulation in experimental use cases. Recommendations on software design dealing with these parameters and on the improvement of data libraries for Monte Carlo simulation are discussed.
△ Less
Submitted 27 September, 2011;
originally announced September 2011.
-
Quantifying the Unknown
Authors:
Maria Grazia Pia,
Matej Batič,
Marcia Begalli,
Anton Lechner,
Lina Quintieri,
Paolo Saracco
Abstract:
The issue of how epistemic uncertainties affect the outcome of Monte Carlo simulation is discussed by means of a concrete use case: the simulation of the longitudinal energy deposition profile of low energy protons. A variety of electromagnetic and hadronic physics models is investigated, and their effects are analyzed. Possible systematic effects are highlighted. The results identify requirements…
▽ More
The issue of how epistemic uncertainties affect the outcome of Monte Carlo simulation is discussed by means of a concrete use case: the simulation of the longitudinal energy deposition profile of low energy protons. A variety of electromagnetic and hadronic physics models is investigated, and their effects are analyzed. Possible systematic effects are highlighted. The results identify requirements for experimental measurements capable of reducing epistemic uncertainties in the simulation.
△ Less
Submitted 15 December, 2010; v1 submitted 3 December, 2010;
originally announced December 2010.
