SWIM 2024 - Abstracts.pdf
(2.74 MB, PDF)
… 15th Summer Workshop on Interval Methods SWIM 2024 Abstracts Department of Advanced Computing Sciences Maastricht University 4-6 June 2024 SWIM 2024 - Programme Tuesday 4th June 09:00 Reception 09:20 Opening Mark Winands 09:35 Bartłomiej Kubica Fuzzy Systems and … solved by interval mathods. References [1] Mischa Corsius, Stijn Hoppenbrouwers, Mariette Lokin, Elian Baars, Gertrude Sangers- Van Cappellen, and Ilona Wilmont. RegelSpraak: a CNL for executable tax rules specification. In Proceedings of the Workshop on Controlled Natural Language, 2021. [2] Ana de Almeida Borges, Juan José Conejero Rodŕıguez, David Fernández-Duque, Mireia González Bedmar, and Joost J. Joosten. To drive or not to drive: A logical and computa- tional analysis of European … tech- nique presented in [7], which is essentially based on a change of coordinates to circumvent the necessity to account for infinitely many previous time instants. Maastricht University SWIM 2024 4 References [1] R. Hermann and A. J. Krener. Nonlinear Controllability and Ob- servability. IEEE Transactions on Automatic Control, 22(5):728– 740, 1977. [2] L. Jaulin, M. Kieffer, O. Didrit, and É. Walter. Applied Interval Analysis. Springer–Verlag, London, 2001. [3] Y. Kyrychko and S. Hogan. On …