Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

In this paper, the output reachable estimation and safety verification problems for multi-layer perceptron neural networks are addressed. First, a conception called maximum sensitivity in introduced and, for a class of multi-layer perceptrons whose activation functions are monotonic functions, the maximum sensitivity can be computed via solving convex optimization problems. Then, using a simulation-based method, the output reachable set estimation problem for neural networks is formulated into a chain of optimization problems. Finally, an automated safety verification is developed based on the output reachable set estimation result. An application to the safety verification for a robotic arm model with two joints is presented to show the effectiveness of proposed approaches.Comment: 8 pages, 9 figures, to appear in TNNL

0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit

Near-term quantum computers will soon reach sizes that are challenging to directly simulate, even when employing the most powerful supercomputers. Yet, the ability to simulate these early devices using classical computers is crucial for calibration, validation, and benchmarking. In order to make use of the full potential of systems featuring multi- and many-core processors, we use automatic code generation and optimization of compute kernels, which also enables performance portability. We apply a scheduling algorithm to quantum supremacy circuits in order to reduce the required communication and simulate a 45-qubit circuit on the Cori II supercomputer using 8,192 nodes and 0.5 petabytes of memory. To our knowledge, this constitutes the largest quantum circuit simulation to this date. Our highly-tuned kernels in combination with the reduced communication requirements allow an improvement in time-to-solution over state-of-the-art simulations by more than an order of magnitude at every scale

Load Balancing with Energy Storage Systems Based on Co-Simulation of Multiple Smart Buildings and Distribution Networks

In this paper, we present a co-simulation framework that combines two main simulation tools, one that provides detailed multiple building energy simulation ability with Energy-Plus being the core engine, and the other one that is a distribution level simulator, Matpower. Such a framework can be used to develop and study district level optimization techniques that exploit the interaction between a smart electric grid and buildings as well as the interaction between buildings themselves to achieve energy and cost savings and better energy management beyond what one can achieve through techniques applied at the building level only. We propose a heuristic algorithm to do load balancing in distribution networks affected by service restoration activities. Balancing is achieved through the use of utility directed usage of battery energy storage systems (BESS). This is achieved through demand response (DR) type signals that the utility communicates to individual buildings. We report simulation results on two test cases constructed with a 9-bus distribution network and a 57-bus distribution network, respectively. We apply the proposed balancing heuristic and show how energy storage systems can be used for temporary relief of impacted networks