No description available.

We review properties of the Beurling correlation function related to differentiability and functional equations. The relevance of this function is due to the fact that some properties of the Riemann zeta function can be expressed interms of it. / Se repasan algunas propiedades de la función de correlación de Beurling, que sirven para expresar ciertas propiedades de la función zeta de Riemann.

" The chemical engineering literature is dominated by physical and (bio)-chemical processes that exhibit complex nonlinear behavior, and as a consequence, the associated requirements of their analysis, optimization, control and monitoring pose considerable challenges in the face of emerging competitive pressures on the chemical, petrochemical and pharmaceutical industries. The above operational requirements are now increasingly imposed on processes that exhibit inherently nonlinear behavior over a wide range of operating conditions, rendering the employment of linear process control and monitoring methods rather inadequate. At the same time, increased research efforts are now concentrated on the development of new process control and supervisory systems that could be digitally implemented with the aid of powerful computer software codes. In particular, it is widely recognized that the important objective of process performance reliability can be met through a comprehensive framework for process control and monitoring. From: (i) a process safety point of view, the more reliable the process control and monitoring scheme employed and the earlier the detection of an operationally hazardous problem, the greater the intervening power of the process engineering team to correct it and restore operational order (ii) a product quality point of view, the earlier detection of an operational problem might prevent the unnecessary production of o-spec products, and subsequently minimize cost. The present work proposes a new methodological perspective and a novel set of systematic analytical tools aiming at the synthesis and tuning of well-performing digital controllers and the development of monitoring algorithms for nonlinear processes. In particular, the main thematic and research axis traced are: (i) The systematic integrated synthesis and tuning of advanced model-based digital controllers using techniques conceptually inspired by Zubov’s advanced stability theory. (ii) The rigorous quantitative characterization and monitoring of the asymptotic behavior of complex nonlinear processes using the notion of invariant manifolds and functional equations theory. (iii) The systematic design of nonlinear state observer-based process monitoring systems to accurately reconstruct unmeasurable process variables in the presence of time-scale multiplicity. (iv) The design of robust nonlinear digital observers for chemical reaction systems in the presence of model uncertainty. "

The demand for automated decision making, learning and inference in uncertain, risk sensitive and dynamically changing situations presents a challenge: to design computational approaches that promise to be widely deployable and flexible to adapt on the one hand, while offering reliable guarantees on safety on the other. The tension between these desiderata has created a gap that, in spite of intensive research and contributions made from a wide range of communities, remains to be filled. This represents an intriguing challenge that provided motivation for much of the work presented in this thesis. With these desiderata in mind, this thesis makes a number of contributions towards the development of algorithms for automated decision-making and inference under uncertainty. To facilitate inference over unobserved effects of actions, we develop machine learning approaches that are suitable for the construction of models over dynamical laws that provide uncertainty bounds around their predictions. As an example application for conservative decision-making, we apply our learning and inference methods to control in uncertain dynamical systems. Owing to the uncertainty bounds, we can derive performance guarantees of the resulting learning-based controllers. Furthermore, our simulations demonstrate that the resulting decision-making algorithms are effective in learning and controlling under uncertain dynamics and can outperform alternative methods. Another set of contributions is made in multi-agent decision-making which we cast in the general framework of optimisation with interaction constraints. The constraints necessitate coordination, for which we develop several methods. As a particularly challenging application domain, our exposition focusses on collision avoidance. Here we consider coordination both in discrete-time and continuous-time dynamical systems. In the continuous-time case, inference is required to ensure that decisions are made that avoid collisions with adjustably high certainty even when computation is inevitably finite. In both discrete-time and finite-time settings, we introduce conservative decision-making. That is, even with finite computation, a coordination outcome is guaranteed to satisfy collision-avoidance constraints with adjustably high confidence relative to the current uncertain model. Our methods are illustrated in simulations in the context of collision avoidance in graphs, multi-commodity flow problems, distributed stochastic model-predictive control, as well as in collision-prediction and avoidance in stochastic differential systems. Finally, we provide an example of how to combine some of our different methods into a multi-agent predictive controller that coordinates learning agents with uncertain beliefs over their dynamics. Utilising the guarantees established for our learning algorithms, the resulting mechanism can provide collision avoidance guarantees relative to the a posteriori epistemic beliefs over the agents' dynamics.