Brief paperOptimal position and velocity navigation filters for autonomous vehicles☆
Introduction
Navigation and Positioning Systems play a key role in the development of a large variety of mobile platforms for land, air, space, and marine applications. In the domain of marine research, for instance, the quality of the navigation data is a fundamental requirement in applications that range from ocean sonar surveying to ocean data acquisition or sample collection, as the acquired data sets should be properly geo-referenced with respect to a given mission reference point. For control purposes other quantities such as the attitude of the vehicle and/or the linear and angular velocities are also commonly required. This paper presents a set of optimal time-varying filtering solutions for a class of kinematic systems with direct application to the estimation of linear motion quantities in accurate Integrated Navigation Systems.
To tackle this class of problems several approaches have been proposed in the literature. In Fossen and Grøvlen (1998) a globally exponentially stable (GES) nonlinear control law is presented for ships, in two dimensions, which includes a nonlinear observer to provide the state of the vehicle. This observer relies on the vehicle dynamics but, as discussed in Robertsson and Johansson (1998), it does not apply to unstable ships. In the latter a solution to an extended class of ships is proposed requiring only stable surge dynamics. In Fossen and Strand (1999) a GES observer for ships (in two dimensions) that includes features such as wave filtering and bias estimation is presented and in Nijmeijer and Fossen (1999) an extension to this result with adaptive wave filtering is available. An alternative filter was proposed in Pascoal, Kaminer, and Oliveira (2000) where the problem of estimating the velocity and position of an autonomous vehicle in three dimensions was solved by resorting to special bilinear time-varying complementary filters. More recently, a pair of coworking nonlinear Luenberger GES observers for autonomous underwater vehicles (AUVs), in 3D, was proposed in Refsnes, Sorensen, and Pettersen (2006), which also elaborates on the destabilizing Coriolis and centripetal forces and moments. However, this last approach assumes, among others, limited pitch angles. A more complete survey on the subject of underwater vehicle navigation can be found in Kinsey, Eustice, and Whitcomb (2006). General drawbacks of the above-mentioned results include the absence of systematic tuning procedures and the inherent limitations of the vehicle dynamic models, which are seldom known in full detail and may be subject to variations over time. Previous work by the authors can be found in Batista, Silvestre, and Oliveira (2008).
The main contribution of this paper is a new filtering design methodology for a class of kinematic systems with application to the estimation of linear quantities (position, linear velocity, ocean current, and gravity acceleration) in Integrated Navigation Systems that
- (i)
presents globally exponentially stable error dynamics which are also globally input-to-state stable (ISS) with respect to disturbances on the key quantities;
- (ii)
is optimal with respect to disturbances arising from all sensors but the Attitude and Heading Reference System (AHRS);
- (iii)
provides a systematic design procedure based upon well known filtering results, that allows for the use of frequency weights to shape the dynamic response of the filter;
- (iv)
includes a limit filtering solution that is computationally efficient and therefore appropriate for implementation in low-cost, low-power hardware.
The paper is organized as follows. The motivation behind the work is presented in Section 2, whereas the theoretical background that supports the navigation solutions proposed in the paper is presented in Section 3. Simulation results are included, in Section 4, that illustrate the achievable performance of the proposed solutions in the presence of extreme environmental disturbances and realistic measurement noise. Finally, Section 5 summarizes the main contributions of the paper.
Notation and definitions: Throughout the paper the symbol denotes an matrix of zeros, an identity matrix with dimension , and a block diagonal matrix. When omitted the matrices are assumed of appropriate dimensions. The Special Orthogonal Group is denoted by and the usual Hilbert space of square integrable functions is denoted by .
Section snippets
Position and ocean current estimation
The first example provided in this section revisits the problem originally described in Batista, Silvestre, and Oliveira (2006). Consider an underwater vehicle equipped with an acoustic positioning system like an Ultra-Short Baseline (USBL) positioning sensor and suppose that there is a moored buoy in the mission scenario where an acoustic transponder is installed. The position of the transponder with respect to the vehicle is available, in body-fixed coordinates, as measured by the USBL sensor
Filter design
This section presents the kinematic filter design methodologies that support the navigation solutions proposed in the paper. The class of system dynamics is introduced in Section 3.1, whereas the Kalman filter for such systems is derived in Section 3.2. The optimal filter is presented in Section 3.3 and finally some properties and alternative solutions are discussed in Section 3.4.
Simulation results
To illustrate the performance of the proposed solutions for the estimation of linear motion quantities, a simulation was carried out with the underwater vehicle SIRENE, see Silvestre, Aguiar, Oliveira, and Pascoal (1998). The present case refers to the first problem described in the paper, in Section 2.1, where the AUV is equipped with an USBL, an AHRS, and a DVL. The goal is to estimate the position of a buoy, where an acoustic transponder is installed, and a constant unknown ocean current.
Conclusions
Navigation Systems are a key component in the design of a great variety of vehicular applications. This paper presented the design and performance evaluation of a set of globally asymptotically stable time-varying optimal kinematic filters with applications to the estimation of linear motion quantities of mobile platforms (position, linear velocity, ocean current velocity, and acceleration) in three dimensions. The proposed solutions are based on the Kalman and optimal filters for linear
Pedro Batista received, in 2005, the Licenciatura degree in Electrical and Computer Engineering from Instituto Superior Técnico (IST), Lisbon, Portugal, where he is currently pursuing the Ph.D. degree in the same field. From 2004 to 2006 he was Monitor in the Department of Mathematics of IST and he has also received the Diploma de Mérito twice during his graduation. His research interests include sensor-based navigation and control of autonomous vehicles.
References (16)
- et al.
Passive nonlinear observer design for ships using Lyapunov methods: Full-scale experiments with a supply vessel
Automatica
(1999) - et al.
Optimal filtering
(1995) - Batista, P., Silvestre, C., & Oliveira, P. (2006). A quaternion sensor based controller for homing of underactuated...
- Batista, P., Silvestre, C., & Oliveira, P. (2008). Kalman and H∞ optimal filtering for a class of kinematic systems. In...
Finite dimensional linear systems
(1970)- et al.
Nonlinear output feedback control of dynamically positioned ships using vectorial observer backstepping
IEEE Transactions on Control Systems Technology
(1998) - Kinsey, J., Eustice, R., & Whitcomb, L. (2006). A survey of underwater vehicle navigation: Recent advances and new...
Cited by (0)
Pedro Batista received, in 2005, the Licenciatura degree in Electrical and Computer Engineering from Instituto Superior Técnico (IST), Lisbon, Portugal, where he is currently pursuing the Ph.D. degree in the same field. From 2004 to 2006 he was Monitor in the Department of Mathematics of IST and he has also received the Diploma de Mérito twice during his graduation. His research interests include sensor-based navigation and control of autonomous vehicles.
Carlos Silvestre received the Licenciatura degree in Electrical Engineering from the Instituto Superior Técnico (IST) of Lisbon, Portugal, in 1987 and the M.Sc. degree in Electrical Engineering and the Ph.D. degree in Control Science from the same school in 1991 and 2000, respectively. Since 2000, he is with the Department of Electrical Engineering of Instituto Superior Técnico, where he is currently an Assistant Professor of Control and Robotics. Over the past years, he has conducted research on the subjects of vehicle and mission control of air and underwater robots. His research interests include linear and nonlinear control theory, coordinated control of multiple vehicles, gain scheduled control, integrated design of guidance and control systems, inertial navigation systems, and mission control and real time architectures for complex autonomous systems with applications to unmanned air and underwater vehicles.
Paulo Oliveira completed the Ph.D. in 2002 from the Instituto Superior Técnico, Lisbon, Portugal. He is an Assistant Professor of the Department of Electrical Engineering and Computers of the Instituto Superior Técnico, Lisbon, Portugal and researcher in the Institute for Systems and Robotics - Associated Laboratory, Lisbon, Portugal. The areas of scientific activity are Robotics and Autonomous Vehicles with special focus on the fields of Sensor Fusion, Navigation, Positioning, and Signal Processing. He participated in more than 15 Portuguese and European Research projects, in the last 20 years.
- ☆
This work was partially supported by Fundação para a Ciência e a Tecnologia (ISR/IST plurianual funding), by the projects PDCT/MAR/ 55609/2004-RUMOS and PTDC/MAR/ 64546/2006-OBSERVFLY of the FCT, and by the EU Project TRIDENT (Contract No. 248497). The material in this paper was partially presented at the 17th IFAC World Congress, July 2008, South Korea. This paper was recommended for publication in revised form by Associate Editor Masaki Yamakita under the direction of Editor Toshiharu Sugie. The work of P. Batista was supported by a Ph.D. Student Scholarship from the POCTI Programme of FCT, SFRH/BD/ 24862/2005.