@inproceedings{bouissou:cea-01834974, TITLE = {{Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities}}, AUTHOR = {Bouissou, O. and Goubault, E. and Putot, S. and Chakarov, A. and Sankaranarayanan, S.}, URL = {https://cea.hal.science/cea-01834974}, NOTE = {Conference of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016 and held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016 ; Conference Date: 2 April 2016 Through 8 April 2016; Conference Code:173509}, BOOKTITLE = {{Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Lecture Notes in Computer Science}}, ADDRESS = {Eindhoven, Netherlands}, EDITOR = {Raskin J.-F., Chechik M.}, PUBLISHER = {{Springer Verlag}}, VOLUME = {9636}, PAGES = {225-243}, YEAR = {2016}, MONTH = Apr, DOI = {10.1007/978-3-662-49674-9\_13}, KEYWORDS = {Calculations ; Computation theory ; Embedded systems ; Concentration of measure ; Cyber physical systems (CPSs) ; Higher order moments ; Nonlinear computations ; Numerical computations ; Precise tracking ; Program variables ; Uncertainty propagation ; Probability distributions}, HAL_ID = {cea-01834974}, HAL_VERSION = {v1}, }