Beginning with the Pronto4TM Strap-on Autonomy System — a retrofit kit that makes any existing vehicle with a steering wheel a drive-by-wire system — and including a flexible, shared variable software base running on an open architecture system, DesignJug is enhancing its technology by creating a new sensor platform with supporting software that provides input to the team’s Actively Refined Rea...

Autonomous driving in complex urban environments, including traffic merge, four-ways stop, overtaking, etc., requires a very wide range sensorial capabilities, both in angle and distance. This paper presents a vision system, designed to help merging into traffic on two-ways intersections, and able to provide a long detection distance (over 100m) for incoming vehicles. The system is made of two ...

This thesis presents a methodology, architecture, hardware implementation, and results of a system capable of controlling and guiding a hovering vehicle in unknown environments, emphasizing cluttered indoor spaces. Six-axis inertial data and a lowresolution onboard camera yield sufficient information for image processing, Kalman filtering, and novel mapping algorithms to generate a high-perform...

Software testing is a topic of growing importance because of the central role it plays in so many aspects of software engineering, both preand post-delivery. There is strong empirical evidence (Glass, 2002; Leffingwell and Widrig, 2003) that deficient testing of both functional and non-functional properties is one of the major sources of software and system errors. In 2002, NIST estimated the c...

The goal of this study is to address directly the predictive value of birth outputs, particularly birth weight. Specifically, in the context of four birth inputs (maternal smoking, drinking, prenatal care, and maternal weight gain during pregnancy), three birth outputs (gestational age, birth length, and birth weight), and 32 exogenous covariates observed during pregnancy, we investigate the ab...

We study strategy synthesis for stochastic two-player games with multiple objectives expressed as a conjunction of LTL and expected total reward goals. For stopping games, the strategies are constructed from the Pareto frontiers that we compute via value iteration. Since, in general, infinite memory is required for deterministic winning strategies in such games, our construction takes advantage...