Conferences, Lectures, & Seminars
Events for September
-
ECE Seminar - Deconstructing Distributed Deep Learning (and other problems)
Thu, Sep 08, 2022 @ 10:00 AM - 11:00 AM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Dr. Leana Golubchik, Stephen and Etta Varra Professor, Viterbi School of Engineering
Talk Title: Deconstructing Distributed Deep Learning (and other problems)
Abstract: Deep learning has made substantial strides in many applications. New training techniques, larger datasets, increased computing power, and easy-to-use machine learning frameworks all contribute to this success. An important missing piece is that deep learning frameworks do not assist users with provisioning cloud resources; most users need to try different job configurations to determine the resulting training performance. When resources are shared among hundreds of jobs, this approach quickly becomes infeasible. At a larger scale, when multiple datacenters need to manage deep learning (and other) workloads, different degrees of affinity for their resources create incentives to collaborate, e.g., as in cloud federations. In this talk, I will focus on our approach to predicting performance metrics and scheduling algorithms that use these metrics to guide resource allocation. Our goal is to broaden the population of users capable of developing deep learning models and applying them to novel applications. I will also discuss resource sharing for such workloads, mainly in the context of hybrid cloud federations, and conclude with some future directions.
Biography: Leana Golubchik is the Stephen and Etta Varra Professor at USC. She also serves as the Director of the Women in Science and Engineering (WiSE) program. Prior to that, she was on the faculty at the University of Maryland and Columbia University. Leana received her PhD from UCLA. Her research interests are broadly in the design and evaluation of large scale distributed systems, including hybrid clouds and data centers and their applications in data analytics, machine learning, and privacy. Leana received several awards, including the IBM Faculty Award, the NSF CAREER Award, the Okawa Foundation Award, the WTS-LA Diversity Leadership Award, the USC Remarkable Women Award, and the USC Mellon Culture of Mentoring Award. She is the Editor-in-Chief of the ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS) and on the Editorial Board of the Performance Evaluation journal as well as a member of the IFIP WG 7.3 (elected in 2000). She is a Fellow of AAAS.
Host: Dr. Richard M. Leahy (leahy@sipi.usc.edu)
Webcast: https://usc.zoom.us/j/92960680288?pwd=QndJKzUrSlVsaXZCSkJKRTlldTN0UT09More Information: ECE Seminar Announcement-Golubchik-090822.pdf
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
WebCast Link: https://usc.zoom.us/j/92960680288?pwd=QndJKzUrSlVsaXZCSkJKRTlldTN0UT09
Audiences: Everyone Is Invited
Contact: Mayumi Thrasher
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series
Fri, Sep 09, 2022 @ 11:00 AM - 12:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Oscar Morales-Ponce, Department of Engineering and Computer Science at California State University, Long Beach
Talk Title: Distributed Algorithms for Mobile Robots
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: A set of inexpensive mobile robots can work together to solve different tasks efficiently. However, the design and analysis of correct algorithms are challenging and require careful analysis. In this talk, we present recent results of distributed algorithms for mobile robots. Then, we present a new framework that aims to simplify the implementation of distributed algorithms in physical robots and conclude with some preliminary results.
Biography: Dr. Oscar Morales-Ponce is an Associate Professor in the Department of Engineering and Computer Science at California State University, Long Beach. Dr. Morales-Ponce's research focuses on the design and analysis of distributed algorithms for mobile robots. He has applied his theoretical research to cyber-physical systems. His research interests include theoretical and practical aspects of distributed computing, wireless sensor networks, mobile robots, and computational geometry.
Zoom Meeting ID: 973 4638 7081
Zoom Passcode: 47519
Host: Bhaskar Krishnamachari, bkrishna@usc.edu
Webcast: https://usc.zoom.us/j/97346387081?pwd=WlVsemQ0dUhmYzR1WC84Nk5Ua1hzUT09Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
WebCast Link: https://usc.zoom.us/j/97346387081?pwd=WlVsemQ0dUhmYzR1WC84Nk5Ua1hzUT09
Audiences: Everyone Is Invited
Contact: Talyia White
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
Ming Hsieh Institute Seminar Series on Integrated Systems
Fri, Sep 09, 2022 @ 02:00 PM - 03:30 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Jaydeep Kulkarni, Assistant Professor, The University of Texas at Austin
Talk Title: Ising-Memory: Advancing Combinatorial Optimization Accelerators with Ising Computations in Memory
Host: Hossein Hashemi, Mike Chen and Constantine Sideris
More Information: MHI Seminar Series IS - Jaydeep Kulkarni.pdf
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Jenny Lin
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
ECE Seminar
Wed, Sep 14, 2022 @ 11:00 AM - 12:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Rodney Van Meter, Professor / Keio University
Talk Title: A Quantum Internet Architecture
Abstract: Entangled quantum communication is advancing rapidly, with laboratory and metropolitan testbeds under development, but to date there is no unifying Quantum Internet architecture. We propose a Quantum Internet architecture centered around the Quantum Recursive Network Architecture (QRNA), using RuleSet-based connections established using a two-pass connection setup. Scalability and internetworking (for both technological and administrative boundaries) are achieved using recursion in naming and connection control. In the near term, this architecture will support end-to-end, two-party entanglement on minimal hardware, and it will extend smoothly to multi-party entanglement and the use of quantum error correction on advanced hardware in the future. For a network internal gateway protocol, we recommend (but do not require) qDijkstra with seconds per Bell pair as link cost for routing; the external gateway protocol is designed to build recursively. The strength of our architecture is shown by assessing extensibility and demonstrating how robust protocol operation can be confirmed using the RuleSet paradigm.
Biography: Rodney Van Meter received a B.S. in engineering and applied science from the California Institute of Technology in 1986, an M.S. in computer engineering from the University of Southern California in 1991, and a Ph.D. in computer science from Keio University in 2006. His current research centers on quantum computer architecture, quantum networking and quantum education. He is the author of the book _Quantum Networking_. Other research interests include storage systems, networking, and post-Moore's Law computer architecture. He is now a Professor of Environment and Information Studies at Keio University's Shonan Fujisawa Campus. He is the Vice Center Chair of Keio's Quantum Computing Center, co-chair of the Quantum Internet
Research Group, a leader of the Quantum Internet Task Force, and a board member of the WIDE Project. Dr. Van Meter is a member of AAAS, ACM, APS, and IEEE. He is currently Editor in Chief of IEEE Transactions on Quantum Engineering, but this talk is 100% personal opinions.
Host: Todd Brun
Webcast: https://usc.zoom.us/j/92417517950?pwd=WUkycy90cndVQko5R3RhQ1U3STBDdz09Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
WebCast Link: https://usc.zoom.us/j/92417517950?pwd=WUkycy90cndVQko5R3RhQ1U3STBDdz09
Audiences: Everyone Is Invited
Contact: Corine Wong
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series
Wed, Sep 14, 2022 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Bharadwaj Satchidanandan, Massachusetts Institute of Technology
Talk Title: Mechanism Design for Next-Generation Electricity Markets
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: The power system is on the cusp of a revolution. The coming decade could witness increased renewable energy penetration, Electric Vehicle (EV) penetration, EV energy storage integration, demand response programs, etc. These changes have a profound impact on electricity market operations. New mechanisms must be devised to address a variety of important problems that are anticipated to arise in next-generation electricity markets. Most of the existing mechanism design settings are insufficient to model certain crucial features of these problems. To address this, we introduce the setting of Two-Stage Repeated Stochastic Games using which many problems that arise in the context of electricity markets can be readily modeled. We then present a mechanism for two-stage repeated stochastic games that implements truth-telling as a Dominant Strategy Non-Bankrupting Equilibrium --- a new notion of equilibrium that we have introduced for games. The mechanism also guarantees individual rationality and maximizes social welfare.
Biography: Bharadwaj Satchidanandan is a postdoctoral researcher at Massachusetts Institute of Technology where he is advised by Prof. Munther Dahleh. He received his Ph.D. in 2019 from Texas A&M University where he was advised by Prof. P. R. Kumar. His research interests include cyber-physical systems, security, renewable energy, mechanism design, game theory, etc.
Host: Pierluigi Nuzzo, nuzzo@usc.edu
Webcast: https://usc.zoom.us/j/98083929768?pwd=SUJreHk0N0ZXbk5QZ1ZPUkRlM3FmZz09Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
WebCast Link: https://usc.zoom.us/j/98083929768?pwd=SUJreHk0N0ZXbk5QZ1ZPUkRlM3FmZz09
Audiences: Everyone Is Invited
Contact: Talyia White
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
Medical Imaging Seminar Series
Fri, Sep 16, 2022 @ 11:00 AM - 12:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Yunsong Liu, Electrical and Computer Engineering, University of Southern California
Talk Title: Optimization Methods and Algorithms for Constrained Magnetic Resonance Imaging
Series: Medical Imaging Seminar Series
Abstract: Constrained MRI methods have shown great potential to improve the well-known trade-offs that exist in MRI between data acquisition time, signal-to-noise-ratio, and spatial resolution. In constrained MRI, we utilize prior information about the characteristics of the underlying MRI images to perform data acquisition, image reconstruction, and image analysis tasks more efficiently. This approach generally requires the use of mathematical optimization techniques, although the optimization problems are often challenging to solve efficiently due to their large-scale and non-trivial structure.
In this presentation, I will discuss three novel contributions I have made to mathematical optimization for constrained MRI. First, I will discuss work that utilizes phase constraints to accelerate MRI data acquisition based on non-Fourier radiofrequency encoding. While phase constraints are used classically in MRI, we believe that this is the first time that phase constraints are being applied to enable acceleration along a non-Fourier encoded spatial dimension. We make the novel observation that phase constraints can indeed be successfully used to reduce the number of required non-Fourier encodings, although this requires careful design of the non-Fourier encoding scheme. Results are presented in the context of gSlider, an acquisition method designed for highly-efficient high-resolution diffusion MRI. Second, we will describe a new algorithm we have developed that is designed for the separate regularization of magnitude and phase in MRI reconstruction problems. Our approach is based on a novel application of the proximal alternating linearized minimization algorithm (PALM), and incorporates additional novel features (i.e., Nesterov's momentum and independent selection of the step sizes for each coordinate) to increase convergence speed. Depending on the application, our proposed algorithm can be hundreds of times faster than existing algorithms for this problem. Finally, we will describe a novel algorithm that we have developed for spatial-spectral partial volume compartment mapping with applications to multicomponent diffusion and relaxation MRI. Our proposed algorithm is based on a novel application of the linearized alternating directions method of multipliers (LADMM) approach that takes advantage of the special structure of the inverse problem, and depending on the dataset, can achieve up to 5-fold acceleration compared to previous algorithms for this problem.
Biography: Yunsong Liu is a PhD candidate in Electrical and Computer Engineering at University of Southern California, supervised by Prof. Justin Haldar. He obtained his Bachelor's and Master's degree in Electrical Engineering at Xiamen University, China. He then spent half a year working on structured matrix recovery in Math Department at Hong Kong University of Science and Technology before joining Prof. Haldar's group at USC. His research has been focused on signal processing and optimization with applications in MRI.
Host: Justin Haldar, jhaldar@usc.edu
Webcast: https://usc.zoom.us/j/92068313291?pwd=MnlVUTJrWkRpUVdQYU04S2t4cUVjZz09Location: Online
WebCast Link: https://usc.zoom.us/j/92068313291?pwd=MnlVUTJrWkRpUVdQYU04S2t4cUVjZz09
Audiences: Everyone Is Invited
Contact: Talyia White
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
ECE-EP Seminar - Dr. Kaiyuan Yang, Friday, September 16th at 2pm in EEB 248
Fri, Sep 16, 2022 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Dr. Kaiyuan Yang, Rice University
Talk Title: Tackling the Energy Limitations in Miniaturized Internet of Everything Devices
Abstract: Following Moore's law and Bell's law, miniaturization of electronic devices is continuously transforming the human life and the society. The next generation miniature devices are envisioned to ubiquitously connect physical objects in the world, digitizing cities, homes, industries, and human health and medicine. The major challenge in building these emerging hardware platforms is achieving all the desired sensing, computing, communication, and security functionalities under extreme power and size constraints. In this talk, I will present our recent efforts on unconventional circuit and systems designs to enable millimetric implantable bioelectronic medicine, and escalating security and intelligence of all sorts of edge devices. We take holistic design approaches to alleviate the energy issues without compromising system usability, exploring cross-disciplinary co-design opportunities from materials and devices, all the
way up to computing algorithms and programming languages. Specifically, I will present (1) magnetoelectric power and data transfer technologies to millimeter-sized battery-free bioelectronic implants, with system integrations and validations; (2) hardware-enabled foundational security primitives and modules fitting stringent power and cost budgets; and (3) processing in-memory systems for deep learning and stream processing with cross-layer designs.
Biography: Dr. Kaiyuan Yang is currently an Assistant Professor of ECE at Rice University, USA. He received his B.S. degree in Electronic Engineering from Tsinghua University, China, in 2012, and his Ph.D. degree in Electrical Engineering from the University of Michigan, Ann Arbor, MI, in 2017. His research interests include digital and mixed-signal circuit and system design for secure and intelligent microsystems, bioelectronics, and hardware security.
Dr. Yang is a recipient of the 2022 National Science Foundation (NSF) CAREER award, 2016 IEEE SSCS Predoctoral Achievement Award, and multiple best paper awards from premier conferences in various fields, including 2021 IEEE Custom Integrated Circuit Conference (CICC), 2016 IEEE Symposium on Security and Privacy (Oakland), 2015 IEEE International Symposium on Circuits
and Systems (ISCAS), and the Best Student Paper Award finalist at 2022 RFIC and 2019 CICC. He is currently serving as an associate editor of IEEE TVLSI and a co-chair of SSCS Houston chapter.
Host: Prof. Hashemi, Prof. Chen and Prof. Sideris
More Information: Abstract and Bio-Sept 16-Yang.pdf
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Marilyn Poplawski
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series
Wed, Sep 21, 2022 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Luca Geretti, Computer Science Department at the University of Verona (Italy)
Talk Title: High-Order Differential Inclusions for Continuous Decomposition of Nonlinear Dynamical Systems
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: Formal verification of nonlinear dynamical systems particularly suffers the curse of dimensionality. While linear systems of tens of variables can be successfully analyzed, it is not the case of systems where symbolic methods are generally infeasible. A numerical approach to the problem would require decoupling the system in order to reduce the dimensions of each subsystem and consequently mitigate the problem. In this lecture we propose a solution based on high-order differential inclusions, which can be used to replace coupling variables with bounded input noises. The formulation for differential inclusions for nonlinear systems is provided, along with a discussion on its implementation in the Ariadne library for rigorous numerics. We also compare the performance and scalability with the current state-of-the-art on tools for the analysis of nonlinear open dynamical systems.
Biography: Luca Geretti is currently a research associate at the Computer Science department of the University of Verona (Italy). He obtained his master's degree in Electronics Engineering at the University of Udine (Italy) with a thesis on "Design and FPGA implementation of stochastic feed-forward neural networks" and his PhD degree in Computer Engineering from the same institute, while switching his focus to "Autonomy and collaboration in ad-hoc mobile networks". He then moved to Verona to work on formal verification of nonlinear hybrid systems. He currently leads the Nonlinear group for the yearly ARCH competition of formal verification tools, where he also participates with the Ariadne software of which is the main engineer. From October 2022 he will be a research scholar at the University of Southern California.
Host: Pierluigi Nuzzo, nuzzo@usc.edu
Webcast: https://usc.zoom.us/webinar/register/WN_ySGInGwKRKKHX7NHJwTk3QLocation: Hughes Aircraft Electrical Engineering Center (EEB) - 132
WebCast Link: https://usc.zoom.us/webinar/register/WN_ySGInGwKRKKHX7NHJwTk3Q
Audiences: Everyone Is Invited
Contact: Talyia White
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
USC-AMAZON CENTER FALL 2022 KICKOFF MEETING
Fri, Sep 23, 2022 @ 09:00 AM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Research presentations from the 5 projects that were selected for 2022-2023 and from the 3 Amazon PhD fellows.,
Host: Salman Avestimehr
More Information: 2022 Kickoff Schedule (2)[36].pdf
Location: Michelson Center for Convergent Bioscience (MCB) - MCB 101
Audiences: Everyone Is Invited
Contact: Ariana Perez
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
Medical Imaging Seminar Series
Wed, Sep 28, 2022 @ 10:00 AM - 11:00 AM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Rodrigo A. Lobos, Electrical and Computer Engineering, University of Southern California
Talk Title: New Theory and Methods for Accelerated MRI Reconstruction
Series: Medical Imaging Seminar Series
Abstract: Magnetic resonance imaging (MRI) has revolutionized medicine by providing high-quality images of living tissue in a safe and noninvasive manner. However, the data-acquisition time can still be restrictively long in real applications. To accelerate this task, one popular alternative has been acquiring a reduced amount of data samples, and then using reconstruction methods to generate images out of the acquired undersampled data. In this talk we discuss novel contributions to improve the performance and efficiency of MRI reconstruction methods.
We start revisiting the shift-invariant linear predictability relationships that exist in the MRI data (k-space), and how they can be leveraged using structured low-rank modeling (SLM). Then, we propose novel reconstruction approaches based on SLM which additionally incorporate in-prior knowledge learned from previously acquired reference data. We show that this approach is particularly useful in the context of ghost-artifact correction in echo planar imaging (EPI), where we theoretically establish that in-prior knowledge is necessary in order to avoid ill-posedness when using SLM reconstruction methods. Next, we provide a robust and powerful SLM reconstruction method able to account for potential imperfections in the reference data.
In the last part of the talk, we show that linear predictability principles can also be used in the context of sensitivity map estimation in multichannel MRI. We start showing new theoretical results that provide a novel mathematical description for the estimation problem. Specifically, we show that sensitivity maps at particular locations belong to a nullspace of a matrix created from linear predictability relationships. Then, based on advanced signal processing techniques, we propose a set of computational methods which allow massive improvements in the computational complexity of sensitivity map estimation methods based on subspaces. We show cases where conventional estimation methods obtain a ~30-fold acceleration when combined with our proposed computational techniques. Notably, these improvements in computational time and memory usage are obtained without sacrificing estimation accuracy.
Biography: Rodrigo A. Lobos is a Ph.D candidate in Electrical and Computer Engineering at University of Southern California, supervised by Prof. Justin Haldar. He obtained his Bachelor's and Master's degree in Electrical Engineering at Universidad de Chile, where he received the Best Master's Thesis award in Electrical Engineering in 2015. During this time, The School of Engineers of Chile recognized Rodrigo as the best electrical engineer graduated from Universidad de Chile in 2015. He then joined Prof. Haldar's group at USC where his research has been focused on signal processing, computational imaging, and machine learning applied to medical imaging applications. Rodrigo's work has been recognized in distinguished medical imaging conferences, where he obtained a Best Paper Finalist award in IEEE ISBI 2020. At University of Southern California Rodrigo was selected as a Ming Hsieh Institute Ph.D Scholar.
Host: Justin Haldar, jhaldar@usc.edu
Webcast: https://urldefense.com/v3/__https://usc.zoom.us/j/94607557250__;!!LIr3w8kk_Xxm!uZV7rWNY9SZv84hGG8xVjIzaW-bOpw5wrC274dcH8O-_Ls5VS_GnF-W-kPDxVNU489rUSCih4KKPsjXwog$Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Talyia White
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
New Theory and Methods for Accelerated MRI Reconstruction
Wed, Sep 28, 2022 @ 10:00 AM - 11:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Rodrigo Lobos , Electrical and Computer Engineering
Talk Title: Dissertation Defense
Host: Rodrigo Lobos
More Information: Rodrigo Lobos_MHI-MISS_Sept. 28, 2022.pdf
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Talyia White
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
Center of Autonomy and AI, Center for Cyber-Physical Systems and the Internet of Things, and Ming Hsieh Institute Seminar Series
Wed, Sep 28, 2022 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Giulia Pedrielli, School of Computing and Augmented Intelligence (SCAI) at Arizona State University.
Talk Title: Going Inside the Box: Bayesian Optimization for Verification of Cyber Physical Systems with Varying Levels of System Knowledge
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: Systems across automotive, bio-pharma, aerospace, energy, have become increasingly complex, and simulation represents a standard tool to evaluate their performance independently from the purpose of the analysis being optimization, control, certification. As a result, black-box optimization, that can embed simulation to perform a wide range of analyses, has attracted a lot of attention from the science and engineering communities. This talk centers around Black-box optimization methods, focusing on random search approaches (such randomness is injected in the search independently from the problem being affected by noise) in the broad area of verification of Cyber Physical Systems. In this context, the problem of falsifying properties is translated into the minimization of a robustness function. This is a metric function that quantifies how far a CPS execution is from violating a property of interest.
We first focus on control and acceleration of the explore/exploit process for the falsification of safety requirements without exploiting any property of the system under analysis. Our approach alternates local and global search using local knowledge while exploring the space of possible solutions. The performance of the proposed approach is analyzed, and key future directions are discussed in the context of Cyberphysical systems safety evaluation.
In the second part of the talk, we present algorithms developed in the scope of certification of safety critical systems that in some form exploit some structure of the problem at hand. Part-X is a family of partitioning informed Bayesian optimizers that can identify regions in which the system can present safety concerns (bugs in the case a software is analyzed). In this sense, the algorithm learns structure of the robustness function used to find falsification. We also produce a global estimate of the falsification volume. The algorithm min-BO works to identify faults in systems that have complex requirements that can be decomposed into a set of simpler requirements that need to be simultaneously satisfied by the system (conjunctive requirements). Finally, we show the basic ideas behind the design of algorithms that can exploit, when available, instrumented source code for the CPS to verify.
Biography: Giulia Pedrielli (https://www.gpedriel.com/) is currently Associate Professor for the School of Computing and Augmented Intelligence (SCAI) at Arizona State University. She graduated from the Department of Mechanical Engineering of Politecnico di Milano. Giulia develops her research in design and analysis of random algorithms for global optimization, with focus on improving finite time performance and scalability of these approaches. Her work is motivated by design and control of next generation manufacturing systems in bio-pharma and aerospace applications, as well as problems in the design and evaluation of complex molecular structures in life-science. Applications of her work are in individualized cancer care, bio-manufacturing, design and control of self-assembled RNA structures, verification of Cyberphysical systems. Her research is funded by the NSF, DHS, DARPA, Intel, Lockheed Martin.
Host: Pierluigi Nuzzo, nuzzo@usc.edu
Webcast: https://usc.zoom.us/j/98083929768?pwd=SUJreHk0N0ZXbk5QZ1ZPUkRlM3FmZz09Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
WebCast Link: https://usc.zoom.us/j/98083929768?pwd=SUJreHk0N0ZXbk5QZ1ZPUkRlM3FmZz09
Audiences: Everyone Is Invited
Contact: Talyia White
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor. -
MHI ISSS Seminar - Dr. Wanghua Wu, Friday, September 30th at 2pm in EEB 132
Fri, Sep 30, 2022 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Wanghua Wu, Samsung Semiconductor Inc.
Talk Title: Recent Trends and Advances in High Performance Fractional-N PLL Design
Series: Integrated Systems
Abstract: any advanced
electronic systems. In recent years, both analog and all-digital PLLs employing sampling or sub-sampling phase detector have gained popularity and demonstrated below 100-fs integrated jitter and superior figure-of-merit. This talk focuses on this PLL architecture and elaborates the advanced design techniques
to achieve low jitter, low fractional spurs, fast locking, and low power operation. Both circuit design and digital calibration techniques will be presented in detail. In addition, recent advances in reference clock generation will also be discussed as it is crucial for high performance PLLs.
Biography: Dr. Wanghua Wu received the B.Sc. degree from Fudan University, Shanghai, China, in 2004, M.Sc. degree and Ph.D. degree from Delft University of Technology, The Netherlands in 2007 and 2013, respectively, all in electrical engineering. From 2013 to 2016, she was an RFIC Design Engineer in Marvell, developing high performance frequency synthesizers for WLAN transceivers. Since 2016, she has been with Samsung Semiconductor Inc. USA. She is currently a Principal Engineer and Senior Manager, leading advanced cellular RFIC design. Her research interest is on CMOS frequency synthesis for wireless applications. She currently serves as the Technical Program Committee member of IEEE International Solid-State Circuits Conference (ISSCC), Custom Integrated Circuits Conference (CICC), and Radio Frequency Integrated Circuits Symposium (RFIC).
Host: MHI - ISSS, Hashemi, Chen and Sideris
More Info: Meeting ID: 926 7347 1681, Passcode: 960345
More Information: Abstract and Bio-Sept 30-Wu.pdf
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Marilyn Poplawski
Event Link: Meeting ID: 926 7347 1681, Passcode: 960345
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor.
