SWIM 2024 - Abstracts.pdf
(2.74 MB, PDF)
… 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 … a definition of the entire curve only with several control Maastricht University SWIM 2024 2 points (CPs); a setting of the degree of continuity of the curve, and therefore the smoothness of the path generated. Defoort formalized the problem as a nonlinear constrained problem. Non-interval solvers like Sequential Least Squares Quadratic Programming (SLSQP) [4] were used to find a solution. Two main issues were raised: the inabil- ity to guarantee a solution if one exists; and the inability to … some uncertainties, as in [4] where spatial and temporal uncertainties are considered, some- times by the help of intervals. For instance, in [11], an offline monitor- ing algorithm with intervals for finite time STL formulas is proposed. In [3], an online monitoring is proposed using an interval of all the possible quantitative satisfaction of a partial signal with unbounded future. In the literature, most of the researchers proposing STL monitors deal with single traces. However, in our …