Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Balancing Wind and Batteries: Towards Predictive Verification of Smart
  Grids   We study a smart grid with wind power and battery storage. Traditionally,
day-ahead planning aims to balance demand and wind power, yet actual wind
conditions often deviate from forecasts. Short-term flexibility in storage and
generation fills potential gaps, planned on a minutes time scale for 30-60
minute horizons. Finding the optimal flexibility deployment requires solving a
semi-infinite non-convex stochastic program, which is generally intractable to
do exactly. Previous approaches rely on sampling, yet such critical problems
call for rigorous approaches with stronger guarantees. Our method employs
probabilistic model checking techniques. First, we cast the problem as a
continuous-space Markov decision process with discretized control, for which an
optimal deployment strategy minimizes the expected grid frequency deviation. To
mitigate state space explosion, we exploit specific structural properties of
the model to implement an iterative exploration method that reuses pre-computed
values as wind data is updated. Our experiments show the method's feasibility
and versatility across grid configurations and time scales.

27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
4
The categories of this paper are: cond-mat
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph