Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study

International audienceAutonomous vehicles’ behavioural analysis represents a major challenge in the automotive world. In order to ensure safety and fluidity of driving, various methods are available, in particular, simulation and formal verification. The analysis, however, has to cope with very complex environments depending on many parameters evolving in real time. In this context, none of the aforementioned approaches is fully satisfactory, which lead us to propose a combined methodology in order to point out suspicious behaviours more efficiently. We illustrate this approach by studying a non deterministic scenario involving a vehicle, which has to react to some perilous situation

Estimating Acceleration and Lane-Changing Dynamics Based on NGSIM Trajectory Data

The NGSIM trajectory data sets provide longitudinal and lateral positional information for all vehicles in certain spatiotemporal regions. Velocity and acceleration information cannot be extracted directly since the noise in the NGSIM positional information is greatly increased by the necessary numerical differentiations. We propose a smoothing algorithm for positions, velocities and accelerations that can also be applied near the boundaries. The smoothing time interval is estimated based on velocity time series and the variance of the processed acceleration time series. The velocity information obtained in this way is then applied to calculate the density function of the two-dimensional distribution of velocity and inverse distance, and the density of the distribution corresponding to the ``microscopic'' fundamental diagram. Furthermore, it is used to calculate the distributions of time gaps and times-to-collision, conditioned to several ranges of velocities and velocity differences. By simulating virtual stationary detectors we show that the probability for critical values of the times-to-collision is greatly underestimated when estimated from single-vehicle data of stationary detectors. Finally, we investigate the lane-changing process and formulate a quantitative criterion for the duration of lane changes that is based on the trajectory density in normalized coordinates. Remarkably, there is a very noisy but significant velocity advantage in favor of the targeted lane that decreases immediately before the change due to anticipatory accelerations

Hypertensive response to exercise in adult patients with repaired aortic coarctation

OBJECTIVE: The clinical and prognostic implications of a hypertensive response to exercise after repair of coarctation of the aorta (CoA) remain controversial. We aimed to determine the prevalence of a hypertensive response to exercise, identify factors associated with peak exercise systolic blood pressure (SBP) and explore the association of peak exercise SBP with resting blood pressure and cardiovascular events during follow-up. METHODS: From the Dutch national CONgenital CORvitia (CONCOR) registry, adults with repaired CoA who underwent exercise stress testing were included. A hypertensive response to exercise was defined as a peak exercise SBP ≥210 mm Hg in men and ≥190 mm Hg in women. Cardiovascular events consisted of coronary artery disease, stroke, aortic complications and cardiovascular death. RESULTS: Of the original cohort of 920 adults with repaired CoA, 675 patients (median age 24 years (range 16-72 years)) underwent exercise stress testing. Of these, 299 patients (44%) had a hypertensive response to exercise. Mean follow-up duration was 10.1 years. Male sex, absence of a bicuspid aortic valve and elevated resting SBP were independently associated with increased peak exercise SBP. Peak exercise SBP was positively predictive of office SBP (β=0.11, p<0.001) and 24-hour SBP (β=0.05, p=0.03) at follow-up, despite correction for baseline SBP. During follow-up, 100 patients (15%) developed at least 1 cardiovascular event. Peak exercise SBP was not significantly associated with the occurrence of cardiovascular events (HR 0.994 (95% CI 0.987 to 1.001), p=0.11). CONCLUSIONS: A hypertensive response to exercise was present in nearly half of the patients in this large, prospective cohort of adults with repaired CoA. Risk factors for increased peak exercise SBP were male sex, absence of a bicuspid aortic valve and elevated resting SBP. Increased peak exercise SBP independently predicted hypertension at follow-up. These results support close follow-up of patients with a hypertensive response to exercise to ensure timely diagnosis and treatment of future hypertension

Development and implementation of a vehicle-pedestrian conflict analysis method: Adaptation of a vehicle-vehicle technique

This paper examines the development, use, and evaluation of a new traffic conflict analysis technique that specifically addresses pedestrian-vehicle conflicts with the intention of being applicable to shared-space environments. The method is based on an existing, well-established, and widely used vehicle-vehicle conflict analysis technique, but is adapted to consider the movement of pedestrians, which differs significantly from that of vehicles. The new method is then implemented on the Exhibition Road site of West London with the use of video data collected from locations with a potentially high concentration of vehicle-pedestrian conflicts, and the results of the analysis are presented. Finally, the results are compared with those obtained by other conflict analysis techniques and also against accident data to assess not only the accuracy but also the functionality of the new technique

Survival of massive allografts in segmental oncological bone defect reconstructions

Reconstructions of large segmental bone defects after resection of bone tumours with massive structural allografts have a high number of reported complications including fracture, infection and non-union. Our goal is to report the survival and complications of massive allografts in our patients. A total of 32 patients were evaluated for fracture, infection, non-union rate and survival of their massive allograft reconstructions. The average follow-up for this group was five years and three months. The total fracture rate was 13% with a total infection rate of 16%. We found a low union rate of 25%. The total survival of the allografts was 80.8% (± 18.7%) after five years. We found a five-year allograft survival of 80.8% which is comparable with other studies

Cardiovascular morbidity and mortality in adult patients with repaired aortic coarctation

BACKGROUND: The long‐term burden of cardiovascular disease after repair of coarctation of the aorta (CoA) has not been elucidated. We aimed to determine the incidence of and risk factors for cardiovascular events in adult patients with repaired CoA. Additionally, mortality rates were compared between adults with repaired CoA and the general population. METHODS AND RESULTS: Using the Dutch Congenital Corvitia (CONCOR) registry, patients aged ≥16 years with previous surgical or transcatheter CoA repair from 5 tertiary referral centers were included. Cardiovascular events were recorded, comprising coronary artery disease, stroke/transient ischemic attack, aortic complications, arrhythmias, heart failure hospitalizations, endocarditis, and cardiovascular death. In total, 920 patients (median age, 24 years [range 16–74 years]) were included. After a mean follow‐up of 9.3±5.1 years, 191 patients (21%) experienced at least 1 cardiovascular event. A total of 270 cardiovascular events occurred, of which aortic complications and arrhythmias were most frequent. Older age at initial CoA repair (hazard ratio [HR], 1.017; 95% CI, 1.000–1.033 [P=0.048]) and elevated left ventricular mass index (HR, 1.009; 95% CI, 1.005–1.013 [P<0.001]) were independently associated with an increased risk of cardiovascular events. The mortality rate was 3.3 times higher than expected based on an age‐ and sex‐matched cohort from the Dutch general population (standardized mortality ratio, 3.3; 95% CI, 2.3–4.4 [P<0.001]). CONCLUSIONS: This large, prospective cohort of adults with repaired CoA showed a high burden of cardiovascular events, particularly aortic complications and arrhythmias, during long‐term follow‐up. Older age at initial CoA repair and elevated left ventricular mass index were independent risk factors for the occurrence of cardiovascular events. Mortality was 3.3‐fold higher compared with the general population. These results advocate stringent follow‐up after CoA repair and emphasize the need for improved preventive strategies

Three-dimensional reconstruction of myocardial contrast perfusion from biplane cineangiograms by means of linear programming techniques

The assessment of coronary flow reserve from the instantaneous distribution of the contrast agent within the coronary vessels and myocardial muscle at the control state and at maximal flow has been limited by the superimposition of myocardial regions of interest in the two-dimensional images. To overcome these limitations, we are in the process of developing a three-dimensional (3D) reconstruction technique to compute the contrast distribution in cross sections of the myocardial muscle from two orthogonal cineangiograms. To limit the number of feasible solutions in the 3D-reconstruction space, the 3D-geometry of the endo- and epicardial boundaries of the myocardium must be determined. For the geometric reconstruction of the epicardium, the centerlines of the left coronary arterial tree are manually or automatically traced in the biplane views. Next, the bifurcations are detected automatically and matched in these two views, allowing a 3D-representation of the coronary tree. Finally, the circumference of the left ventricular myocardium in a selected cross section can be computed from the intersection points of this cross section with the 3D coronary tree using B-splines. For the geometric reconstruction of the left ventricular cavity, we envision to apply the elliptical approximation technique using the LV boundaries defined in the two orthogonal views, or by applying more complex 3D-reconstruction techniques including densitometry. The actual 3D-reconstruction of the contrast distribution in the myocardium is based on a linear programming technique (Transportation model) using cost coefficient matrices. Such a cost coefficient matrix must contain a maximum amount of a priori information, provided by a computer generated model and updated with actual data from the angiographic views. We have only begun to solve this complex problem. However, based on our first experimental results we expect that the linear programming approach with advanced cost coefficient matrices and computed model will lead to a

Quality of life in SCN1A-related seizure disorders across the lifespan.

This cohort study aims to describe the evolution of disease features and health-related quality of life per life stage in Dravet syndrome and other SCN1A-related non-Dravet seizure disorders which will enable treating physicians to provide tailored care. Health-related quality of life and disease features were assessed cross-sectionally in participants with a SCN1A-related seizure disorder, categorized per age group for Dravet syndrome, and longitudinally over seven years follow-up (2015-2022). Data were collected from questionnaires, medical records, and semi-structured telephonic interviews. Health-related quality of life was measured with the Paediatric Quality of Life Inventory, proxy-reported for participants with Dravet syndrome and for participants with non-Dravet aged younger than 18 years old and self-reported for participants with non-Dravet over 18 years old. Associations between health-related quality of life and disease features were explored with multivariable regression analyses, cross-sectionally in a cohort of 115 patients with Dravet and 48 patients with generalized epilepsy with febrile seizures plus and febrile seizures (non-Dravet) and longitudinally in a cohort of 52 Dravet patients and 13 non-Dravet patients. In the cross-sectional assessment in 2022, health-related quality of life was significantly lower in Dravet syndrome, compared to non-Dravet and normative controls. Health-related quality of life in the School and Psychosocial domain was significantly higher in older Dravet age groups. A higher health-related quality of life was associated with fewer behavioural problems [ β = -1.1; 95% confidence interval (CI), (-1.4 to -0.8)], independent walking ( β = 8.5; 95%CI (4.2-12.8)), compared to the use of a wheelchair), and fewer symptoms of autonomic dysfunction ( β = -2.1, 95%CI (-3.2 to -1.0)). Longitudinally, health-related quality of life was significantly higher seven years later in the course of disease in Dravet participants (Δ8.9 standard deviation (SD) 18.0, P < 0.05), mediated by a lower prevalence of behavioural problems ( β = -1.2, 95%CI (-2.0 to -0.4)), lower seizure frequency ( β = -0.1, 95%CI (-0.2 to -0.0)) and older age ( β = 0.03, 95%CI (0.01-0.04)). In summary, health-related quality of life was significantly higher at older age in Dravet syndrome. This finding may reflect the benefits of an advanced care strategy in recent years and a ceiling of severity of disease symptoms, possibly resulting in an increased wellbeing of parents and patients. The strong association with behavioural problems reinforces the need to incorporate a multidisciplinary approach, tailored to the age-specific needs of this patient group, into standard care

Gastrointestinal and eating problems in SCN1A-related seizure disorders

Objective: Our study aimed to describe the prevalence and characteristics of gastrointestinal and eating problems in Dravet syndrome (DS) and other SCN1A-related seizure disorders and to determine the association between the occurrence of gastrointestinal and eating problems and core features of DS. Methods: Gastrointestinal and eating problems were assessed with a questionnaire in a Dutch cohort of participants with an SCN1A-related seizure disorder. Associations between the number of gastrointestinal and eating problems and core features of DS, seizure severity, level of intellectual disability, impaired mobility, behavioral problems, and use of anti-seizure medication, were explored by multivariate ordinal regression analyses. Symptoms were divided into the categories dysphagia-related, behavioral, and gastrointestinal, and were assessed separately. Results: One hundred sixty-nine participants with an SCN1A-related seizure disorder, of whom 118 (69.8%) with DS and 51 (30.2%) with Generalized Epilepsy with Febrile Seizures Plus / Febrile Seizures (GEFS+/FS), the non-DS phenotype, were evaluated. Gastrointestinal and eating problems were highly prevalent in DS participants, 50.8% had more than three symptoms compared to 3.9% of non-DS participants. Of participants with DS, 17.8% were fully or partly fed by a gastric tube. Within the three different symptom categories, the most prevalent dysphagia-related symptom was drooling (60.7%), distraction during mealtimes (61.4%) the most prevalent behavioral symptom, and constipation and loss of appetite (both 50.4%) the most prevalent gastrointestinal symptoms. DS participants who use a wheelchair (odds ratio (OR) 4.9 95%CI (1.9–12.8) compared to walking without aid), who use ≥3 anti-seizure medications (ASM) (OR 5.9 95%CI (1.9–18.2) compared to <3 ASM) and who have behavioral problems (OR 3.0 95%CI (1.1–8.1) compared to no behavioral problems) had more gastrointestinal and eating problems. Conclusion: Gastrointestinal and eating problems are frequently reported symptoms in DS. Distinguishing between symptom categories will lead to tailored management of patients at risk, will improve early detection, and enable a timely referral to a dietitian, behavioral expert, and/or speech therapist, ultimately aiming to improve the quality of life of both patients and caregivers