相关论文: Optimal Sizing of Stand-alone Solar PV Systems via…

Probabilistic programs are key to deal with uncertainty in e.g. controller synthesis. They are typically small but intricate. Their development is complex and error prone requiring quantitative reasoning over a myriad of alternative…

With declining costs and increasing performance, the deployment of renewable energy systems is growing faster. Particular attention is given to stand-alone solar photovoltaic systems in rural areas or where grid extension is unfeasible.…

Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the correct program if the space of candidate programs is finite. But…

This article proposes an optimization problem formulation to find the optimal sizes of Photovoltaics (PV) and Battery Energy Storage Systems (BESS) for individual participants within the context of the Renewable Energy Community (REC). An…

Considering the intermittency of renewable energy systems, a sizing and scheduling model is proposed for a finite number of static electric loads. The model objective is to maximize solar energy utilization with and without storage. For the…

We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time invariant models. Models are given as dynamical equations with inputs, evolving over a continuous…

Given a specification and a set of candidate programs (program space), the program synthesis problem is to find a candidate program that satisfies the specification. We present the synthesis through unification (STUN) approach, which is an…

This paper outlines two approaches|based on counterexample-guided abstraction refinement (CEGAR) and counterexample-guided inductive synthesis (CEGIS), respectively to the automated synthesis of finite-state probabilistic models and…

With the decline of fossil fuel reserves and the escalating global average temperature, the quest for environmentally friendly and renewable energy sources has gained significant momentum. Focus has turned to wind and photovoltaic energy,…

In alignment with the Paris Agreement, the city of Oxford in the UK aims to become carbon neutral by 2040. Renewable energy help achieve this target by reducing the reliance on carbon-intensive grid electricity. This research seeks to…

The accurate representation of variable renewable generation (RES, e.g., wind, solar PV) assets in capacity expansion planning (CEP) studies is paramount to capture spatial and temporal correlations that may exist between sites and impact…

Optimizing solution-processed organic solar cells is a complex task due to the vast parameter space in organic photovoltaics (OPV). Classical Edisonian or one-variable-at-a-time (OVAT) optimization approaches are laborious, time-consuming,…

This paper proposes a strategy to size a grid-connected photovoltaic plant coupled with a battery energy storage device within the \textit{capacity firming} specifications of the French Energy Regulatory Commission. In this context, the…

Mathematical optimization is ubiquitous in modern applications. However, in practice, we often need to use nonlinear optimization models, for which the existing optimization tools such as Cplex or Gurobi may not be directly applicable and…

The variability of solar energy in off-grid systems dictates the sizing of energy storage systems along with the sizing and scheduling of loads present in the off-grid system. Unfortunately, energy storage may be costly, while frequent…

In this paper, we present methodologies for optimal selection for renewable energy sites under a different set of constraints and objectives. We consider two different models for the site-selection problem - coarse-grained and fine-grained,…

Energy storage becomes crucial for energy systems with an increasing share of renewable energy sources. Artificial photosynthesis, in particular photovoltaic water splitting, provides both sustainable energy generation and energy storage in…

Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based on the use of inductive learning. We refer to this class of…

This work introduces solar, a collection of ten optimization problem instances for benchmarking blackbox optimization solvers. The instances present different design aspects of a concentrated solar power plant simulated by blackbox…

In this article, we demonstrate the design and simulation of a highly-efficient n-CdS/p-CIGS/p+-CGS dual heterojunction solar cell. The simulation was performed using SCAPS-1D software with reported experimental physical parameters. The…