Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Mini-Symposium on Complex Systems Control Talk 4-6

Back
Abstract:
08:30 am
** Speaker: Prof. Francesco Borrelli, University of California, Berkeley, USA
** Title: Forecasts, Uncertainty and Control: Theory and Practice
** Abstract:
Forecasts will play an increasingly important role in the next generation of autonomous and semi-autonomous systems. Applications include transportation, energy, manufacturing and healthcare systems. Predictions of systems dynamics, human behavior and environment conditions can improve safety and performance of the resulting system. However, constraint satisfaction, performance guarantees and real-time computation are challenged by the growing complexity of the engineered system, the human/machine interaction and the uncertainty of the environment where the system operates. In this talk I will present the theory and tools that we have developed over the past ten years for the systematic design of predictive controllers for uncertain linear and nonlinear systems. I will first provide an overview of our theoretical efforts. Then, I will focus on our recent results for addressing constraints satisfaction in large-scale networked systems and real-time computation by using analog optimization. Throughout the talk I will use two applications to motivate our research and show the benefits of the proposed techniques: Safe Autonomous Cars and Green Intelligent Buildings.

Seminar's slides

09:30 am
** Speaker: Prof. Ufuk Topcu, University of Pennsylvania, Philadelphia, USA
** Title: Networked, Information-Based Systems: Synthesis of Correct-By-Construction Control Protocols
** Abstract:
How can we affordably build trustworthy networked, information-based systems? The talk begins with an interpretation of this question in the context of autonomy and autonomy's use in transportation systems and more-electric air vehicles. Partly motivated by the difficulty and cost of establishing trust in these applications, I describe a shift from the traditional "design+verify" approach to "specify+synthesize." I then discuss my recent research advancing automated synthesis of correct-by-construction, hierarchical control protocols. I present two results on receding horizon temporal logic planning and compositional synthesis. These results combine ideas from control theory with those from computer science, and exploit underlying system-theoretic interpretations to suppress the resulting computational complexity. I conclude with an outlook on future research opportunities in autonomy, advanced vehicular systems, and the interaction between transportation and the electric power grids.

Seminar's slides

10:30 am
** Speaker: Prof. Giacomo Como, Lund University, Lund, Sweden
** Title: Resilient Distributed Routing in Dynamical Networks
** Abstract:
Resilience has become a key issue in complex networked systems. Applications are of wide range and include complex infrastructure systems, such as data, transportation and power networks, as well as social, economic and financial networks. This talk will focus on resilience properties of distributed routing in dynamical flow networks. Dynamical flow networks are modeled as ordinary differential equation describing mass conservation with routing policies regulating the way the total outflow at each non-destination node gets split among its outgoing links. A key feature is that routing policies are constrained on using only local information on the current state of the system. Disturbances are modeled as (possibly adversarial) reductions of the link flow capacities. These models allow for the possibility of cascading failures, as small local perturbation propagate through the network and local actions aimed at mitigating them can increase the vulnerability of other parts of the network. A class of maximally robust distributed policies is characterized and it is shown that, if the routing policies are allowed to use local information only from the links immediately downstream, then the resilience is in general strictly smaller than the min-cut capacity of the network, while there is no such a loss if the policies are allowed to use local information also from the links immediately upstream. Potential applications to urban traffic control will be discussed.

Seminar's slides



Type of Seminar:
Mini-Symposium on Complex Systems Control
Speaker:
Prof. Borrelli, Prof. Topcu, Prof. Como
Date/Time:
Jun 18, 2013   8:30 am
Location:

HG E 3, Rämistrasse 101
Contact Person:

Prof. John Lygeros
No downloadable files available.
Biographical Sketch:
Biography Prof. Borrelli:
Francesco Borrelli received the PhD in 2002 from the Automatic Control Laboratory at ETH-Zurich, Switzerland. He is currently an Associate Professor at the Department of Mechanical Engineering of the University of California, Berkeley, USA. He is the author of more than one hundred publications in the field of predictive control. He is author of the book Constrained Optimal Control of Linear and Hybrid Systems published by Springer Verlag, the winner of the 2009 NSF CAREER Award and the winner of the 2012 IEEE Control Systems Technology Award. From 2008 to 2011 he served as the chair of the IEEE technical committee on automotive control. His research interests include constrained optimal control, model predictive control and its application to advanced automotive control and energy efficient building operation.

Biography Prof. Topcu:
Ufuk Topcu is a Research Assistant Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania. He received his Ph.D. in 2008 from the University of California, Berkeley and was a Postdoctoral Scholar at the California Institute of Technology until 2012. His research is on the analysis, design, and verification of networked, information-based systems. Current projects are in autonomy, advanced vehicular systems, and energy networks.

Biography Prof. Como:
Giacomo Como is an Associate Professor at the Department of Automatic Control, Lund University, Sweden. He received the B.Sc., M.S., and Ph.D. degrees in Applied Mathematics from Politecnico di Torino, Italy, in 2002, 2004, and 2008, respectively. In 2006-2007, he was a Visiting Assistant in Research at the Department of Electrical Engineering, Yale University. From 2008 to 2011, he was a Postdoctoral Associate at the Laboratory for Information and Decision Systems, Massachusetts Institute of Technology. His research interests are in control, information theory, and complex networks.