The increasing penetration of renewable sources introduces new challenges for power systems’ stability, especially for isolated systems characterized by low inertia and powered through a single diesel power plant, such as it happens in small islands. For this reason, research projects, such as the BLORIN project, have focused on the provision of energy services involving electric vehicles owners residential users to mitigate possible issues on the power system due to unpredictable generation from renewable sources. The residential users were part of a blockchain-based platform, which also the Distributors/Aggregators were accessing. This paper describes the integrated framework that was set up to verify the feasibility and effectiveness of some of the methodologies developed in the BLORIN project for fast frequency response in isolated systems characterized by low rotational inertia. The validation of the proposed methodologies for fast frequency response using Vehicle-to-Grid or Demand Response programs was indeed carried out by emulating the dynamic behavior of different power resources in a Power Hardware-in-the-Loop environment using the equipment installed at the LabZERO laboratory of Politecnico di Bari, Italy. The laboratory, hosting a physical microgrid as well as Power Hardware-in-the-Loop facilities, was integrated within the BLORIN blockchain platform. The tests were conducted by assuming renewable generation development scenarios (mainly photovoltaic) and simulating the system under the worst-case scenarios caused by reduced rotational inertia. The experiments allowed to fully simulate users’ interaction with the energy system and blockchain network reproducing realistic conditions of tracking and remuneration of users’ services. The results obtained show the effectiveness of the BLORIN platform for the provision, tracking and remuneration of grid services by electric vehicles and end users, and the benefits that are achieved in terms of reducing the number of diesel generating units that need to be powered on just to provide operational reserve due to the penetration of renewable sources, resulting in fuel savings and reduced emissions.
Emilio C. Piesciorovsky, Raymond Borges Hink, Aaron Werth, Gary Hahn · 6 authors
Electrical utility substations are wired with intelligent electronic devices (IEDs), such as protective relays, power meters, and communication switches. Substation engineers commission these IEDs to assess the appropriate measurements for monitoring, control, power system protection, and communication applications. Like real electrical utility substations, complex electrical substation grid testbeds (ESGTs) need to be assessed for measuring current and voltage signals in monitoring, power system protection, control (synchro check), and communication applications that are limited by small-measurement percentage errors. In the process of setting an ESGT with real-time simulators and IEDs in the loop, protective relays, power meters, and communication devices must be commissioned before running experiments. In this study, an ESGT with IEDs and distributed ledger technology was developed. The ESGT with a real-time simulator and IEDs in the loop was satisfactorily assessed and commissioned. The commissioning and problem-solving tasks of the testbed are described to define a method with flowcharts to assess possible troubleshooting in ESGTs. This method was based on comparing the simulations versus IED measurements for the phase current and voltage magnitudes, three-phase phasor diagrams, breaker states, protective relay times with selectivity coordination at electrical faults, communication data points, and time-stamp sources.
This brief addresses the robust lateral control problem for self-driving racecars. It proposes a discrete-time estimation and control solution consisting of a delayed unknown input-state observer (UIO) and a robust tracking controller. Based on a nominal vehicle model, describing its motion with respect to a generic desired trajectory and requiring no information about the surrounding environment, the observer reconstructs the total force disturbance signal, resulting from imperfect knowledge of the time-varying tire-road interface characteristics, presence of other vehicles nearby, wind gusts, and other model uncertainty. Then, the controller actively compensates the estimated force and asymptotically steers the tracking error to zero. The brief also presents a closed-loop stability proof of the method, ensuring perfect asymptotic estimation and tracking by the controlled vehicle. The proposed solution advantageously needs no a-priori information about the total disturbance boundedness, additional variables to model uncertainty, or observer parameters to be tuned. Its effectiveness and superiority to existing methods are studied in theory and shown in simulations where a full racecar model, based on the vehicle dynamics blockset, is required to track aggressive maneuvers. Through a faster and more accurate disturbance estimation, the solution robustly ensures better dynamic responses even with measurement noise.
The Android platform is undoubtedly the most popular platform for smartphones, with thousands of new applications becoming available daily and billions of app installations each year. Ethereum is the most popular smart contract platform, with thousands of applications on the blockchain serving as trading platforms and providing other functionalities. Due to these platforms’ popularity, security issues in their applications may reach a catastrophic scale with ease. Several prominent automated techniques help to reveal security problems in applications at the early stages of expansion. One such technique is static analysis. This thesis focuses on the design of static analysis techniques for Android apps and smart contracts distributed in the form of low-level code (bytecode).After installation, an Android app may get access to a set of sensitive information sources (e.g., location data). Unfortunately, exposure of such information to third parties has led in the past to several cases of privacy breach, and continues to be a serious threat. In this thesis, we tackle information flow propagation in the bytecode of Android applications by sound Horn-clause based abstraction techniques. This work will be the first to use Horn-clause based techniques in the context of security analysis. Moreover, we prove that our approach is sound, that is, our approach provides guarantees for its results. As a consequence, it can be used to show the absence of explicit data leaks in an app. Furthermore, Horn-clause based abstraction techniques are not limited to information propagation tasks, that is, our techniques can be used to show any kind of program property expressed as a reachability property. In addition, our Horn-clause based techniques scale to large codebases, benefit from the advancements in Satisfiability Modulo Theory solving, and allow for favorable performance with respect to the state-of-the-art. We instantiate the principles that were obtained while developing the analysis techniques for Android applications in the context of Ethereum smart contracts distributed in the form of Ethereum Virtual Machine (EVM) bytecode. Smart contracts are programs mainly used to perform financial operations (e.g., auctions) on cryptocurrency blockchains (e.g., Ethereum). Recent attacks demonstrate that certain vulnerabilities in smart contracts might cause severe money loss and an overall decrease of trust in the technology. Therefore, security analysis of EVM bytecode is in the focus of the research community. This thesis presents two results which establish the foundations for sound security analysis of EVM bytecode. First, the semantics of EVM bytecode is mechanized for the first time and tested against the official Ethereum test suite. This result facilitates both the design of analysis techniques and establishing their correctness properties. Second, this thesis provides the first sound Control Flow Graph reconstruction solution for EVM bytecode, that is, our analysis guarantees that reachable parts of the code are never pruned. This guarantee is required by a number of security properties for smart contracts. We also develop a tool implementing our analysis and successfully evaluate it on a big collection of real-world contracts.
We have created a demonstration permissioned Distributed Ledger Technology (DLT) datastore for the UF 6 cylinder tracking safeguards use-case utilizing the Ethereum DLT framework and using Solidity for smart contract code. Our demonstration creates a simulated dataset representing tracking of 75,000 UF 6 cylinders across 11 example nuclear facilities worldwide. Our DLT system allows for easy input and reading of shipping and receiving data, including a Graphical User Interface (GUI). Sandia’s Emulytics capability was leveraged to help create the DLT node network and assess performance. We find that our DLT prototype can easily handle to ~150,000 UF 6 cylinder shipments per year worldwide, without any excessive computational or storage burden on the IAEA or Member States. Next steps could include a demonstration to the IAEA and potentially demonstrating integration with TradeLens, a DLT in use by a consortium of international shipping companies representing over half of world shipping trade.
Gayan Benedict, Chief Information Officer, Reserve Bank of Australia, Australia
Distributed Ledger Technology (DLT) and its blockchain subclass are emerging as a disruptive innovation with an expanding range of potential applications. While DLT systems promise significant benefits to participants and diverse industries, their use of cryptography and incentive models to displace intermediaries and central authorities present significant challenges to conventional models of institutionally-oriented governance. This is due to the disintermediation of such governance bodies displacing the accountabilities and decision rights such parties typically provide. This paper addresses the emerging research question of how standards can address the assurances lost by the displacement of conventional institutional governance mechanisms in DLT systems.