Seminar #7
Speaker: Karen Rudie (Queen’s University, Canada)
Title: How Discrete-Event Systems Can Keep Secrets Secret
Abstract: The control theory of discrete-event systems (DESs) is a modeling framework for capturing the ordering of events or actions. Discrete-event systems modeling can be complementary to traditional continuous-time systems modeling or can be used alongside or in concert with continuous-time modeling in hybrid systems. Since decision-making is tantamount to prescribing which actions should or should not happen or which actions should happen before others, the body of work in DES theory is well-positioned to allow us to tackle security problems in cyber-physical systems. In this talk we present different approaches in DES control theory that address various problems in the security of systems and networks. In particular, we examine the notion of opacity, which is the property of ensuring that secret states or secret sequences of events are not discernible from non-secret states or events to a hostile agent. We also look at cases where systems are attacked by adversarial agents that manipulate sensor outputs (i.e., event occurrences generated by a plant) so that a supervisor (i.e., a DES controller) is fooled into thinking the system is in some state that it is not in. We discuss the challenges of modeling security and secrecy problems using discrete-event systems.
Bio: Karen Rudie is a Professor at Queen’s University (Canada) in the Department of Electrical and Computer Engineering, with a cross-appointment to the School of Computing. She received her Ph.D. in 1992 from the University of Toronto, in the Systems Control Group, under the supervision of W. Murray Wonham. In 1992-93 she was a postdoctoral researcher at the Institute for Mathematics and its Applications, Minnesota. From 2004-2006 she was an IEEE Control Systems Society Distinguished Lecturer. She has served on the editorial board of the Journal of Discrete Event Dynamic Systems (since 2000), where she is currently a Department Editor, and has served as an Associate Editor for IEEE Transactions on Control Systems Technology (2015-2020), IEEE Transactions on Automatic Control (1996-1999), and IEEE Control Systems Magazine (2003). She is a Fellow of the IEEE. Her research focuses on the control of discrete-event systems.
When: Wednesday May 18th 2022 from 4 pm to 5 pm
[Slides] [Video] [Pictures]
Seminar #6:
Speaker: Mattia Bianchi (TU Delft, The Netherlands)
Title: Generalized Nash equilibrium problems over networks
Abstract: In recent years, the need has emerged to control large networks of interacting systems to allow for their safe and effective operation, for instance in power distribution, traffic regulation and communication infrastructures. Hand in hand with distributed optimization, Nash games provide powerful tools to ensure coordination, namely the attainment of a desirable equilibrium, especially in the presence of self-interested agents. In this talk we focus on Nash equilibrium seeking under partial-decision information, where each agent can only observe the decisions of some neighbors over a communication network, while its cost function possibly depends on the actions of all the competitors. For this relatively novel scenario, we discuss the limitations of the existing methods, and we propose more efficient algorithms.
Bio: Mattia Bianchi is a Ph.D. candidate in the Delft Center for Systems and Control, TU Delft (NL). He received the Bachelor’s degree in Information Engineering and the Master’s degree in Control Systems Engineering, both from University of L’Aquila (IT), in 2016 and 2018, respectively. In 2018 he visited the Control Systems Technology group, TU Eindhoven (NL). In 2021-2022 he visited the Mechanical and Aerospace Engineering Department, University of California San Diego (USA). His research interests include game theory and operator theory to solve decision and control problems for complex systems of systems, in the presence of network coupling and uncertainty. He is recipient of the 2021 Roberto Tempo Best Paper Award at the IEEE Conference on Decision and Control.
When: Friday March 25th 2022 from 15.00 to 16.00
[Slides] [Video] [Pictures]
Seminar #5
Speaker: Prof. Maide Bucolo (University of Catania - Italy)
Title: Control Engineering in Two-Phase Microfluidics for Bio-Chemical Applications
Abstract: The current microfluidic technology allows the reproduction into a single chip of many functionalities of a macro-scale bio-chemical laboratory. Generally the micro-channels dimension is in the range between ten to hundreds micrometer up to one millimeter. Moving from smaller to larger microchannels, on one side speeds-up the process, making it suitable for industrial applications, but on the other side the process evolves in a transition zone between the linear and nonlinear behavior. In our studies we have investigated two-phase microfluidics, generated both by immiscible fluid-fluid interaction (slug flow regime) and micro-particles suspension in a fluid, in irregular micro-channels with diameter greater than hundreds micrometer. In this complex scenario in which the properties of the fluids, the input flow conditions, the channel geometries and the material surface properties can strongly affect the flow dynamics, a data-driven approach for the processes identification and control based on optical technology has been chosen for its potential impact in design of smart micro-optofluidics embedded systems. Managing optical images and signals offers the advantages of being noninvasive and easily embedded in portable devices for real-time applications, but requires an accurate data analysis and interpretation. It Thanks to advanced modeling and control strategies, two platforms have been developed one for the real-time slug flow tracking and the other for the process control. This has been a fundamental step in the design and realization of embedded micro-optofluidic PDMS devices. Different micro-devices will be presented used in both cell flow and slug flow investigations: micro-optical interfaces, realized by soft-lithography and, micro-optofluidics embedded devices realized by 3D printing. The combination between the technological advancement of the 3D printing and the potentiality of a control methodological framework brings a drastic reduction of the cost and the complexity in the micro-optofluidics devices fabrication and experimental set-up, extending their use as a new generation of disposable and portable devices for bio-chemical analyses, easy-to use and widely accessible.
Bio: Maide Bucolo received the M.S. degree in Computer Science Engineering in 1997, and the Ph.D in Electronic and Control Engineering in 2001 from the University of Catania. During the Ph.D. she worked as research scholar at the University of California San Diego (UCSD) and after that, often, she has been hosted as visiting researcher and professor at the Microhemodynamics Lab of the Department of Bioengineering at UCSD. She is currently Associate Professor in Control System at the Department of Electrical, Electronic and Informatics of the University of Catania. Since 2018 she is coordinator of the MSc in Automation Engineering and Control of Complex Systems at the University of Catania. Her research is focused on methodologies and low-cost technologies for bio-microfluidics systems modeling and control. In 2010 she established and became responsible of the 'Bio-Microfluidics Laboratory" at the University of Catania. In the field of Micro-systems Engineering she was visiting professor at the Heriot Watt University and at the Institut National des Sciences Appliquées (INSA) de Toulouse. She has been the coordinator of national projects and international exchange programs. She is IEEE senior member. She has published more than 100 scientific contributions in peer-reviewed International Journals and Conferences
When: Thursday February 3rd 2022 from 10.30 to 11.30
[Slides] [Video] [Picture]
Seminar #4
Speaker: Dr. Catia Trubiani (Gran Sasso Science Institute, L’Aquila - Italy)
Title: Cyber Physical Systems: a software quality perspective on uncertainties
Abstract: Cyber-physical systems are exposed to multiple uncertainties due to mixing software and hardware components that operate in complex and changing environments. Uncertainty can be critical for software quality, especially in the presence of highly dynamic changes, for instance when alterations in the physical space affect the capability of a swarm of robots to complete a task on time. Incorporating uncertainty as a first-class concept in the software development process to identify quality issues is still challenging. This talk presents two ways of handling uncertainty: (i) performance models capturing how different architectural patterns affect the performance characteristics of the evolving physical space; (ii) uncertainty-aware testing strategies to drive the test case generation process. A goal of this research is to provide quantitative evaluation that supports system stakeholders in the identification of software quality issues.
Bio: Catia Trubiani is Assistant Professor at the Gran Sasso Science Institute (GSSI), Italy. Previously she collaborated with various international research institutes like the Karlsruhe Institute of Technology in Germany, and the Imperial College of London in UK. She is principal investigator of the GSSI unit for the MUR-PRIN project SEDUCE (Young Line action) and for the MUR-FISR project MVM-Adapt. In 2021 she received the Exceptional Reviewer Award for the International Conference on Software Architecture (ICSA), and the 10-year most influential paper for the International Conference on Performance Engineering (ICPE). More information is available here: http://cs.gssi.it/catia.trubiani
When: Monday November 22nd 2021 from 15.00 to 16.00
[Slides] [Video] [Picture]
Seminar #3
Speaker: Prof. Romain Postoyan (CNRS, CRAN, Université de Lorraine - France)
Title: Dynamical systems controlled by value iteration: stability, near-optimality and stopping criterion
Abstract: Value iteration (VI) is a ubiquitous algorithm for optimal control, planning, and reinforcement learning schemes. Under the right assumptions, VI is a vital tool to generate inputs with optimal properties for general nonlinear systems and cost functions. However, several important questions remain largely unexplored in the literature in particular: what can we say about the stability of systems whose inputs are obtained by VI? and what about their robustness properties? These properties are fundamental in numerous safety-critical control applications, it is thus of primary importance to make sure that the use of VI to construct the control inputs is done in such a way that robust stability of the closed-loop system is ensured. In this talk, we will provide answer to these questions for the case where the plant dynamics is known, deterministic nonlinear and in discrete-time. We will then see how stability can be exploited to significantly improve existing near-optimality bounds of the literature, i.e., the mismatch between the value function given by VI at each step and the targeted optimal value function. We will also provide some first elements on when to rigorously stop the algorithm and how to implement it.
When: Wednesday July 14th 2021 from 11.00 to 12.00
[Slides] [Video] [Picture]
Seminar #2
Speaker: Prof. Pasquale Palumbo (University of Milano-Bicocca, Italy)
Title: A mathematical model of the G1/S transition for the budding yeast
Abstract: In budding yeast, overcoming of a critical size to enter S phase and the mitosis/mating switch—two central cell fate events—take place in the G1 phase of the cell cycle. Here we present a mathematical model of the basic molecular mechanism controlling the G1/S transition, whose major regulatory feature is multisite phosphorylation of nuclear Whi5. Cln3–Cdk1, whose nuclear amount is proportional to cell size, and then Cln1,2–Cdk1, randomly phosphorylate both decoy and functional Whi5 sites. Full phosphorylation of functional sites releases Whi5 inhibitory activity, activating G1/S transcription. Simulation analysis shows that this mechanism ensures coherent release of Whi5 inhibitory action and accounts for many experimentally observed properties of mitotically growing or conjugating G1 cells. Cell cycle progression and transcriptional analyses of a Whi5 phosphomimetic mutant verify the model prediction that coherent transcription of the G1/S regulon and ensuing G1/S transition requires full phosphorylation of Whi5 functional sites
When: Monday June 28th 2021 from 14.30 to 15.30
[Slides] [Video] [Picture]
Seminar #1
Speaker: Dr. Mirco Giacobbe (University of Oxford, UK)
Title: Neuro-symbolic Liveness Verification
Abstract: Liveness verification answers the question of whether a system always responds with desirable behavior or, dually, never gets stuck without responding at all. For dynamical systems, this relates to the stability question; for computer programs, it relates to the halting problem. I will talk about a novel method for constructing liveness proofs by learning witnesses (Lyapunov and ranking functions) from data using neural networks combined with symbolic reasoning. I will talk about how we apply this neuro-symbolic approach to the stability analysis of dynamical systems, to the termination analysis of Java programs, and to the almost-sure termination analysis of probabilistic programs.
When: Friday June 11th 2021 from 14.30 to 15.30
[Slides] [Video] [Picture]
