Metaheuristic Optimization of Power and Energy Systems: Underlying Principles and Main Issues of the `Rush to Heuristics'

In the power and energy systems area, a progressive increase of literature contributions that contain applications of metaheuristic algorithms is occurring. In many cases, these applications are merely aimed at proposing the testing of an existing metaheuristic algorithm on a specific problem, claiming that the proposed method is better than other methods that are based on weak comparisons. This ‘rush to heuristics’ does not happen in the evolutionary computation domain, where the rules for setting up rigorous comparisons are stricter but are typical of the domains of application of the metaheuristics. This paper considers the applications to power and energy systems and aims at providing a comprehensive view of the main issues that concern the use of metaheuristics for global optimization problems. A set of underlying principles that characterize the metaheuristic algorithms is presented. The customization of metaheuristic algorithms to fit the constraints of specific problems is discussed. Some weaknesses and pitfalls that are found in literature contributions are identified, and specific guidelines are provided regarding how to prepare sound contributions on the application of metaheuristic algorithms to specific problems

Strategic directions in constraint programming

An abstract is not available

Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems

We introduce reachability analysis for the formal examination of robots. We propose a novel identification method, which preserves reachset conformance of linear systems. We additionally propose a simultaneous identification and control synthesis scheme to obtain optimal controllers with formal guarantees. In a case study, we examine the effectiveness of using reachability analysis to synthesize a state-feedback controller, a velocity observer, and an output feedback controller.Comment: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessibl

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

Electromechanical Dynamics of High Photovoltaic Power Grids

This dissertation study focuses on the impact of high PV penetration on power grid electromechanical dynamics. Several major aspects of power grid electromechanical dynamics are studied under high PV penetration, including frequency response and control, inter-area oscillations, transient rotor angle stability and electromechanical wave propagation.To obtain dynamic models that can reasonably represent future power systems, Chapter One studies the co-optimization of generation and transmission with large-scale wind and solar. The stochastic nature of renewables is considered in the formulation of mixed-integer programming model. Chapter Two presents the development procedures of high PV model and investigates the impact of high PV penetration on frequency responses. Chapter Three studies the impact of PV penetration on inter-area oscillations of the U.S. Eastern Interconnection system. Chapter Four presents the impacts of high PV on other electromechanical dynamic issues, including transient rotor angle stability and electromechanical wave propagation. Chapter Five investigates the frequency response enhancement by conventional resources. Chapter Six explores system frequency response improvement through real power control of wind and PV. For improving situation awareness and frequency control, Chapter Seven studies disturbance location determination based on electromechanical wave propagation. In addition, a new method is developed to generate the electromechanical wave propagation speed map, which is useful to detect system inertia distribution change. Chapter Eight provides a review on power grid data architectures for monitoring and controlling power grids. Challenges and essential elements of data architecture are analyzed to identify various requirements for operating high-renewable power grids and a conceptual data architecture is proposed. Conclusions of this dissertation study are given in Chapter Nine