Learn More
An interval model can express the imprecision and the uncertainty associated to the modeling of a system. The result of the simulation of one of these models can be represented in the form of envelope trajectories. These envelopes can be characterized by several properties such as completeness or soundness, that lead to the concepts of overbounded and(More)
This paper presents a fast and reliable method to trim non-solution regions in an interval ray tracing process. The “trimming algorithm” uses interval analysis to perform rejection tests in a set of pixels simultaneously, instead of individual pixels at each time. With this approach, the presented algorithm runs faster than the traditional interval ray(More)
BACKGROUND The popularity of continuous subcutaneous insulin infusion (CSII), or insulin pump therapy, as a way to deliver insulin more physiologically and achieve better glycemic control in diabetes patients has increased. Despite the substantiated therapeutic advantages of using CSII, its use has also been associated with an increased risk of technical(More)
OBJECTIVE This study assessed the accuracy of real-time continuous glucose monitoring system (RTCGMS) devices in an intensive care unit (ICU) to determine whether the septic status of the patient has any influence on the accuracy of the RTCGMS. SUBJECTS AND METHODS In total, 41 patients on insulin therapy were included. Patients were monitored for 72 h(More)
BACKGROUND Current continuous glucose monitors have limited accuracy mainly in the low range of glucose measurements. This lack of accuracy is a limiting factor in their clinical use and in the development of the so-called artificial pancreas. The ability to detect incorrect readings provided by continuous glucose monitors from raw data and other(More)
One of the techniques used to detect faults in dynamic systems is analytical redundancy. An important difficulty in applying this technique to real systems is dealing with the uncertainties associated with the system itself and with the measurements. In this paper, this uncertainty is taken into account by the use of intervals for the parameters of the(More)
This paper discusses predictive motion control of a MiRoSoT robot. The dynamic model of the robot is deduced by taking into account the whole process - robot, vision, control and transmission systems. Based on the obtained dynamic model, an integrated predictive control algorithm is proposed to position precisely with either stationary or moving obstacle(More)
The problem of characterizing in a guaranteed way the set of all feasible set-points of a control problem is known to be difficult. In the present work, the problem to be solved involves non-linear equality constraints with variables affected by logical quantifiers. This problem is not solvable by current symbolic methods like quantifier elimination, which(More)
Considering the difficulty in selecting correct insulin doses and the problem of hyper- and hypoglycemia episodes in type 1 diabetes, dosage-aid systems are very useful for these patients. A model-based approach to this problem must unavoidably consider uncertainty sources such as large intra-patient variability and food intake. In the present study,(More)
This paper describes a new reliable method, based on modal interval analysis (MIA) and set inversion (SI) techniques, for the characterization of solution sets defined by quantified constraints satisfaction problems (QCSP) over continuous domains. The presented methodology, called quantified set inversion (QSI), can be used over a wide range of engineering(More)