@Inproceedings{EPTCS331.4, author = {Jaulin, Luc and Desrochers, Beno\^it}, year = {2021}, title = {Enclosing the Sliding Surfaces of a Controlled Swing}, editor = {Dang, Thao and Ratschan, Stefan}, booktitle = {{\rm Proceedings 6th International Workshop on} Symbolic-Numeric methods for Reasoning about CPS and IoT, {\rm online, 31 August 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {331}, publisher = {Open Publishing Association}, pages = {43-55}, doi = {10.4204/EPTCS.331.4}, }