We present a methodology for the synthesis of controllers, which exploits (explicit) model checking techniques. That is, we can cope with the systematic exploration of a very large state space. This methodology can be applied to systems where other approaches fail. In particular, we can consider systems with an highly nonlinear dynamics and lacking a uniform mathematical description (model). We...

A control scheme is proposed for stabilization of backward driving along simple paths for a miniaturized vehicle composed of a truck and a two-axle trailer. The paths chosen are straight lines and arcs of circles. When reversing, the truck and trailer under examination can be modeled as an unstable nonlinear system with state and input saturations. The simplified goal of stabilizing along a tra...

This paper presents a set of artificial potential field functions that improves upon, in general, the motion planning and posture control, with theoretically guaranteed point and posture stabilities, convergence and collision avoidance properties of the general3-trailer system in a priori known environment. We basically design and inject two new concepts; ghost walls and the distance optimizati...

IN PREVIOUS REPORTS a method was described for the detection of heart disease in large populations of school children by a tape-recording system in a mobile trailer. Results were presented of the first mass field trial, accomplished in Chicago public elementary school children." 2 Since the presentation of these reports two additional research and developmental studies have been done, with semi...

Tractor-trailer reversing is a classical non-linear control problem in which many of the solutions proposed in the literature perform poorly in the presence of real-world constraints such as steering angle, rate limits and lags. In this paper we describe a new method in which an inner loop controls the hitch-angle of the trailer creating a virtual articulated vehicle to which existing control t...

| This paper 0 deals with motion planning and control for mobile robots. The various components of an integrated architecture for the mobile robot Hilare pulling a trailer are presented. The nonholonomic path planner is based on an original steering method accounting for the small-time controllability of the system. Then the path is transformed into a trajectory by including the dynamical const...

| This paper deals with motion planning and control for mobile robots. The various components of an integrated architecture for the mobile robot Hilare pulling a trailer are presented. The nonholonomic path planner is based on an original steering method accounting for the small-time controllability of the system. Then the path is transformed into a trajectory by including the dynamical constra...

The rollover accidents in the tractor semi-trailer are often fatal and many factors could cause the tractor semitrailer rollover. In this paper, a rollover prevention control method was proposed based on real-time calculation of rollover index. The vehicle Center of Gravity CG height from the ground is an important parameter in the rollover index and it is estimated through lateral acceleration...

We determined the nucleotide (nt) sequence of the small hydrophobic (SH), attachment glycoprotein (G), and RNA polymerase (L) genes, plus the leader and trailer regions of the Colorado strain of Avian metapneumovirus subtype C (aMPV/C) in order to complete the genome sequencing. The complete genome comprised of 13,134 nucleotides, with a 40 nt leader at its 3' end and a 45 nt trailer at its 5' ...