@inproceedings{bouissou:hal-01073673, TITLE = {{Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis}}, AUTHOR = {Bouissou, Olivier and Chapoutot, Alexandre and Djaballah, Adel and Kieffer, Michel}, URL = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01073673}, BOOKTITLE = {{53rd IEEE Annual Conference on Decision and Control (CDC 2014)}}, ADDRESS = {Los Angeles, United States}, PAGES = {1-4}, YEAR = {2014}, MONTH = Dec, DOI = {10.1109/cdc.2014.7039472}, PDF = {https://hal-centralesupelec.archives-ouvertes.fr/hal-01073673/file/main.pdf}, HAL_ID = {hal-01073673}, HAL_VERSION = {v1}, }