Events for the 1st week of February
-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems
Wed, Feb 01, 2017 @ 02:00 PM - 03:30 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Georgios Fainekos, Associate Professor, Arizona State University (ASU)
Talk Title: Beyond Requirements Falsification: Semi-formal methods and tools for the analysis of Cyber-Physical Systems
Abstract: Correct-by-design synthesis methods for Cyber-Physical Systems (CPS) are still in their infancy for CPS with complex physical dynamics. For that reason, a combination of design theories for simpler systems and/or ad-hoc design approaches are utilized. Hence, numerous design and implementation errors are discovered while CPS are operational in the field. Such errors can have catastrophic effects to human life and to the economy. Over the last few years, requirements guided falsification methods have proven to be a practical approach to the verification problem of industrial size CPS. However, requirements falsification is just one component of the necessary tools for the development of safe and reliable CPS. In this talk, we provide an overview of our research in providing support for all the stages of the development for CPS, from formal requirements elicitation and mining to system conformance to on-line monitoring. Most of our methods have been implemented in a Matlab (TM) toolbox called S-TaLiRo (System's TemporAl LogIc Robustness). Finally, in this talk, we demonstrate that S-TaLiRo can provide answers to challenge problems from the automotive industry.
Biography: Georgios Fainekos is an Associate Professor at the School of Computing, Informatics and Decision Systems Engineering (SCIDSE) at Arizona State University (ASU). He is director of the Cyber-Physical Systems (CPS) Lab and he is currently affiliated with the NSF I/UCR Center for Embedded Systems (CES) at ASU. He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP laboratory. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU, he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working on Cyber-Physical Systems (CPS) and robotics. In particular, his expertise is on formal methods, logic, artificial intelligence, optimization and control theory. His research has applications on automotive systems, medical devices, autonomous (ground and aerial) robots and human-robot interaction (HRI). In 2013, Dr. Fainekos received the NSF CAREER award. He was also recipient of the SCIDSE Best Researcher Junior Faculty award for 2013 and of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. Two of his conference papers have been nominated for student best paper awards.
Host: Paul Bogdan
Location: Ronald Tutor Hall of Engineering (RTH) - 105
Audiences: Everyone Is Invited
Contact: Estela Lopez
-
MHI CommNetS Seminar
Wed, Feb 01, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Dr. Nikolai Matni, Caltech
Talk Title: A system level approach to controller synthesis
Series: CommNetS
Abstract: Biological and advanced cyberphysical control systems often have limited, sparse, uncertain, and distributed communication and computing in addition to sensing and actuation. Fortunately, the corresponding plants and performance requirements are also sparse and structured, and this must be exploited to make constrained controller design feasible and tractable. We introduce a new "system level" (SL) approach involving three complementary SL elements. System Level Parameterizations (SLPs) generalize state space and Youla parameterizations of all stabilizing controllers and the responses they achieve, and combine with System Level Constraints (SLCs) to parameterize the largest known class of constrained stabilizing controllers that admit a convex characterization, generalizing quadratic invariance. SLPs also lead to a generalization of detectability and stabilizability, suggesting the existence of a rich separation structure, that when combined with SLCs, is naturally applicable to structurally constrained controllers and systems. We further provide a catalog of useful SLCs, most importantly including sparsity, delay, and locality constraints on both communication and computing internal to the controller, and external system performance. The resulting System Level Synthesis (SLS) problems that arise define the broadest known class of constrained optimal control problems that can be solved using convex programming. We end with an example that illustrates how this system level approach can systematically explore tradeoffs in controller performance, robustness, and synthesis/implementation complexity. This is joint work with Yuh-Shyang Wang and John C. Doyle at Caltech.
Biography: Nikolai is a postdoctoral scholar in Computing and Mathematical Sciences at the California Institute of Technology. He received the B.A.Sc. and M.A.Sc. in Electrical Engineering from the University of British Columbia, and the Ph.D. in Control and Dynamical Systems from the California Institute of Technology in June 2016. His research interests broadly encompass the use of layering, dynamics, control and optimization in the design and analysis of complex cyber-physical systems; current application areas include software defined networking and sensorimotor control.
Host: Prof. Insoon Yang
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Annie Yu
-
USC Physics Seminar, Eli Kapon, Friday, February 3, 2017 in SSL 150 @ 2:00pm
Fri, Feb 03, 2017 @ 02:00 PM - 03:30 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Eli Kapon, Laboratory of Physics of Nanostructures, Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Talk Title: Quantum Photonics with Ordered Quantum Dot and Quantum Wire Systems
Abstract: Quantum wire (QWR) and quantum dot (QD) systems offer means for tailoring the electronic structure of semiconductors thanks to multi-dimensional quantum confinement. By placing them in confined photonic structures (waveguides, cavities) it is possible to tailor light-matter interaction via the introduced modifications in the density of states of excitons and photons. We review the technology of ordered QWR and QD structures grown by metallolrganic vapor phase epitaxy on patterned substrates and their integration with photonic components. Tailoring exciton wavefunctions, controlling their recombination dynamics, and observing cavity quantum electrodynamic effects in the integrated structures are described. Applications in quantum information technology and ultralow threshold lasers are discussed.
Biography: Eli Kapon received his Ph.D. in physics from Tel Aviv University, Israel in 1982. He then spent two years at the California Institute of Technology, Pasadena, as a Chaim Weizmann Research Fellow, and then nine years at Bellcore, New Jersey, as member of technical staff and District Manager. Since 1993 he has been Professor of Physics of Nanostructures at the Swiss Federal Institute of Technology in Lausanne (EPFL), where he heads the Laboratory of Physics of Nanostructures. In 1999-2000 he was a Sackler Scholar at the Mortimer and Raymond Sackler Institute of Advanced Studies in Tel Aviv University, Israel. During that period he helped establishing the Tel Aviv University Center for Nanoscience and Nanotechnology and served as its first Director from 2000 to 2002. In 2001 he founded the start up BeamExpress, serving as its Chief Scientist. His research interests include quantum- and nano-photonics, low-dimensional semiconductors, and vertical cavity semiconductor lasers. Prof. Kapon is Fellow of the Optical Society of America, the Institute of Electrical and Electronics Engineers, and the American Physical Society of America, a recipient of a 2007 Humboldt Research Award, and a Photonics Society Distinguished Lecturer for 2105-2017.
Host: Physics Seminar, Quantum Information - Condensed Matter - Biophysics
Location: Seaver Science Library (SSL) - 150
Audiences: Everyone Is Invited
Contact: Marilyn Poplawski
-
Ming Hsieh Institute Seminar Series on Integrated Systems
Fri, Feb 03, 2017 @ 02:00 PM - 04:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Dr. Vivienne Sze, Professor at MIT
Talk Title: Energy-Efficient Hardware for Embedded Vision and Deep Convolutional Neural Network
Host: Prof. Dina Reda El-Damak
More Information: MHI Seminar Series IS - Vivienne Sze.pdf
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Jenny Lin