Speed-accuracy tradeoffs, velocity profiles, and physiological tremor are fundamental characteristics of human movement. The principles underlying these phenomena have long attracted major interest and controversy. Each is well established experimentally but as yet they have no common theoretical basis. It is proposed that these three phenomena occur as the direct consequence of a movement response planning system that acts as an intermittent optimal controller operating at discrete intervals of ~100 ms. The BUMP model of response planning describes such a system. It forms the kernel of adaptive model theory which defines, in computational terms, a basic unit of motor production or BUMP. Each BUMP consists of three processes: (i) analysing sensory information, (ii) planning a desired optimal response, and (iii) executing that response. These processes operate in parallel across successive sequential BUMPs. The response planning process requires a discrete time interval in which to generate a minimum acceleration trajectory of variable duration, or horizon, to connect the actual response with the predicted future state of the target and compensate for executional error. BUMP model simulation studies show that intermittent adaptive optimal control employing two extremes of variable horizon predictive control reproduces almost exactly findings from several authoritative human experiments. On the one extreme, simulating spatially-constrained movements, a receding horizon strategy results in a logarithmic speed-accuracy tradeoff and accompanying asymmetrical velocity profiles. On the other extreme, simulating temporally-constrained movements, a fixed horizon strategy results in a linear speed-accuracy tradeoff and accompanying symmetrical velocity profiles. Furthermore, simulating ramp movements, a receding horizon strategy closely reproduces experimental observations of 10 Hz physiological tremor. A 100 ms planning interval yields waveforms and power spectra equivalent to those of joint-angle, angular velocity and electromyogram signals recorded for several speeds, directions, and skill levels of finger movement. While other models of response planning account for one or other set of experimentally observed features of speed-accuracy tradeoffs, velocity profiles, and physiological tremor, none accounts for all three. The BUMP model succeeds in explaining these disparate movement phenomena within a single framework, strengthening this approach as the foundation for a unified theory of motor control and planning.

<p>The main topic of this thesis is integer quadratic programming with applications to problems arising in the areas of automatic control and communication. One of the most widespread modern control principles is the discrete-time method Model Predictive Control (MPC). The main advantage with MPC, compared to most other control principles, is that constraints on control signals and states can easily be handled. In each time step, MPC requires the solution of a Quadratic Programming (QP) problem. To be able to use MPC for large systems, and at high sampling rates, optimization routines tailored for MPC are used. In recent years, the range of application of MPC has been extended from constrained linear systems to so-called hybrid systems. Hybrid systems are systems where continuous dynamics interact with logic. When this extension is made, binary variables are introduced in the problem. As a consequence, the QP problem has to be replaced by a far more challenging Mixed Integer Quadratic Programming (MIQP) problem. Generally, for this type of optimization problems, the computational complexity is exponential in the number of binary optimization variables. In modern communication systems, multiple users share a so-called multi-access channel, where the information sent by different users is separated by using almost orthogonal codes. Since the codes are not completely orthogonal, the decoded information at the receiver is slightly correlated between different users. Further, noise is added during the transmission. To estimate the information originally sent, a maximum likelihood problem involving binary variables is solved. The process of simultaneously estimating the information sent by multiple users is called multiuser detection. In this thesis, the problem to efficiently solve MIQP problems originating from MPC is addressed. Two different algorithms are presented. First, a polynomial complexity preprocessing algorithm for binary quadratic programming problems is presented. By using the algorithm, some, or all, binary variables can be computed efficiently already in the preprocessing phase. In simulations, the algorithm is applied to unconstrained MPC problems with a mixture of real and binary control signals. It has also been applied to the multiuser detection problem, where simulations have shown that the bit error rate can be significantly reduced by using the proposed algorithm as compared to using common suboptimal algorithms. Second, an MIQP algorithm tailored for MPC is presented. The algorithm uses a branch and bound method where the relaxed node problems are solved by a dual active set QP algorithm. In this QP algorithm, the KKT-systems are solved using Riccati recursions in order to decrease the computational complexity. Simulation results show that both the QP solver and the MIQP solver proposed have lower computational complexity than corresponding generic solvers.</p> / Report code: LiU-TEK-LIC-2005:71.

Nonlinear systems occur in industrial processes, economical systems, biotechnology and in many other areas. The thesis treats methods for system identification and control of such nonlinear systems, and applies the proposed methods to a solar heating/cooling plant. Two applications, an anaerobic digestion process and a domestic solar heating system are first used to illustrate properties of an existing nonlinear recursive prediction error identification algorithm. In both cases, the accuracy of the obtained nonlinear black-box models are comparable to the results of application specific grey-box models. Next a convergence analysis is performed, where conditions for convergence are formulated. The results, together with the examples, indicate the need of a method for providing initial parameters for the nonlinear prediction error algorithm. Such a method is then suggested and shown to increase the usefulness of the prediction error algorithm, significantly decreasing the risk for convergence to suboptimal minimum points. Next, the thesis treats model based control of systems with input signal dependent time delays. The approach taken is to develop a controller for systems with constant time delays, and embed it by input signal dependent resampling; the resampling acting as an interface between the system and the controller. Finally a solar collector field for combined cooling and heating of office buildings is used to illustrate the system identification and control strategies discussed earlier in the thesis, the control objective being to control the solar collector output temperature. The system has nonlinear dynamic behavior and large flow dependent time delays. The simulated evaluation using measured disturbances confirm that the controller works as intended. A significant reduction of the impact of variations in solar radiation on the collector outlet temperature is achieved, though the limited control range of the system itself prevents full exploitation of the proposed feedforward control. The methods and results contribute to a better utilization of solar power.

The main interest of the present thesis is the constrained control of time-delay system, more specifically taking into consideration the discretization problem (due to, for example, a communication network) and the presence of constraints in the system's trajectories and control inputs. The effects of data-sampling and modeling problem are studied in detail, where an uncertainty is added into the system due to additional effect of the discretization and delay. The delay variation with respect to the sampling instants is characterized by a polytopic supra-approximation of the discretization/delay induced uncertainty. Some stabilizing techniques, based on Lyapunov's theory, are then derived for the unconstrained case. Lyapunov-Krasovskii candidates were also used to obtain LMI conditions for a state feedback, in the ''original" state-space of the system. For the constrained control purposes, the set invariance theory is used intensively, in order to obtain a region where the system is ''well-behaviored", despite the presence of constraints and (time-varying) delay. Due to the high complexity of the maximal delayed state admissible set obtained in the augmented state-space approach, in the present manuscript we proposed the concept of set invariance in the ''original" state-space of the system, called D-invariance. Finally, in the las part of the thesis, the MPC scheme is presented, in order to take into account the constraints and the optimality of the control solution.

This thesis focuses on the application of model predictive control approaches to optimize the combined cycle power plants start-ups. Generally, the optimization of start-up is a very problematic issue that poses significant challenges. The development of the proposed approaches is progressive. In the first part a physical model of plant is developed and adapted to optimization purposes, by using a methodology which transforms Modelica model components into optimization-oriented models. By applying this methodology, a library suitable for optimization purposes has been built.In the second part, based on the developed model, an optimization procedure to improve the performances of the start-up phases is suggested. The proposed solution optimizes, in continuous time, the load profile of the turbines, by seeking in specific sets of functions. The optimal profile is derived by considering that this profile can be described by a parameterized function whose parameters are computed by solving a constrained optimal control problem. In the last part, the open-loop optimization procedure has been integrated into a receding horizon control strategy. This strategy represents a robust solution against perturbation and models errors, and enables to improve the trade-off between computation time and optimality of the solution. Nevertheless, the control approach leads to a significant computation time. In order to obtain real-time implementable results, a hierarchical model predictive control structure with two layers, working at different time scales and over different prediction horizons, has been proposed.

The lungs are particularly vulnerable to acute, critical illness. Respiratory failure can result not only from primary lung pathology, such as pneumonia, but also as a secondary consequence of heart failure or inflammatory illness, such as sepsis or trauma. When this occurs, it is essential to support patients with mechanical ventilation while the fundamental disease process is addressed. The goal of mechanical ventilation is to ensure adequate ventilation, which involves a magnitude of gas exchange that leads to the desired blood level of carbon dioxide, and adequate oxygenation that ensures organ function. Achieving these goals is complicated by the fact that mechanical ventilation can actually cause acute lung injury, either by inflating the lungs to excessive volumes or by using excessive pressures to inflate the lungs. Thus, the challenge to mechanical ventilation is to produce the desired blood levels of carbon dioxide and oxygen without causing further acute lung injury. In this research, we develop an analysis and control synthesis framework for a pressure-limited respirator and lung mechanics system using compartment models. Specifically, a general mathematical model is developed for the dynamic behavior of a multicompartment respiratory system. Then, based on this multicompartment model, an optimal respiratory pattern is characterized using classical calculus of variations minimization techniques for inspiratory and expiratory breathing cycles. Furthermore, model predictive controller frameworks are designed to track the given optimal respiratory air flow pattern while satisfying control input amplitude and rate constrains.

Aquesta tesi està inspirada en els agents naturals per tal de planificar de manera dinàmica la navegació d'un robot diferencial de dues rodes. Les dades dels sistemes de percepció són integrades dins una graella d'ocupació de l'entorn local del robot. La planificació de les trajectòries es fa considerant la configuració desitjada del robot, així com els vértexs més significatius dels obstacles més propers. En el seguiment de les trajectòries s'utilitzen tècniques locals de control predictiu basades en el model, amb horitzons de predicció inferiors a un segon. La metodologia emprada és validada mitjançant nombrosos experiments. / In this thesis are used natural agents for dinamic navigation of a differential driven wheeled mobile robot. The perception data are integrated on a local occupancy grid framework where planar floor model is assumed. The path-planning is done by considering the local desired configuration, as well as the meaningful local obstacle vertexes. The trajectory-tracking is implemented by using LMPC (local model predictive control) techniques, with prediction horizons of less than one second. Many experiments are tested in order to report the validity of the prosed methodology.

The aim of this master thesis was to develop a versatile and reliable experimentalplatform of mobile robots, solving tracking problems, for education and research.Evaluation of parallel bearings-only tracking and control algorithms on a multi-corearchitecture has been performed. The platform was implemented as a mobile wirelesssensor network using multiple mobile robots, each using a mounted camera for dataacquisition. Data processing was performed on the mobile robots and on a server,which also played the role of network communication hub. A major focus was toimplement this platform in a flexible manner to allow for education and futureresearch in the fields of signal processing, wireless sensor networks and automaticcontrol. The implemented platform was intended to act as a bridge between the idealworld of simulation and the non-ideal real world of full scale prototypes.The implemented algorithms did estimation of the positions of the robots, estimationof a non-cooperating target's position and regulating the positions of the robots. Thetracking algorithms implemented were the Gaussian particle filter, the globallydistributed particle filter and the locally distributed particle filter. The regulator triedto move the robots to give the highest possible sensor information under givenconstraints. The regulators implemented used model predictive control algorithms.Code for communicating with filters in external processes were implementedtogether with tools for data extraction and statistical analysis.Both implementation details and evaluation of different tracking algorithms arepresented. Some algorithms have been tested as examples of the platformscapabilities, among them scalability and accuracy of some particle filtering techniques.The filters performed with sufficient accuracy and showed a close to linear speedupusing up to 12 processor cores. Performance of parallel particle filtering withconstraints on network bandwidth was also studied, measuring breakpoints on filtercommunication to avoid weight starvation. Quality of the sensor readings, networklatency and hardware performance are discussed. Experiments showed that theplatform was a viable alternative for data acquisition in algorithm development and forbenchmarking to multi-core architecture. The platform was shown to be flexibleenough to be used a framework for future algorithm development and education inautomatic control.

Over the past decade there has been a growing demand for interactive multimedia applications deployed over public IP networks. To achieve acceptable Quality of Ser- vice (QoS) without significantly modifying the existing infrastructure, the end-to-end applications need to optimize their behavior and adapt according to network char- acteristics. Most existing application optimization techniques are based on reactive strategies, i.e. reacting to occurrences of congestion. We propose the use of predic- tive control to address the problem in an anticipatory manner. This research deals with developing models to predict end-to-end single flow characteristics of Wide Area Networks (WANs). A novel signal, in the form of single flow packet accumulation, is proposed for feedback purposes. This thesis presents a variety of effective predictors for the above signal using Auto-Regressive (AR) models, Radial Basis Functions (RBF) and Sparse Basis Functions (SBF). The study consists of three sections. We first develop time- series models to predict the accumulation signal. Since encoder bit-rate is the most logical and generic control input, a statistical analysis is conducted to analyze the effect of input bit-rate on end-to-end delay and the accumulation signal. Finally, models are developed using this bit-rate as an input to predict the resulting accu- mulation signal. The predictors are evaluated based on Noise-to-Signal Ratio (NSR) along with their accuracy with increasing accumulation levels. In time-series models, RBF gave the best NSR closely followed by AR models. Analysis based on accu- racy with increasing accumulation levels showed AR to be better in some cases. The study on effect of bit-rate revealed that bit-rate may not be a good control input on all paths. Models such as Auto-Regressive with Exogenous input (ARX) and RBF were used to develop models to predict the accumulation signal using bit-rate as a modeling input. ARX and RBF models were found to give comparable accuracy, with RBF being slightly better.

Even with the advance of autonomous robotics and automation, many automated tasks still require human intervention or guidance to mediate uncertainties in the environment or to execute the complexities of a task that autonomous robots are not yet equipped to handle. As such, robot controllers are needed that utilize the strengths of both autonomous agents, adept at handling lower level control tasks, and humans, superior at handling higher-level cognitive tasks. To address this need, we develop a control theoretic framework that seeks to incorporate user commands such that user intention is preserved while an automated task is carried out by the controller. This is a novel approach in that system theoretic tools allow for analytic guarantees of feasibility and convergence to goal states which naturally lead to varying levels of autonomy. We develop a model predictive controller that takes human input, infers human intent, then applies a control that minimizes deviations from the intended human control while ensuring that the lower-level automated task is being completed. This control framework is then evaluated in a human operator study involving a shared control task with human guidance of a mobile robot for navigation. These theoretical and experimental results lay the foundation for applying this control method for human-robot cooperative control to actual human-robot tasks. Specifically, the control is applied to a Urban Search and Rescue robot task where the shared control of a quadruped rescue robot is needed to ensure static stability during human-guided leg placements in uneven terrain. This control framework is also extended to a multiple user and multiple agent system where the human operators control multiple agents such that the agents maintain a formation while allowing the human operators to manipulate the shape of the formation. User studies are also conducted to evaluate the control in multiple operator scenarios.