Dans cette thèse, nous aborderons deux aspects fondamentaux qui se posent dans les systèmes de commande modernes du fait de l'interaction entre des processus en temps continu et des dispositifs numériques: la synthèse de lois de commande en présence de quantificateurs et l'estimation d'état en présence de mesures sporadiques. Une des caractéristiques principales de cette thèse consiste également à proposer des méthodes constructives pour résoudre les problèmes envisagés. Plus précisément, pour répondre à cette exigence, nous allons nous tourner vers une approche basée sur les inégalités matricielles linéaires (LMI). Dans la première partie de la thèse, nous proposons un ensemble d'outils constructifs basés sur une approche LMI, pour l'analyse et la conception de systèmes de commande quantifiés impliquant des modèles et des correcteurs linéaires. L'approche est basée sur l'utilisation des inclusions différentielles qui permet de modéliser finement le comportement de la boucle fermée et ainsi d'obtenir des résultats intéressants. Dans la seconde partie de la thèse, inspirés par certains schémas d'observation classiques présentés dans la littérature, nous proposons deux observateurs pour l'estimation de l'état d'un système linéaire en présence de mesures sporadiques, c'est-à-dire prenant en compte la nature discrète des mesures disponibles. De plus, en se basant sur une des deux solutions présentées, une architecture de commande basée observateur est proposée afin de stabiliser asymptotiquement un système linéaire en présence à la fois de mesures sporadiques et d'un accès intermittent à l'entrée de commande du système. / In this dissertation, two fundamental aspects arising in modern engineered control systems will be addressed:On the one hand, the presence of quantization in standard control loops. On the other hand, the state estimation in the presence of sporadic available measurements. These two aspects are addressed in two different parts. One of the main feature of this thesis consists of striving to derive computer-aided tools for the solution to the considered problems. Specifically, to meet this requirement, we revolve on a linear matrix inequalities (LMIs) approach. In the first part, we propose a set of LMI-based constructive Lyapunov-based tools for the analysis and the design of quantized control systems involving linear plants and linear controllers. The entire treatment revolves on the use of differential inclusions as modeling tools, and on stabilization of compact sets as a stability notion. In the second part of the thesis, inspired by some of the classical observation schemes presented in the literature of sampled-data observers, we propose two observers to exponentially estimate the state of a linear system in the presence of sporadic measurements. In addition, building upon one of the two observers, an observer-based controller architecture is proposed to asymptotically stabilize a linear plant in the presence of sporadic measurements and intermittent input access.

Though multirotor unmanned aerial vehicles (UAVs) have become widely used during the past decade, challenges in autonomy have prevented their widespread use when moving vehicles act as their base stations. Emerging use cases, including maritime surveillance, package delivery and convoy support, require UAVs to autonomously operate in this scenario. This thesis presents improved solutions to both the state estimation and control problems that must be solved to enable robust, autonomous landing of multirotor UAVs onto moving vehicles.Current state-of-the-art UAV landing systems depend on the detection of visual fiducial markers placed on the landing target vehicle. However, in challenging conditions, such as poor lighting, occlusion, or extreme motion, these fiducial markers may be undected for significant periods of time. This thesis demonstrates a state estimation algorithm that tracks and estimates the locations of unknown visual features on the target vehicle. Experimental results show that this method significantly improves the estimation of the state of the target vehicle while the fiducial marker is not detected.This thesis also describes an improved control scheme that enables a multirotor UAV to accurately track a time-dependent trajectory. Rooted in Lie theory, this controller computes the optimal control signal based on an error-state formulation of the UAV dynamics. Simulation and hardware experiments of this control scheme show its accuracy and computational efficiency, making it a viable solution for use in a robust landing system.

<p dir="ltr">Resilient engine operation hugely depends on proper functioning of the engine’s sensors, enabling efficient feedback control of the engine systems operation. When the sensors on the engine measure a physical quantity incorrectly, it leads the engine control system to determine that the sensor measuring the physical quantity has failed. This failure may be attributed to a sensor stick failure, bias failure, drift failure, or failure occurring due to physical wear and tear of the sensor. Failure of crucial engine sensors may have adverse effects on engine operation, and in most cases leading into a limp home mode or a torque limitation mode. This affects the engine performance and efficiency. The engine under study in this work is a medium duty marine engine with diesel fuel. Sensor failures in the middle of a marine operation can hugely impact its mission. Therefore, fault tolerant control systems are essential to counter these challenges occurring due to sensor failures. In this thesis, an advanced nonlinear fault detection and state estimation algorithm is developed and implemented on a GT-Power engine model, employing a sophisticated co-simulation approach. The focus is on a 6.7L Cummins diesel engine, for which a detailed nonlinear state space model is constructed. This model accurately replicates critical engine parameters, such as pressures, temperatures, and engine speed, by integrating various submodels. These sub-models estimate key parameters like cylinder inlet charge flow, valve flow, cylinder outlet temperature, turbocharger turbine flow, and charge air cooler flow. To assess the model’s accuracy and reliability, it is rigorously validated against a truth reference GT-Power engine model. The results demonstrate exceptional performance, with the nonlinear model exhibiting a minimal percentage performance error of less than 5% under steady-state conditions and less than 15% during transient conditions. The core of the Fault Detection and State Estimation (FDSE) modules consists of a bank of Extended Kalman Filters (EKF). These filters are meticulously designed to estimate vital engine states, generate residuals, and assess these residuals even in the presence of process and measurement noise. This approach enables the detection of sensor faults and facilitates controller reconfiguration, ensuring the engine’s robustness in the face of unexpected sensor failures. Crucially, the nonlinear physics-based model serves as the foundation for the state transition functions utilized in the design of the observer bank. Residuals generated by the EKFs are evaluated using both fixed and adaptive thresholding techniques masking the sensor faults at the time step at which it is detected, ensuring robust performance not only in steady-state conditions but also during varying transient load conditions. To comprehensively evaluate the system’s resilience in practical scenarios, multiple sensor stuck failures are introduced into the GT-Power model. A software-in-the-loop co-simulation strategy is meticulously established, employing both the GT-Power truth reference engine model and the nonlinear Fault Detection and State Estimation (FDSE) model within the Simulink environment. This unique co-simulation approach provides a platform to assess the FDSE performance and its effect on engine performance in simulated sensor fault scenarios. The FDSE module is able to detect sensor failures which deviate at least 5% from their actual values. The percentage estimation error is less than 10% under steady state conditions and less than 20% under transient load conditions. Ultimately, this process creates analytical redundancy, not only forming the basis of state estimation but also empowering the engine to maintain its performance in the presence of sensor faults.</p>

<p dir="ltr">State estimation is a type of an <i>inverse problem</i> in which some amount of observed data needs to be processed using computer algorithms (which are designed using analytical techniques) to infer or reconstruct the underlying model that produced the data. Due to the ubiquity of data and interconnected control systems in the present day, many engineering domains have become replete with inverse problems that can be formulated as state estimation problems. The interconnectedness of these control systems imparts the associated state estimation problems with distinctive structural properties that must be taken into consideration. For instance, the observed data could be high-dimensional and have a dependency structure that is best described by a graph. Furthermore, the control systems of today interface with each other and with the internet, bringing in new possibilities for large-scale collaborative sensor fusion, while also (potentially) introducing new sources of disturbances, faults, and cyberattacks. </p><p dir="ltr">The main thesis of this document is to investigate the unique challenges related to the issues of robustness, resilience (to faults and cyberattacks), and scalability of state estimation algorithms. These correspond to research questions such as, <i>"Does the state estimation algorithm retain its performance when the measurements are perturbed by unknown disturbances or adversarial inputs?"</i> and <i>"Does the algorithm have any bottlenecks that restrict the size/dimension of the problems that it could be applied to?".</i> Most of these research questions are motivated by a singular domain of application: autonomous navigation of unmanned aerial vehicles (UAVs). Nevertheless, the mathematical methods and research philosophy employed herein are quite general, making the results of this document applicable to a variety of engineering tasks, including anomaly detection in time-series data, autonomous remote sensing, traffic monitoring, coordinated motion of dynamical systems, and fault-diagnosis of wireless sensor networks (WSNs), among others.</p>

As the capabilities of autonomous systems have increased so has interest in utilizing teams of autonomous systems to accomplish tasks more efficiently. This dissertation takes steps toward enabling the cooperation of unmanned systems in scenarios that are challenging, such as GPS-denied or perceptually aliased environments. This work begins by developing a cooperative navigation framework that is scalable in the number of agents, robust against communication latency or dropout, and requires little a priori information. Additionally, this framework is designed to be easily adopted by existing single-agent systems with minimal changes to existing software and software architectures. All systems in the framework are validated through Monte Carlo simulations. The second part of this dissertation focuses on making cooperative navigation robust in challenging environments. This work first focuses on enabling a more robust version of pose graph SLAM, called cycle-based pose graph optimization, to be run in real-time by implementing and validating an algorithm to incrementally approximate a minimum cycle basis. A new algorithm is proposed that is tailored to multi-agent systems by approximating the cycle basis of two graphs that have been joined. These algorithms are validated through extensive simulation and hardware experiments. The last part of this dissertation focuses on scenarios where perceptual aliasing and incorrect or unknown data association are present. This work presents a unification of the framework of consistency maximization, and extends the concept of pairwise consistency to group consistency. This work shows that by using group consistency, low-degree-of-freedom measurements can be rejected in high-outlier regimes if the measurements do not fit the distribution of other measurements. The efficacy of this method is verified extensively using both simulation and hardware experiments.

No description available.

Traffic State Estimation (TSE) is a vital component in traffic control which requires an accurate viewof the current traffic situation. Since there is no full sensor coverage and the collected measurementsare inflicted with random noise, statistical estimation techniques are necessary to accomplish this.Common methods, which have been used in highway applications for several decades, are state-spacemodels in the form of Kalman Filters and Particle Filters. These methods are forms of BayesianFilters, and rely on transition models to describe the system dynamics, and observation models torelate collected measurements to the current state. Reliable estimation of traffic in urban environmentshas been considered more difficult than in highways owing to the increased complexity.This MsC thesis build upon previous research studying the use of non-parametric Gaussian Processtransition and measurement models in an extended Kalman Filter to achieve short-term TSE. To dothis, models requiring different feature sets are developed and analysed, as well as a hybrid approchcombining non-parametric and parametric models through an analytical mean function based on vehicleconservation law. The data used to train and test the models was collected in a simulated signalizedintersection constructed in SUMO.The presented results show that the proposed method has potential to performing short-term TSE inthis context. A strength in the proposed framework comes from the probabilistic nature of the GaussianProcesses, as it removes the need to manually calibrate the filter parameters of the Kalman Filter. Themean absolute error (MAE) lies between one and five vehicles for estimation of a one hour long dataseries with varying traffic demand. More importantly, the method has desirable characteristics andcaptures short-term fluctuations as well as larger scale demand changes better than a previously proposedmodel using the same underlying framework. In the cases with poorer performance, the methodprovided estimates unrelated to the system dynamics as well as large error bounds. While the causefor this was not determined, several hypotheses are presented and analysed. These results are takento imply that the combination of BF and GP models has potential for short-term TSE in a signalizedintersection, but that more work is necessary to provide reliable algorithms with known bounds. In particular,the relative ease of augmenting an available analytical model, built on conventional knowledgein traffic modelling, with a non-parametric GP is highlighted.

<p>The electric arc furnace (EAF) is a highly energy intensive process used to convert scrap metal into molten steel. The aim of this research is to develop a dynamic model of an industrial EAF process, and investigate its application for optimal EAF operation. This work has three main contributions; the first contribution is developing a model largely based on MacRosty and Swartz (2005) to meet the operation of a new industrial partner (ArcelorMittal Contrecoeur Ouest, Quebec, Canada). The second contribution is carrying out sensitivity analyses to investigate the effect of the scrap components on the EAF process. Finally, the third contribution includes the development of a constrained multi-rate extended Kalman filter (EKF) to infer the states of the system from the measurements provided by the plant.</p> <p>A multi-zone model is developed and discussed in detail. Heat and mass transfer relationships are considered. Chemical equilibrium is assumed in two of the zones and calculated through the minimization of the Gibbs free energy. The most sensitive parameters are identified and estimated using plant measurements. The model is then validated against plant data and has shown a reasonable level of accuracy.</p> <p>Local differential sensitivity analysis is performed to investigate the effect of scrap components on the EAF operation. Iron was found to have the greatest effect amongst the components present. Then, the optimal operation of the furnace is determined through economic optimization. In this case, the trade-off between electrical and chemical energy is determined in order to maximize the profit. Different scenarios are considered that include price variation in electricity, methane and oxygen.</p> <p>A constrained multi-rate EKF is implemented in order to estimate the states of the system using plant measurements. The EKF showed high performance in tracking the true states of the process, even in the presence of a parametric plant-model mismatch.</p> / Master of Applied Science (MASc)

<p>This thesis presents a family of automatic elastic registration methods applicable to single and multimodal images of similar or dissimilar dimensions. These registration algorithms employ a generic dynamic linear elastic continuum mechanics model of the tissue deformation which is discretized using the finite element method. The dynamic deformation model provides spatial and temporal correlation between images acquired from different orientations at different times. First, a volumetric registration algorithm is presented which estimates the deformation field by balancing internal deformation forces of the elastic model against external forces derived from an intensity-based similarity measure between images. The registration is achieved by iteratively solving a reduced form of the dynamic deformation equations in response to image-derived nodal forces. A general approach for automatic deformable image registration is also presented in this thesis which deals with different registration problems within a unified framework irrespective of the image modality and dimension. Using the dynamic deformation model, the problem of deformable image registration is approached as a classical state estimation problem with various image similarity measures providing an observation model. With this formulation, single and multiple-modality, 3D-3D and 3D-2D image registration problems can all be treated within the same framework.The registration is achieved through a Kalman-like filtering process which incorporates information from the deformation model and an observation error computed from an intensity-based similarity measure. Correlation ratio, normalized correlation coefficient, mutual information, modality independent neighborhood descriptor and sum of squared differences between images are similarity/distance measures employed for single and multiple modality image registration in this thesis</p> / Doctor of Philosophy (PhD)

The vision of the smart grid is predicated upon pervasive use of modern digital communication techniques in today's power system. As wide area measurements and control techniques are being developed and deployed for a more resilient power system, the role of communication networks is becoming prominent. Advanced communication infrastructure provides much wider system observability and enables globally optimal control schemes. Wide area measurement and monitoring with Phasor Measurement Units (PMUs) or Intelligent Electronic Devices (IED) is a growing trend in this context. However, the large amount of data collected by PMUs or IEDs needs to be transferred over the data network to control centers where real-time state estimation, protection, and control decisions are made. The volume and frequency of such data transfers, and real-time delivery requirements mandate that sufficient bandwidth and proper delay characteristics must be ensured for the correct operations. Power system dynamics get influenced by the underlying communication infrastructure. Therefore, extensive integration of power system and communication infrastructure mandates that the two systems be studied as a single distributed cyber-physical system. This dissertation proposes a global event-driven co-simulation framework, which is termed as GECO, for interconnected power system and communication network. GECO can be used as a design pattern for hybrid system simulation with continuous/discrete sub-components. An implementation of GECO is achieved by integrating two software packages: PSLF and NS2 into the framework. Besides, this dissertation proposes and studies a set of power system applications which can be only properly evaluated on a co-simulation framework like GECO, namely communication-based distance relay protection, all-PMU state estimation and PMU-based out-of-step protection. All of them take advantage of interplays between the power grid and the communication infrastructure. The GECO experiments described in this dissertation not only show the efficacy of the GECO framework, but also provide experience on how to go about using GECO in smart grid planning activities. / Ph. D.