Data-Driven and High-Dimensional Design Verification for Parametric Uncertain Systems
Zheng Zhang
Massachusetts Institute of Technology
DEIB - Building 24, Alfa Room (ground floor, via Golgi 40, Milano)
May 25th, 2017
11.00 am
Contacts:
Paolo Maffezzoni
Research Line:
Circuits and systems: theory and applications
Massachusetts Institute of Technology
DEIB - Building 24, Alfa Room (ground floor, via Golgi 40, Milano)
May 25th, 2017
11.00 am
Contacts:
Paolo Maffezzoni
Research Line:
Circuits and systems: theory and applications
Sommario
Data-Driven and High-Dimensional Design Verification for Parametric Uncertain Systems: Nanoscale Systems and Multi-Domain Applications
Uncertainties can cause significant performance degradations and functional failures in numerous engineering systems. Examples include (but are not limited to) nanoscale devices and systems with fabrication process variations, robot control without full knowledge of design and/or environmental parameters, energy systems with weather-dependent renewable energy sources, and magnetic resonance imaging (MRI) with incomplete and noisy scanning data. Modeling, controlling and optimizing these problems are generally data-intensive: one has to generate and analyze a huge amount of costly data in a parameter space. This often leads to the notorious curse of dimensionality: the complexity grows extremely fast with the number of uncertainty or/and design parameters.
This talk introduces some of our fast non-Monte-Carlo techniques and software for estimating the uncertain performance of engineering systems. The main application is variability analysis of nanoscale IC, MEMS and integrated photonics. Extended applications include energy systems and MRI. These techniques can accelerate a lot of uncertainty-aware optimization, control and data inference tasks (e.g., yield optimization of silicon chips, robust control of robots and power systems, electrical property tomography using MRI data). The first part will present some fast algorithms to simulate nonlinear dynamic systems influenced by a small number of uncertain parameters. The second part will present some high-dimensional algorithms to predict the performance uncertainties of an engineering system influenced by many random parameters.
Uncertainties can cause significant performance degradations and functional failures in numerous engineering systems. Examples include (but are not limited to) nanoscale devices and systems with fabrication process variations, robot control without full knowledge of design and/or environmental parameters, energy systems with weather-dependent renewable energy sources, and magnetic resonance imaging (MRI) with incomplete and noisy scanning data. Modeling, controlling and optimizing these problems are generally data-intensive: one has to generate and analyze a huge amount of costly data in a parameter space. This often leads to the notorious curse of dimensionality: the complexity grows extremely fast with the number of uncertainty or/and design parameters.
This talk introduces some of our fast non-Monte-Carlo techniques and software for estimating the uncertain performance of engineering systems. The main application is variability analysis of nanoscale IC, MEMS and integrated photonics. Extended applications include energy systems and MRI. These techniques can accelerate a lot of uncertainty-aware optimization, control and data inference tasks (e.g., yield optimization of silicon chips, robust control of robots and power systems, electrical property tomography using MRI data). The first part will present some fast algorithms to simulate nonlinear dynamic systems influenced by a small number of uncertain parameters. The second part will present some high-dimensional algorithms to predict the performance uncertainties of an engineering system influenced by many random parameters.
Biografia
Zheng Zhang is a postdoc associate with MIT, where he received his Ph.D. degree in EECS in 2015. He is interested in high-dimensional uncertainty analysis and data inference for nanoscale devices and systems, and for other applications including hybrid systems (e.g., power systems and robots) and MRI. Dr. Zhang received the 2016 ACM Outstanding PhD Dissertation Award in Electronic Design Automation, the 2015 Doctoral Dissertation Seminar Award from the Microsystems Technology Laboratory of MIT, and the 2014 Best Paper Award from IEEE Transactions on CAD of Integrated Circuits and Systems. He is a TPC member of Design Automation Conference and International Conference on Computer-Aided Design.