Position USBL/DVL sensor-based navigation filter in the presence of unknown ocean currents

This paper presents a novel approach to the design of globally asymptotically stable (GAS) position and velocity filters for Autonomous Underwater Vehicles (AUVs) based directly on the sensor readings of an Ultra-short Baseline (USBL) acoustic array system and a Doppler Velocity Log (DVL). The proposed methodology is based on an equivalent linear time-varying (LTV) system that fully captures the dynamics of the nonlinear system, allowing for the use of powerful linear system analysis and filtering design tools that yield GAS filter error dynamics. Numerical results using Monte Carlo simulations and comparison to the Bayesian Cramér Rao Bound (BCRB) reveal that the performance of the proposed filter is tight to this theoretical estimation error lower bound. In comparison with other approaches, the present solution achieves the same level of performance of the Extended Kalman Filter (EKF), which does not offer GAS guarantees, and outperforms other classical filtering approaches designed in inertial coordinates instead of the body-fixed coordinate frame.     

Active fault tolerant control of discrete event systems using online diagnostics

The aim of this paper is to deal with the problem of fault tolerant control in the framework of discrete event systems modeled as automata. A fault tolerant controller is a controller able to satisfy control specifications both in nominal operation and after the occurrence of a fault. This task is solved by means of a parameterized controller that is suitably updated on the basis of the information provided by online diagnostics: the supervisor actively reacts to the detection of a malfunctioning component in order to eventually meet degraded control specifications. Starting from an appropriate model of the system, we recall the notion of safe diagnosability as a necessary step in order to achieve fault tolerant control. We then introduce two new notions: (i) “safe controllability”, which represents the capability, after the occurrence of a fault, of steering the system away from forbidden zones and (ii) “active fault tolerant system”, which is the property of safely continuing operation after faults. Finally, we show how the problem can be solved using a general control architecture based on the use of special kind of diagnoser, called “diagnosing controller”, which is used to safely detect faults and to switch between the nominal control policy and a bank of reconfigured control policies. A simple example is used to illustrate the new notions and the control architecture introduced in the paper.     

Stabilization of linear systems over networks with bounded packet loss and its use in model predictive control

This paper considers stabilization of discrete-time linear systems, where network exists for transmitting the sensor and controller information, and arbitrary bounded packet loss occurs in the sensor–controller link and the controller–actuator link. The stabilization of this system is transformed into the robust stabilization of a set of systems. The stability result for this system is specially applied on model predictive control (MPC) that explicitly considers the satisfaction of input and state constraints. Two synthesis approaches of MPC are presented, one parameterizing the infinite horizon control moves into a single state feedback law, the other into a free control move followed by the single state feedback law. Two simulation examples are given to illustrate the effectiveness of the proposed techniques.     

Using hash tables to manage the time-storage complexity in a point location problem: Application to explicit model predictive control

The online computational burden of linear model predictive control (MPC) can be moved offline by using multi-parametric programming, so-called explicit MPC. The solution to the explicit MPC problem is a piecewise affine (PWA) state feedback function defined over a polyhedral subdivision of the set of feasible states. The online evaluation of such a control law needs to determine the polyhedral region in which the current state lies. This procedure is called point location; its computational complexity is challenging, and determines the minimum possible sampling time of the system. A new flexible algorithm is proposed which enables the designer to trade off between time and storage complexities. Utilizing the concept of hash tables and the associated hash functions, the proposed method solves an aggregated point location problem that overcomes prohibitive complexity growth with the number of polyhedral regions, while the storage–processing trade-off can be optimized via scaling parameters. The flexibility and power of this approach is supported by several numerical examples.     

Certifying spatially uniform behavior in reaction–diffusion PDE and compartmental ODE systems

We present a condition that guarantees spatial uniformity for the asymptotic behavior of the solutions of a reaction–diffusion PDE with Neumann boundary conditions. This condition makes use of the Jacobian matrix of the reaction terms and the second Neumann eigenvalue of the Laplacian operator on the given spatial domain, and eliminates the global Lipschitz assumptions commonly used in mathematical biology literature. We then derive numerical procedures that employ linear matrix inequalities to certify this condition, and illustrate these procedures on models of several biochemical reaction networks. Finally, we present an analog of this PDE result for the synchronization of a network of identical ODE models coupled by diffusion terms. From a systems biology perspective, the main contribution of the paper is to blend analytical and numerical tools from nonlinear systems and control theory to derive a relaxed and verifiable condition for spatial uniformity of biological processes.     

An adaptive learning regulator for uncertain minimum phase systems with undermodeled unknown exosystems

The design of an adaptive learning regulator is addressed for uncertain minimum phase linear systems (with known bounds, known upper bound on system order, known relative degree, known high frequency gain sign) and for unknown exosystems (with unknown order, uncertain frequencies). On the basis of a known bound on system uncertainties and a known bound on the modeled exosystem frequencies, a new adaptive output error feedback control algorithm is proposed which guarantees exponential convergence of both the output and the control input errors into residual bounds which decrease as the exosystem modeling error decreases. Exponential convergence of both errors to zero is obtained when the regulator exactly models all exosystem excited frequencies, while asymptotic convergence of both errors to zero is achieved when the actual exosystem is overmodeled by the regulator. The new algorithm generalizes existing learning controllers since, in the case of periodic references and/or disturbances, the knowledge of the period is not required.     

Improving the state estimation for optimal control of stochastic processes subject to multiplicative noise

Computational models for the neural control of movement must take into account the properties of sensorimotor systems, including the signal-dependent intensity of the noise and the transmission delay affecting the signal conduction. For this purpose, this paper presents an algorithm for model-based control and estimation of a class of linear stochastic systems subject to multiplicative noise affecting the control and feedback signals. The state estimator based on Kalman filtering is allowed to take into account the current feedback to compute the current state estimate. The optimal feedback control process is adapted accordingly. The resulting estimation error is smaller than the estimation error obtained when the current state must be predicted based on the last feedback signal, which reduces variability of the simulated trajectories. In particular, the performance of the present algorithm is good in a range of feedback delay that is compatible with the delay induced by the neural transmission of the sensory inflow.     

Sensorless supervision of linear dynamical systems: The Feed-Forward Command Governor approach

This paper proposes a novel class of Command Governor (CG) strategies for input and state-related constrained discrete-time LTI systems subject to bounded disturbances in the absence of explicit state or output measurements. While in traditional CG schemes the set-point manipulation is undertaken on the basis of either the actual measure of the state or its suitable estimation, it is shown here that the CG design problem can be solved, with limited performance degradation and with similar properties, also in the case that such an explicit measure is not available. This approach, which will be referred to as the Feed-Forward CG (FF-CG) approach, may be a convenient alternative CG solution in all situations whereby the cost of measuring the state may be a severe limitation, e.g. in distributed or decentralized applications. In order to evaluate the method proposed here, numerical simulations on a physical example have been undertaken and comparisons with the standard state-based CG solution reported.     

Partial-realization theory for linear switched systems —A formal power series approach

The paper presents partial-realization theory and a realization algorithm for linear switched systems. The results are similar to partial-realization theory of linear and bilinear systems. Our main tool is the theory of rational formal power series.