There will be four plenary speakers at ICC 2017, namely:
Prof. Murat Arcak (UC Berkeley)
TITLE: Exploiting system structure for automated control synthesis
ABSTRACT: The field of formal methods has developed efficient techniques for the verification and synthesis of systems described by finite state transition models, such as computer programs and digital circuits. Leveraging formal methods to automate control synthesis for dynamical systems is an active and promising research area, but is hindered by two major problems: (1) the difficulty of abstracting a finite state transition model from a continuous dynamical model, and (2) when such abstraction is possible, the prohibitively large number of finite states that result even from a modest size continuous system. In this talk we present two structural properties that help us overcome these problems. The first property is “mixed monotonicity” which relaxes the classical notion of an order preserving (“monotone”) system. We will see how this property allows a computationally efficient finite abstraction and illustrate the result on a macroscopic model of vehicle traffic flow. The second property is decomposability into sparsely connected subsystems. Using this property, we will exhibit a compositional synthesis technique that constructs a composite controller by introducing “contracts” between the subsystems.
BIOGRAPHY: Murat Arcak is a professor at U.C. Berkeley in the Electrical Engineering and Computer Sciences Department. He received the B.S. degree in Electrical Engineering from the Bogazici University, Istanbul, Turkey (1996) and the M.S. and Ph.D. degrees from the University of California, Santa Barbara (1997 and 2000). His research is in dynamical systems and control theory with applications to synthetic biology, multi-agent systems, and transportation. He received a CAREER Award from the National Science Foundation in 2003, the Donald P. Eckman Award from the American Automatic Control Council in 2006, the Control and Systems Theory Prize from the Society for Industrial and Applied Mathematics (SIAM) in 2007, and the Antonio Ruberti Young Researcher Prize from the IEEE Control Systems Society in 2014. He is a member of SIAM and a fellow of IEEE.
Prof. Hamsa Balakrishnan (MIT)
TITLE: Dealing with Delays or: How I Learned to Stop Worrying and Love Air Travel
ABSTRACT: Flight delays result in significant costs to passengers, airlines, and society as a whole. This fact motivates the development of models that can help characterize air traffic delays, and optimization algorithms that can help us reduce them.
In the first part of the talk, I will describe the development of a new class of networked system models of delay dynamics. These models reflect both the spatial properties (i.e., inter-airport interactions) and temporal patterns of delay propagation. They also provide features that can help assess various aspects of system resilience, and even predict the future evolution of delays.
In the second part of the talk, I will present an integer programming approach to mitigate flight delays by solving large-scale air traffic flow management problems in the presence of capacity uncertainties. The proposed stochastic optimization approach uses column generation to determine the optimal departure times, routes, and cancellation decisions for all flights in the air traffic network, allowing for recourse as the scenarios develop. Using nation-scale examples from the United States, I will demonstrate that the approach is scalable and fast enough for real-time implementation.
BIOGRAPHY: Hamsa Balakrishnan is an Associate Professor of Aeronautics and Astronautics at the Massachusetts Institute of Technology (MIT). Before joining MIT, she was at the NASA Ames Research Center. She received her M.S. and PhD degrees from Stanford University, and a B.Tech. from the Indian Institute of Technology Madras. Her research is in the design, analysis, and implementation of control and optimization algorithms for large-scale cyber-physical infrastructures, with an emphasis on air transportation systems.
She was a recipient of the NSF CAREER Award in 2008, the Kevin Corker Award for Best Paper of ATM-2011, the inaugural CNA Award for Operational Analysis in 2012, the AIAA Lawrence Sperry Award in 2012, and the American Automatic Control Council’s Donald P. Eckman Award in 2014.
Prof. Vivek Borkar (IIT Bombay)
TITLE: Variations on the theme of gossip
ABSTRACT: This talk will give an overview of the work of the speaker and his collaborators on a variety of algorithms related to the classical gossip algorithm. This includes optimal influence propagation and distributed algorithms for averaging, spectral ranking and optimization
BIOGRAPHY: Prof. V. S. Borkar got his B.Tech. in Electrical Engg. from IIT Bombay in 1976, M.S. in Systems and Control Engg. from Case Western Reserve Uni. in 1977 and Ph.D. in Electrical Engg. and Computer Sci. from Uni. of California, Berkeley, in 1980. He has held positions at TIFR Centre and Indian Institute of Science in Bangalore, and Tata Institute of Fundamental Research and Indian Institute of Technology in Mumbai. He is at present an Institute Chair Professor of Electrical Engineering at the latter. He has held visiting positions at Uni. of Twente, MIT, Uni. of Maryland at College Park, Uni. of California at Berkeley and Uni. of Illinois at Urbana-Champaign. He is a Fellow of IEEE, AMS, TWAS and the science and engineering academies in India. His research interests are in stochastic optimization and control.
Prof. Francesco Bullo (UC Santa Barbara)
TITLE: Network Systems in Science and Technology
ABSTRACT: Network systems are mathematical models for the study of cooperation,propagation, synchronization and other dynamical phenomena that arise among interconnected agents. Network systems are widespread in science as they are fundamental modeling tools, e.g., in sociology, ecology, and epidemiology. They also play a key growing role in technology, e.g., in the design of power grids, cooperative robotic behaviors and distributed computing algorithms. Their study pervades applied mathematics.This talk will review established and emerging frameworks for modeling, analysis and design of network systems. I will survey the available comprehensive theory for linear network systems and then highlight selected nonlinear concepts. Next, I will focus on recent developments by my group on the evolution of opinions and social power in social networks and the analysis of security and transmission capacity in power grids.
SPEAKER: Francesco Bullo, Mechanical Engineering, UC Santa Barbara
BIOGRAPHY: Francesco Bullo is a Professor with the Mechanical Engineering Department and the Center for Control, Dynamical Systems and Computation at UC Santa Barbara. He was previously associated with the University of Padova, the California Institute of Technology and the University of Illinois at Urbana-Champaign. His main research interests are network systems and distributed control with application to robotic coordination, power grids and social networks. He is the coauthor of “Geometric Control of Mechanical Systems” (Springer, 2004) and “Distributed Control of Robotic Networks” (Princeton, 2009). His articles received the 2008 IEEE CSM Outstanding Paper Award, the 2010 Hugo Schuck Best Paper Award, the 2013 SIAG/CST Best Paper Prize, and the 2014 Automatica Best Paper Award. He is currently serving as Chair of the Mechanical Engineering Department at UCSB and has served as Vice-President for Technical Activities and for Publications for the IEEE Control Systems Society.