Control Systems

Model Predictive Control

Quick review of linear dynamical systems in state-space form, stability, state-feedback control and observer design, linear quadratic regulation and Kalman filtering. Basic model predictive control (MPC) algorithm and the receding horizon principle. Linear MPC: formulation, quadratic programming, stability properties. Multiparametric programming and explicit MPC. MPC of hybrid dynamical systems subject to linear and logical constraints. Stochastic MPC. Selected applications of MPC to automotive and aerospace systems, supply chains, financial engineering.

Model Checking

Model checking is an automated formal verification technique whose main idea is to formally specify both the system specification and its properties (typically, by means of temporal logic) and automatically verify that such properties are satisfied (or to which extent they are). This course aims at presenting the fundamentals of model checking techniques for the verification of distributed and concurrent systems. Different classes of temporal logics will be introduced that rely on the use of semantic models to provide a logical framework for the analysis and verification of complex systems.

Software Engineering for Service-Oriented Systems and Autonomic Systems

Service-Oriented Computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. In this course a model-driven approach to the development of service-oriented software systems is presented where foundational theories and techniques are integrated in a pragmatic software engineering approach.

Principles of Concurrent and Distributed Programming

The course objective is to introduce the basics of concurrent programming problems through an illustration of the concepts and techniques related to modeling systems in which there are more components that are simultaneously active and need to coordinate and compete for the use of shared resources. At the end of the course the student will have a good understanding of the constructs for concurrent programming and be able to use them to write and analyze concurrent programs.

Advanced Topics of Control Systems

In this course we will venture to go through some of the most advanced control schemes whose development has been motivated by problems in process control and economics. The course's main objective will be to bring students in touch with the state of the art in MPC theory and explore various research opportunities that emerge. We will see how the mature concept of model predictive control (MPC) can be combined with process economics to yield a unifying framework -- known as economic model predictive control (EMPC) -- for simultaneous control and process optimization.

Advanced Topics of Computer Science

This course will be organized as series of reading groups or specialized seminars by members or collaborators of the research unit on System Modelling and Analisys (SysMA).

Convex Optimization

The course aims at giving a modern and thorough treatment of algorithms for solving convex, large-scale and nonsmooth optimization problems. Applications of convex optimization. Convex sets, functions and optimization problems. Optimality conditions. Basic algorithms for unconstrained optimization (gradient, fast gradient and Newton methods). Basic algorithms for constrained optimization (Interior point and active set methods). Subdifferential and conjugate of convex functions. Duality. Proximal mappings. Proximal minimization algorithm. Augmented Lagrangian Method.

Network Theory

Course description: Basic of Graph Theory: degree, clustering, connectivity, assortativity, communities. Analysis of Complex Networks, datasets and software. Community Detection, Modularity, Spectral Properties. Fractals, Self-Organised Criticality, Scale Invariance. Random Graph, Barabasi Albert Model, Fitness model, Small world. HITS Algorithm and PageRank. Real instances of Complex Networks in Biology and Social Sciences. Board of Directors, Ownership Networks, measures of Centrality and Control. World Trade Web, Minimal Spanning Trees, Competition and Products spaces.

Management of Complex Systems: Approaches to Problem Solving

Methods and approach to problem solving. Problem analysis; analysis of complex systems (related to cultural heritage, such as a city of art organization, promotion, etc.). The course will include practical simulations. The course will be linked to a seminar on specific Case studies.