Events for the 4th week of August
-
Model-based and data-based flow analysis using optimization
Mon, Aug 21, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Peter Schmid, Imperial College, London
Talk Title: Model-based and data-based flow analysis using optimization
Series: Fall 2017 Joint CSC@USC/CommNetS-MHI Seminar Series
Abstract: In recent years, PDE-constrained optimization has become an effective and efficient tool in the analysis of complex fluid systems. Inherent stability, receptivity to external or internal forcing, or sensitivity to uncertainties or imperfections of fluid systems can be treated within this approach. We will present a computational framework based on this concept and demonstrate its ability to extract relevant information from numerical simulations, with examples from aeroacoustics, inertial mixing, roughness-induced receptivity, and turbomachinery cascades.
We will also discuss the reformulation of the PDE-constrained into a data-constrained framework and show preliminary steps in the analysis of fluid systems based on data only. We will present work in progress on phase-space clustering, data assimilation, and dynamic observers to detect and describe relevant mechanisms and coherent structures in data sequences.
Biography: Peter Schmid holds a Chair Professorship of Applied Mathematics and Mathematical Physics in the Department of Mathematics at Imperial College, London. Before joining the department in 2013, he held a position of research director (DR2) with the French National Research Agency (CNRS) and a professorship (PCC) at the Ecole Polytechnique in France, from 2005 to 2014. Before then, he was a faculty member in Applied Mathematics at the University of Washington in Seattle, WA (from 1993 to 2005).
Professor Schmid is a Fellow of the American Physical Society and a member of the editorial board of the Physical Review Fluids. He received his PhD in Mathematics in 1993 from the Massachusetts Institute of Technology and his Engineer's Degree in Aerospace Engineering from the Technical University Munich. His research lies in the area of computational fluid mechanics, with emphasis on stability theory, receptivity theory, flow control, model reduction, and system identification. He is also interested in methods for quantitative flow analysis for numerical and experimental data.
Host: Mihailo Jovanovic, mihailo@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Gerrielyn Ramos
-
Networking for Big Data: Theory and Optimization for NDN
Tue, Aug 22, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Edmund Yeh, Northeastern University
Talk Title: Networking for Big Data: Theory and Optimization for NDN
Abstract: The advent of Big Data is stimulating the development of new networking architectures which facilitate the acquisition, transmission, storage, and computation of data. In particular, Named Data Networking (NDN) is an emerging content-centric networking architecture which focuses on enabling end users to obtain the data they want, rather than to communicate with specific nodes. By naming content instead of their locations, NDN transforms data into a first-class network entity.
In this talk, we present a new analytical and design framework for the optimization of key network functionalities within the NDN architecture, which is also broadly applicable to content delivery and peer-to-peer networks. The framework includes the joint optimization of traffic engineering and caching strategies, in order to best utilize both bandwidth and storage for efficient content distribution. It also includes optimal congestion control when user demand for content becomes excessive. We first develop distributed and adaptive algorithms for joint request forwarding and dynamic cache placement and eviction, which effectively achieve network load balancing, thereby maximizing the user demand rate that the NDN network can satisfy. Next, we investigate fair congestion control for NDN. In the absence of source-destination pairs, traditional congestion control schemes are inappropriate. Instead, we develop content-based congestion control algorithms which naturally work in concert with forwarding and caching to achieve a favorable tradeoff between the aggregate user utility from admitted content requests and the total user delay. Numerical experiments within a number of network settings demonstrate the superior performance of these algorithms in terms of multiple metrics.
Joint work with Tracey Ho, Ying Cui, Ran Liu, Michael Burd, and Derek Leong
Biography: Edmund Yeh received his B.S. in Electrical Engineering with Distinction and Phi Beta Kappa from Stanford University in 1994. He then studied at Cambridge University on the Winston Churchill Scholarship, obtaining his M.Phil in Engineering in 1995. He received his Ph.D. in Electrical Engineering and Computer Science from MIT under Professor Robert Gallager in 2001. He is currently Professor of Electrical and Computer Engineering at Northeastern University. He was previously Assistant and Associate Professor of Electrical Engineering, Computer Science, and Statistics at Yale University. He has held visiting positions at MIT, Stanford, Princeton, UC Berkeley, EPFL, and TU Munich.
Professor Yeh was one of the PIs on the original NSF-funded FIA Named Data Networking project. He will serve as General Co-Chair for ACM Conference on Information Centric Networking (ICN) 2018 in Boston. He is the recipient of the Alexander von Humboldt Research Fellowship, the Army Research Office Young Investigator Award, the Winston Churchill Scholarship, the National Science Foundation and Office of Naval Research Graduate Fellowships, the Barry M. Goldwater Scholarship, the Frederick Emmons Terman Engineering Scholastic Award, and the President's Award for Academic Excellence (Stanford University). Professor Yeh has served as the Secretary of the Board of Governors of the IEEE Information Theory Society. He received the Best Paper Award at the 2015 IEEE International Conference on Communications (ICC) Communication Theory Symposium.
Host: Michael Neely, mjneely@usc.edu, EEB 520, x03505
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Gerrielyn Ramos
-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems
Wed, Aug 23, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Davide Bresolin, Assistant Professor, University of Padova, Italy, and Luca Geretti, Research Fellow, University of Verona, Italy
Talk Title: Formal Verification of Nonlinear Hybrid Systems using Ariadne
Abstract: In embedded systems design there is often the need to model complex systems having a mixed discrete and continuous behavior that cannot be characterized faithfully using either discrete or continuous models only. Such systems consist of a discrete control part that operates in a continuous environment and are named hybrid systems. Unfortunately, most of the verification problems for hybrid systems, like reachability analysis, turn out to be undecidable. Because of this, many approximation techniques and tools to estimate the reachable set have been proposed in the literature. However, most of the tools are unable to handle nonlinear dynamics and constraints, and do not perform conservative numerical rounding. In this seminary we present an open-source framework for hybrid system verification, called Ariadne, which exploits approximation techniques based on the theory of computable analysis for implementing formal verification algorithms.
Biography: Davide Bresolin received the Ph.D. degree in computer science from the University of Udine, Udine, Italy, in 2007. He is an Assistant Professor with the Mathematics Department, University of Padova, Italy. From 2007 to 2013, he was a Research Fellow with the Department of Computer Science, University of Verona, Verona, Italy, where he collaborated with the Electronic Systems Design Group (ESD) and the ALTAIR Robotics Group. From 2013 to 2016 he was an Assistant Professor with the Computer Science and Engineering Department, University of Bologna, Bologna, Italy. His research activity is focused on formal verification of cyber-physical and embedded systems using hybrid automata and temporal logics, on automata theory, and on temporal representation and reasoning using interval-based temporal logics.
Luca Geretti received the Laurea degree in electrical engineering and the Ph.D. degree in computer engineering from the University of Udine, Udine, Italy, in 2005 and 2009, respectively. He was a Research Fellow with the Department of Computer Science, University of Verona, Verona, Italy, between 2009 and 2011. He was a Research Fellow with the Department of Electrical Engineering, University of Udine, Udine, Italy, between 2012 and 2015. He is currently a Research Fellow with the Department of Computer Science, University of Verona, Verona, Italy. His current research interests are in the fields of formal verification of cyber-physical systems using hybrid automata, and of parallel and distributed computing.
Host: Pierluigi Nuzzo
Location: Hughes Aircraft Electrical Engineering Center (EEB) - EEB 132
Audiences: Everyone Is Invited
Contact: Estela Lopez
-
Techniques for Content Delivery at Scale in Current and Future Network Architectures
Fri, Aug 25, 2017 @ 03:00 PM - 04:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Nishanth Sastry, King's College London
Talk Title: Techniques for Content Delivery at Scale in Current and Future Network Architectures
Abstract: On-demand video streaming dominates today's Internet traffic mix. For instance, Netflix constitutes a third of the peak time traffic in the USA. Nearly half of UK online households have accessed BBC's shows through its on-demand streaming interface, BBC iPlayer. Using UK-wide traces from BBC iPlayer as a case study, this talk will characterise users' content consumption at scale and discuss techniques that can be deployed at the edge by users to substantially decrease the load in the Internet. We will survey both well-known techniques such as peer-assisted video-on-demand, studying whether it works at scale, as well as new edge-caching mechanisms that can potentially be deployed today. We will conclude by exploring new directions for future network architectures, to address the roots of the pain points observed in our user workload, in a "clean" fashion.
Biography: Nishanth is a Senior Lecturer at King's College London. He holds a PhD from the University of Cambridge, UK, a Master's degree from The University of Texas at Austin, and a Bachelor's degree from Bangalore University, India, all in Computer Science. He has spent several years in Industry, at Cisco Systems and at IBM (both in the Software Group and at the TJ Watson Research Center).
His work in the last few years has focused on analysing large real-world datasets, funded by several grants from two different UK Research Councils (EPSRC and ESRC), as well as by the European Commission. He has given several keynotes about his work, and has frequently been featured in various TV shows and other media outlets including Nature News, New Scientist and BBC.
Host: Andreas Molisch, x04670, molisch@usc.edu
Location: 248
Audiences: Everyone Is Invited
Contact: Gerrielyn Ramos