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 Neural Networks 10:45 Coffee 11:15 Nathalie Revol About 8-bit … these rules might not be well-defined in all cir- cumstances, for example, in a rule involving division, the divisor should never be allowed to be zero, The Dutch Tax Office (Belastingdienst) is interested in statically “model checking” the rules to find and prevent such ill-formed conditions. Mathematically, this problem reduces to Maastricht University SWIM 2024 3 computing the ranges of functions, possibly over unbounded domains, and showing that a partial function such as ÷ or √ can never be … of the so-called observability mapping [1, 9] yields q = y(t0) y(t1) ... y(tn−1) = cT cTA ... cTAn−1 · x(t0) + 0 cTB · u(t0) ... cT · ( B · u(tn−2) +AB · u(tn−3) + . . .An−2B · u(t0) ) = QO · x(t0) +∆ , (2) where QO is the observability matrix. In the case that the system is fully observable, coinciding with a full rank of QO, the initial state x(t0) can be uniquely reconstructed by an analytic solution of (2) under the assumption of perfectly known …