Many systems operate in uncertain, possibly adversarial environments, and their successful operation is contingent upon satisfying specific requirements, optimal performance, and ability to recover from unexpected situations. Examples are prevalent in many engineering disciplines such as transportation, robotics, energy, and biological systems. This thesis studies designing correct, resilient, and optimal controllers for discrete-time complex systems from elaborate, possibly vague, specifications. The first part of the contributions of this thesis is a framework for optimal control of non-deterministic hybrid systems from specifications described by signal temporal logic (STL), which can express a broad spectrum of interesting properties. The method is optimization-based and has several advantages over the existing techniques. When satisfying the specification is impossible, the degree of violation - characterized by STL quantitative semantics - is minimized. The computational limitations are discussed. The focus of second part is on specific types of systems and specifications for which controllers are synthesized efficiently. A class of monotone systems is introduced for which formal synthesis is scalable and almost complete. It is shown that hybrid macroscopic traffic models fall into this class. Novel techniques in modular verification and synthesis are employed for distributed optimal control, and their usefulness is shown for large-scale traffic management. Apart from monotone systems, a method is introduced for robust constrained control of networked linear systems with communication constraints. Case studies on longitudinal control of vehicular platoons are presented. The third part is about learning-based control with formal guarantees. Two approaches are studied. First, a formal perspective on adaptive control is provided in which the model is represented by a parametric transition system, and the specification is captured by an automaton. A correct-by-construction framework is developed such that the controller infers the actual parameters and plans accordingly for all possible future transitions and inferences. The second approach is based on hybrid model identification using input-output data. By assuming some limited knowledge of the range of system behaviors, theoretical performance guarantees are provided on implementing the controller designed for the identified model on the original unknown system.

Dans la quasi-totalité des missions d'observation de la Terre requérant une grande précision de pointage, les micro-vibrations sont le principal élément dégradant les performances de pointage. Les principales sources de micro-perturbations sont les roues et, lorsqu'il y en a, les refroidisseurs cryogéniques. D’autres sources de perturbations sont les propulseurs chimiques, les moteurs pas à pas de l'antenne solaire, les mécanismes d'entraînement,… L'objectif de cette thèse (NPI) est de concevoir et de valider un système de pointage actif de haute précision à base d’actionneurs piézoélectriques capable de rejeter les micro-vibrations au niveau d’un miroir, avec des pénalités de masse et de puissance contrôlées. Les caractéristiques attendues de ce système sont : • une grande bande passante en boucle fermée : typiquement jusqu'à 100 Hz • une faible erreur résiduelle: typiquement inférieure à 50-100 rad (ordre de grandeur approximatif) • un encombrement et une masse faibles (à quantifier au cours de la thèse) • une puissance requise minimale (à optimiser au cours de la thèse) • la modularité • une possible évolution Ce sujet est fortement pluridisciplinaire (mécanique, automatique, optique et instrumentation). Les défis scientifiques de la thèse sont : • la conception d’un système de pointage actif à bande passante élevée avec impact de masse et de volume faible et une puissance requise à minimiser • la commande robuste du système de pointage actif permettant de rejeter des micro-perturbations dont le spectre varie en fonction des phases de la mission • la tenue des performances en précision • la définition d'une méthodologie générique de conception intégrée applicable à d'autres systèmes de pointage (plusieurs degrés de liberté, ...) / On almost all high accuracy pointing Science and Earth observation missions, micro-vibrations are the major contributor to pointing performances degradations (RPE). The main sources of micro-disturbances being the wheels and, when present, the cry-coolers. Other disturbance sources may originate from chemical thrusters, antenna stepper motors, Solar Array Drive Mechanisms (SADM), antenna trimming mechanisms, or payload mechanisms set either inside the sensitive payload, or inside another payload of the same spacecraft. The objective of this NPI is to investigate and validate a high accuracy active pointing system able to reject micro-vibrations at instrument level: • large control bandwidth : typically up to 100Hz • low residual error : typically lower than 50-100nrad (rough order magnitude to be further defined in the frame of this NPI) • low mass and volume impacts • scalable • modular This subject is strongly multidisciplinary (mechanics, control theory, optics and instrumentation). The scientific challenges of the thesis are: • the design of an active pointing system with high bandwidth, low impact of mass and volume and minimized power • the robust control of the active pointing system allowing to reject micro-disturbances whose spectrum varies according to the phases of the mission • obtaining high accuracy performances • the definition of a generic methodology of integrated design applicable to other pointing systems (several degrees of freedom e.g.)

The main objective of this thesis is to apply ideas and techniques from modern control theory, especially from robust state estimation and model validation, to various important problems in computer vision. Robust model validation is used in texture recognition where new approaches for classifying texture samples and segmenting textured images are developed. Also, a new model validation approach to motion primitive recognition is demonstrated by considering the motion segmentation problem for a mobile wheeled robot. A new approach to image inpainting based on robust state estimation is proposed where the implementation presented here concerns with recovering corrupted frames in video sequences. Another application addressed in this thesis based on robust state estimation is video-based tracking. A new tracking system is proposed to follow connected regions in video frames representing the objects in consideration. The system accommodates tracking multiple objects and is designed to be robust towards occlusions. To demonstrate the performance of the proposed solutions, examples are provided where the developed methods are applied to various gray-scale images, colored images, gray-scale videos and colored videos. In addition, a new algorithm is introduced for motion estimation via inverse polynomial interpolation. Motion estimation plays a primary role within the video-based tracking system proposed in this thesis. The proposed motion estimation algorithm is also applied to medical image sequences. Motion estimation results presented in this thesis include pairs of images from a echocardiography video and a robot-assisted surgery video.

<p>The overall objective of the Wallenberg Laboratory for Information Technology and Autonomous Systems (WITAS) at Linköping University is the development of an intelligent command and control system, containing vision sensors, which supports the operation of a unmanned air vehicle (UAV) in both semi- and full-autonomy modes. One of the UAV platforms of choice is the APID-MK3 unmanned helicopter, by Scandicraft Systems AB. The intended operational environment is over widely varying geographical terrain with traffic networks and vehicle interaction of variable complexity, speed, and density.</p><p>The present version of APID-MK3 is capable of autonomous take-off, landing, and hovering as well as of autonomously executing pre-defined, point-to-point flight where the latter is executed at low-speed. This is enough for performing missions like site mapping and surveillance, and communications, but for the above mentioned operational environment higher speeds are desired. In this context, the goal of this thesis is to explore the possibilities for achieving stable ‘‘aggressive’’ manoeuvrability at high-speeds, and test a variety of control solutions in the APID-MK3 simulation environment.</p><p>The objective of achieving ‘‘aggressive’’ manoeuvrability concerns the design of attitude/velocity/position controllers which act on much larger ranges of the body attitude angles, by utilizing the full range of the rotor attitude angles. In this context, a flight controller should achieve tracking of curvilinear trajectories at relatively high speeds in a robust, w.r.t. external disturbances, manner. Take-off and landing are not considered here since APIDMK3 has already have dedicated control modules that realize these flight modes.</p><p>With this goal in mind, we present the design of two different types of flight controllers: a fuzzy controller and a gradient descent method based controller. Common to both are model based design, the use of nonlinear control approaches, and an inner- and outer-loop control scheme. The performance of these controllers is tested in simulation using the nonlinear model of APID-MK3.</p> / Report code: LiU-Tek-Lic-2002:11. The format of the electronic version of this thesis differs slightly from the printed one: this is due mainly to font compatibility. The figures and body of the thesis are remaining unchanged.

Networked control systems (NCSs) are a kind of distributed control systems in which the data between control components are exchanged via communication networks. Because of the attractive advantages of NCSs such as reduced system wiring, low weight, and ease of system diagnosis and maintenance, the research on NCSs has received much attention in recent years. The first part (Chapter 2 - Chapter 4) of the thesis is devoted to designing new controllers for NCSs by incorporating the network-induced delays. The thesis also conducts research on filtering of multirate systems and identification of Hammerstein systems in the second part (Chapter 5 - Chapter 6).<br /><br /> Network-induced delays exist in both sensor-to-controller (S-C) and controller-to-actuator (C-A) links. A novel two-mode-dependent control scheme is proposed, in which the to-be-designed controller depends on both S-C and C-A delays. The resulting closed-loop system is a special jump linear system. Then, the conditions for stochastic stability are obtained in terms of a set of linear matrix inequalities (LMIs) with nonconvex constraints, which can be efficiently solved by a sequential LMI optimization algorithm. Further, the control synthesis problem for the NCSs is considered. The definitions of <em>H₂</em> and <em>H_∞</em> norms for the special system are first proposed. Also, the plant uncertainties are considered in the design. Finally, the robust mixed <em>H₂/H_&infin;</em> control problem is solved under the framework of LMIs. <br /><br /> To compensate for both S-C and C-A delays modeled by Markov chains, the generalized predictive control method is modified to choose certain predicted future control signal as the current control effort on the actuator node, whenever the control signal is delayed. Further, stability criteria in terms of LMIs are provided to check the system stability. The proposed method is also tested on an experimental hydraulic position control system. <br /><br /> Multirate systems exist in many practical applications where different sampling rates co-exist in the same system. The <em>l₂-l_&infin;</em> filtering problem for multirate systems is considered in the thesis. By using the lifting technique, the system is first transformed to a linear time-invariant one, and then the filter design is formulated as an optimization problem which can be solved by using LMI techniques. <br /><br /> Hammerstein model consists of a static nonlinear block followed in series by a linear dynamic system, which can find many applications in different areas. New switching sequences to handle the two-segment nonlinearities are proposed in this thesis. This leads to less parameters to be estimated and thus reduces the computational cost. Further, a stochastic gradient algorithm based on the idea of replacing the unmeasurable terms with their estimates is developed to identify the Hammerstein model with two-segment nonlinearities. <br /><br /> Finally, several open problems are listed as the future research directions.

Recent advances in sensor and microcomputer technology and in control and aeroydynamics theories has made small unmanned aerial vehicles a reality. The small size, low cost and manoueverbility of these systems has positioned them to be potential solutions in a large class of applications. However, the small size of these vehicles pose significant challenges. The small sensors used on these systems are much noisier than their larger counterparts.The compact structure of these vehicles also makes them more vulnerable to environmental effects. This work develops several different control strategies for two sUAV platforms and provides the rationale for judging each of the controllers based on a derivation of the dynamics, simulation studies and experimental results where possible. First, the coaxial helicopter platform is considered. This sUAV’s dual rotor system (along with its stabilizer bar technology) provides the ideal platform for safe, stable flight in a compact form factor. However, the inherent stability of the vehicle is achieved at the cost of weaker control authority and therefore an inability to achieve aggressive trajectories especially when faced with heavy wind disturbances. Three different linear control strategies are derived for this platform. PID, LQR and H∞ methods are tested in simulation studies. While the PID method is simple and intuitive, the LQR method is better at handling the decoupling required in the system. However the frequency domain design of the H∞ control method is better at suppressing disturbances and tracking more aggressive trajectories. The dynamics of the quadrotor are much faster than those of the coaxial helicopter. In the quadrotor, four independent fixed pitch rotors provide the required thrust. Differences between each of the rotors creates moments in the roll, pitch and yaw directions. This system greatly simplifies the mechanical complexity of the UAV, making quadrotors cheaper to maintain and more accessible. The quadrotor dynamics are derived in this work. Due to the lack of any mechanical stabilization system, these quadrotor dynamics are not inherently damped around hover. As such, the focus of the controller development is on using nonlinear techniques. Linear quadratic regulation methods are derived and shown to be inadequate when used in zones moderately outside hover. Within nonlinear methods, feedback linearization techniques are developed for the quadrotor using an inner/outer loop decoupling structure that avoids more complex variants of the feedback linearization methodology. Most nonlinear control methods (including feedback linearization) assume perfect knowledge of vehicle parameters. In this regard, simulation studies show that when this assumption is violated the results of the flight significantly deteriorate for quadrotors flying using the feedback linearization method. With this in mind, an adaptation law is devised around the nonlinear control method that actively modifies the plant parameters in an effort to drive tracking errors to zero. In simple cases with sufficiently rich trajectory requirements the parameters are able to adapt to the correct values (as verified by simulation studies). It can also adapt to changing parameters in flight to ensure that vehicle stability and controller performance is not compromised. However, the direct adaptive control method devised in this work has the added benefit of being able to modify plant parameters to suppress the effects of external disturbances as well. This is clearly shown when wind disturbances are applied to the quadrotor simulations. Finally, the nonlinear quadrotor controllers devised above are tested on a custom built quadrotor and autopilot platform. While the custom quadrotor is able to fly using the standard control methods, the specific controllers devised here are tested on a test bench that constrains the movement of the vehicle. The results of the tests show that the controller is able to sufficiently change the necessary parameter to ensure effective tracking in the presence of unmodelled disturbances and measurement error.

Networked control systems (NCSs) are a kind of distributed control systems in which the data between control components are exchanged via communication networks. Because of the attractive advantages of NCSs such as reduced system wiring, low weight, and ease of system diagnosis and maintenance, the research on NCSs has received much attention in recent years. The first part (Chapter 2 - Chapter 4) of the thesis is devoted to designing new controllers for NCSs by incorporating the network-induced delays. The thesis also conducts research on filtering of multirate systems and identification of Hammerstein systems in the second part (Chapter 5 - Chapter 6).<br /><br /> Network-induced delays exist in both sensor-to-controller (S-C) and controller-to-actuator (C-A) links. A novel two-mode-dependent control scheme is proposed, in which the to-be-designed controller depends on both S-C and C-A delays. The resulting closed-loop system is a special jump linear system. Then, the conditions for stochastic stability are obtained in terms of a set of linear matrix inequalities (LMIs) with nonconvex constraints, which can be efficiently solved by a sequential LMI optimization algorithm. Further, the control synthesis problem for the NCSs is considered. The definitions of <em>H₂</em> and <em>H_∞</em> norms for the special system are first proposed. Also, the plant uncertainties are considered in the design. Finally, the robust mixed <em>H₂/H_&infin;</em> control problem is solved under the framework of LMIs. <br /><br /> To compensate for both S-C and C-A delays modeled by Markov chains, the generalized predictive control method is modified to choose certain predicted future control signal as the current control effort on the actuator node, whenever the control signal is delayed. Further, stability criteria in terms of LMIs are provided to check the system stability. The proposed method is also tested on an experimental hydraulic position control system. <br /><br /> Multirate systems exist in many practical applications where different sampling rates co-exist in the same system. The <em>l₂-l_&infin;</em> filtering problem for multirate systems is considered in the thesis. By using the lifting technique, the system is first transformed to a linear time-invariant one, and then the filter design is formulated as an optimization problem which can be solved by using LMI techniques. <br /><br /> Hammerstein model consists of a static nonlinear block followed in series by a linear dynamic system, which can find many applications in different areas. New switching sequences to handle the two-segment nonlinearities are proposed in this thesis. This leads to less parameters to be estimated and thus reduces the computational cost. Further, a stochastic gradient algorithm based on the idea of replacing the unmeasurable terms with their estimates is developed to identify the Hammerstein model with two-segment nonlinearities. <br /><br /> Finally, several open problems are listed as the future research directions.

Considered in this research is a framework for effective formation control of multirobot systems in dynamic environments. The basic formation control involves two important considerations: (1) Real-time trajectory generation algorithms for distributed control based on nominal agent models, and (2) robust tracking of reference trajectories under model uncertainties. Proposed is a two-layer hierarchical architecture for collectivemotion control ofmultirobot nonholonomic systems. It endows robotic systems with the ability to simultaneously deal with multiple tasks and achieve typical complex formation missions, such as collisionfree maneuvers in dynamic environments, tracking certain desired trajectories, forming suitable patterns or geometrical shapes, and/or varying the pattern when necessary. The study also addresses real-time formation tracking of reference trajectories under the presence of model uncertainties and proposes robust control laws such that over each time interval any tracking errors due to system uncertainties are driven down to zero prior to the commencement of the subsequent computation segment. By considering a class of nonlinear systems with favorable finite-time convergence characteristics, sufficient conditions for exponential finite-time stability are established and then applied to distributed formation tracking controls. This manifests in the settling time of the controlled system being finite and no longer than the predefined reference trajectory segment computing time interval, thus making tracking errors go to zero by the end of the time horizon over which a segment of the reference trajectory is generated. This way the next segment of the reference trajectory is properly initialized to go into the trajectory computation algorithm. Consequently this could lead to a guarantee of desired multi-robot motion evolution in spite of system uncertainties. To facilitate practical implementation, communication among multi-agent systems is considered to enable the construction of distributed formation control. Instead of requiring global communication among all robots, a distributed communication algorithm is employed to eliminate redundant data propagation, thus reducing energy consumption and improving network efficiency while maintaining connectivity to ensure the convergence of formation control.

The purpose of this thesis is to study the active robust control for the flexible slider-crank linkage mechanism with piezoelectric films using genetic algorithms. The instability caused by the inertia force that is induced by the high-speed rotation flexible slider-crank linkage, mode truncation, parameter uncertainties, and spillover effect due to the residual modes of structure. For the application of the mechanical structure system, a mathematical model for a slider-crank linkage mechanism with piezoelectric films is developed in conjunction with finite element method (FEM), and the lower frequency modes are separated into controlled modes and residual modes. For the robustness of the system, a robust stability condition and genetic algorithms are employed to ensure the stability of the system under the parameter uncertainties and spillover effect simultaneously. Numerical simulation is performed to the control methodology with genetic algorithms can suppress deform of flexible slider-crank linkage mechanism operating at high speeds, and the instability caused by the parameter uncertainties and spillover effect can be avoided.

In this paper, the gap metric is introduced to study the robustness of the stability of feedback systems. A relation between the gap metric and coprime fractions is also investigated. It is shown that the stability radius of the controller in the gap metric is equal to the stability margin of the controller. In the loop-shaping design procedure in the £h-gap metric, it is practically hard to formulate an ideal controller. Finally, this paper studied the conservatism of the gap metric, and proposed some properties that can help for control design and analysis.