Efficient Control Approaches for Guaranteed Frequency Performance in Power Systems

Due to high penetration of renewable energy, converter-interfaced sources are increasing in power systems and degrading the grid frequency response. Synthetic inertia emulation and guaranteed primary frequency response is a challenging task. Still, there is high potential for application of highly controllable converter-interfaced devices to help performance. Renewable energy sources and demand side smart devices also need to be equipped with innovative frequency control approaches that contribute to frequency regulation operations. First, the wind turbine generator is chosen to represent an example of a converter- interfaced source. An augmented system frequency response model is derived, including the system frequency response model and a reduced-order model of the wind turbine generator representing the supportive active power due to supplementary inputs. An output feedback observer-based control is designed to provide guaranteed frequency performance. System performance is analyzed for different short circuit ratio scenarios where a lower bound to guarantee the performance is obtained. Second, the load side control for frequency regulation with its challenges is introduced. 5G technology and its potential application in smart grids are analyzed. The effect of communication delays and packet losses on inertia emulation are investigated to show the need of using improved communication infrastructure. Third, a robust delay compensation for primary frequency control using fast demand response is proposed. Possible system structured uncertainties and communication delays are considered to limit frequency variations using the proposed control approach. An uncertain governor dead-band model is introduced to capture frequency response characteristics. Guaranteed inertial response is achieved and compared with a PI-based Smith predictor controller to show the effectiveness of the proposed method. Fourth, set theoretic methods for safety verification to provide guaranteed frequency response are introduced. The Barrier certificate approach using a linear programming relaxation by Handelman’s representation is proposed with its application to power systems. Finally, the Handelman’s based barrier certificate approach for adequate frequency performance is studied. The computational algorithm is provided for the proposed method and validated using power system benchmark case studies with a discussion on a safety supervisory control (SSC)

Designing Neural Networks for Real-Time Systems

Artificial Neural Networks (ANNs) are increasingly being used within safety-critical Cyber-Physical Systems (CPSs). They are often co-located with traditional embedded software, and may perform advisory or control-based roles. It is important to validate both the timing and functional correctness of these systems. However, most approaches in the literature consider guaranteeing only the functionality of ANN based controllers. This issue stems largely from the implementation strategies used within common neural network frameworks -- their underlying source code is often simply unsuitable for formal techniques such as static timing analysis. As a result, developers of safety-critical CPS must rely on informal techniques such as measurement based approaches to prove correctness, techniques that provide weak guarantees at best. In this work we address this challenge. We propose a design pipeline whereby neural networks trained using the popular deep learning framework Keras are compiled to functionally equivalent C code. This C code is restricted to simple constructs that may be analysed by existing static timing analysis tools. As a result, if compiled to a suitable time-predictable platform all execution bounds may be statically derived. To demonstrate the benefits of our approach we execute an ANN trained to drive an autonomous vehicle around a race track. We compile the ANN to the Patmos time-predictable controller, and show that we can derive worst case execution timings.Comment: 4 pages, 2 figures. IEEE Embedded Systems Letters, 202

Systems and methods for intersection management of connected autonomous vehicles

Various embodiments of an intersection management system for managing autonomous vehicles approaching an intersection in which a Time of Arrival, Velocity of Arrival, and path trajectory are calculated for each approaching vehicle are disclosed

Formal Modelling and Verification of the Clock Synchronization Algorithm of FlexRay

The hundreds of electronic control devices used in an automotive system can effectively communicate with one another, thanks to an in-vehicle network (IVN) like FlexRay. Even though every node in the network will be running on its local clock, a global notion of time is essential. The clock synchronisation algorithm accomplishes this global time between the nodes in FlexRay. In this era of self-driving cars, the vehicle’s safety is paramount. For the vehicle to operate safely and smoothly, timely communication of information is critical, and the clock synchronisation algorithm plays a vital role in this. It is essential to formally test the clock synchronisation algorithm’s correctness. This paper attempts to model and verify the clock synchronisation algorithm of FlexRay using formal methods, which in turn enhance the reliability of safety-critical automotive systems. The clock synchronisation is modelled as a network of six timed automata in the UPPAAL model checker. Three system models were developed, a model for an ideal clock, another for a drifting clock, and a third model considering propagation delay. The precision of the clocks is verified to be within the prescribed limits. Simulation studies are also conducted on the model to ensure that the clock’s drift is always within the precision

ICT Based HIL Validation of Voltage Control Coordination in Smart Grids Scenarios

This paper aims to validate the capability of renewable generation (ReGen) plants to provide online voltage control coordination ancillary service to the system operators in smart grids. Simulation studies about online coordination concepts from ReGen plants have already been identified in previous publications. However, here, the results are validated through a real-time Hardware-In-the-Loop framework using an exemplary benchmark grid area in Denmark as a base case that includes flexible renewable power plants providing voltage control functionality. The provision of voltage control support from ReGen plants is verified on a large-scale power system against the baseline scenario, considering the hierarchical industrial controller platforms used nowadays in power plants. Moreover, the verification of online voltage control support is carried out by taking into account a communication network as well as the associated data traffic patterns obtained from a real network. Based on the sets of recordings, guidelines and recommendations for practical implementation of the developed control algorithms for targeted ancillary service are made. This provides a deep insight for stakeholders, i.e., wind turbine and photo-voltaic system manufacturers and system operators, regarding the existing boundaries for current technologies and requirements for accommodating the new ancillary services in industrial application