Abstract:Magnetic Resonance Imaging (MRI) provides an insight into opaque structures and does not only have a large number of applications in the field of medical examinations but also in the field of engineering. In technical applications, MRI enables a contactless measurement of the two-or threedimensional velocity field within minutes. However, various measurement methods would benefit from an acceleration of the measurement procedure. Compressed Sensing is a promising method to fit this need. A random undersampling… Show more
“…Remark 4. An interval extension of the atan2 function is described in [30]. A straightforward extension of a phase unwrap operation applied individually to all interval bounds of the generalized atan2 function in the case of angles leaving the interval [−π ; π] allows for determining the depicted enclosures in Figure 5.…”
Section: Quantification Of Measurement Uncertainty: Bounded Measureme...mentioning
A reliable quantification of the worst-case influence of model uncertainty and external disturbances is crucial for the localization of vessels in marine applications. This is especially true if uncertain GPS-based position measurements are used to update predicted vessel locations that are obtained from the evaluation of a ship’s state equation. To reflect real-life working conditions, these state equations need to account for uncertainty in the system model, such as imperfect actuation and external disturbances due to effects such as wind and currents. As an application scenario, the GPS-based localization of autonomous DDboat robots is considered in this paper. Using experimental data, the efficiency of an ellipsoidal approach, which exploits a bounded-error representation of disturbances and uncertainties, is demonstrated.
“…Remark 4. An interval extension of the atan2 function is described in [30]. A straightforward extension of a phase unwrap operation applied individually to all interval bounds of the generalized atan2 function in the case of angles leaving the interval [−π ; π] allows for determining the depicted enclosures in Figure 5.…”
Section: Quantification Of Measurement Uncertainty: Bounded Measureme...mentioning
A reliable quantification of the worst-case influence of model uncertainty and external disturbances is crucial for the localization of vessels in marine applications. This is especially true if uncertain GPS-based position measurements are used to update predicted vessel locations that are obtained from the evaluation of a ship’s state equation. To reflect real-life working conditions, these state equations need to account for uncertainty in the system model, such as imperfect actuation and external disturbances due to effects such as wind and currents. As an application scenario, the GPS-based localization of autonomous DDboat robots is considered in this paper. Using experimental data, the efficiency of an ellipsoidal approach, which exploits a bounded-error representation of disturbances and uncertainties, is demonstrated.
“…To solve the Bézout identity (14) in the design procedure suggested in this paper, it has to be checked firstly whether a solution for this polynomial equation exists. This can be done using a reduced Gröbner basis.…”
Section: Remarkmentioning
confidence: 99%
“…Here, a selection of useful techniques ranges from the extension of fundamental arithmetic operations to interval valued expressions [1][2][3], which were recently standardized in the IEEE standard 1788 [11], over the development of set valued counterparts for zero finding techniques for sets of algebraic equations such as the Krawczyk operator [12][13][14], interval based techniques for reachability analysis [15], the verified global optimization [16][17][18], to the solution of identification tasks by means of set inversion techniques via interval analysis (e.g., the algorithms set inversion via interval analysis (SIVIA) and problem specific generalizations) [2,19]. If control applications are concerned, interval analysis can be applied both to an offline design and verification of control procedures under consideration of feasibility and safety requirements such as input and state constraints and to an online interval evaluation in terms of real-time capable robust control strategies generalizing the ideas of variable-structure control techniques and backstepping [20][21][22][23][24][25].…”
In recent years, many applications, as well as theoretical properties of interval analysis have been investigated. Without any claim for completeness, such applications and methodologies range from enclosing the effect of round-off errors in highly accurate numerical computations over simulating guaranteed enclosures of all reachable states of a dynamic system model with bounded uncertainty in parameters and initial conditions, to the solution of global optimization tasks. By exploiting the fundamental enclosure properties of interval analysis, this paper aims at computing invariant sets of nonlinear closed-loop control systems. For that purpose, Lyapunov-like functions and interval analysis are combined in a novel manner. To demonstrate the proposed techniques for enclosing invariant sets, the systems examined in this paper are controlled via sliding mode techniques with subsequently enclosing the invariant sets by an interval based set inversion technique. The applied methods for the control synthesis make use of a suitably chosen Gröbner basis, which is employed to solve Bézout’s identity. Illustrating simulation results conclude this paper to visualize the novel combination of sliding mode control with an interval based computation of invariant sets.
“…Our previous work has dealt with a first approach to quantify the effect of measurement uncertainty by representing the possible ranges of consistently reconstructed data in MRI-based signal processing with the help of purely set-valued, non-probabilistic approaches. John et al (2020b) and Rauh et al (2020) showed that interval analysis (as a set-valued approach) provides a helpful tool to detect those domains in the reconstructed images that are influenced most by the assumed bounded measurement uncertainty. Quantification of these effects became possible with the help of computing the worst-case deviations between the estimated suprema and infima of reconstructed phase angles.…”
Section: Introductionmentioning
confidence: 99%
“…However, those interval approaches require application-specific insight concerning the derivation of meaningful bounds for the expected measurement errors. As discussed by John et al (2020b) and Rauh et al (2020), suitable options for such models are the assumption of independent additive bounds for each measured point in the frequency domain or uncertainty models that are related to the power spectral density of the acquired data. The validity of such assumptions, however, needs to be checked for each measurement scenario.…”
In the frame of stochastic filtering for nonlinear (discrete-time) dynamic systems, the unscented transformation plays a vital role in predicting state information from one time step to another and correcting a priori knowledge of uncertain state estimates by available measured data corrupted by random noise. In contrast to linearization-based techniques, such as the extended Kalman filter, the use of an unscented transformation not only allows an approximation of a nonlinear process or measurement model in terms of a first-order Taylor series expansion at a single operating point, but it also leads to an enhanced quantification of the first two moments of a stochastic probability distribution by a large signal-like sampling of the state space at the so-called sigma points which are chosen in a deterministic manner. In this paper, a novel application of the unscented transformation technique is presented for the stochastic analysis of measurement uncertainty in magnet resonance imaging (MRI). A representative benchmark scenario from the field of velocimetry for engineering applications which is based on measured data gathered at an MRI scanner concludes this contribution.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.