@inproceedings{jaulin:hal-03188788,
  TITLE = {{Enclosing the Sliding Surfaces of a Controlled Swing}},
  AUTHOR = {Jaulin, Luc and Desrochers, Beno{\^i}t},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03188788},
  BOOKTITLE = {{6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2020}},
  ADDRESS = {Online, Austria},
  SERIES = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
  VOLUME = {331},
  PAGES = {43-55},
  YEAR = {2020},
  MONTH = Aug,
  DOI = {10.4204/EPTCS.331.4},
  KEYWORDS = {Hybrid systems ; Controllers ; Embedded systems ; Internet of things},
  PDF = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03188788/file/2101.05418.pdf},
  HAL_ID = {hal-03188788},
  HAL_VERSION = {v1},
}