TwinGridShield is presented, a model-independent runtime authorization layer that evaluates each proposed action in a deterministic network twin before release that verifies conformance of the implementation to its encoded authorization predicate rather than safety under model error.
Abstract
Large language model (LLM)-assisted energy-management tools can translate natural-language context into structured grid commands, but syntactic validity does not imply physical admissibility. This paper presents TwinGridShield, a model-independent runtime authorization layer that evaluates each proposed action in a deterministic network twin before release. The prototype checks connectivity, branch-flow, generator, and load-shedding invariants and records each decision in a hash-chained log. A controlled IEEE 14-bus study evaluates single-step switching, redispatch, and load-shedding actions using DC power flow and experimentally assigned branch ratings. In the matched-model experiment, a stochastic proposal source configured to select an unsafe action with probability p=0.84 produced 421 unsafe proposals in 500 attacked-condition trials, a realized rate of 84.2%. This value characterizes the configured surrogate and is not an empirical measurement of LLM prompt-injection susceptibility. TwinGridShield produced 0 unsafe releases in those 500 trials. Because action labeling and authorization used the same DC model, system state, branch ratings, and encoded constraints, this result verifies conformance of the implementation to its encoded authorization predicate rather than safety under model error. The principal robustness evaluation therefore introduces model mismatch. Unsafe acceptance reached 5.63% under bounded +20% and -20% per-bus load-measurement error and 30.09% when actual branch ratings were 20% below modeled ratings.
This work presents Sentinel-RL, an agentic-SOC architecture that decouples topological reasoning from semantic reasoning, and contributes a reusable engineering pattern, a portable HPC deployment pattern, and an enterprise-readiness analysis covering false-positive economics, reversibility guarantees, audit compliance,...
Uday Vallabhaneni, Cassie L. Cagwin, David J. Wild· 1 citation
OpenReliOps is presented, a self-healing control architecture that treats an open-weight model as a replaceable reasoning component inside an evidence-grounded and policy-bounded reliability loop and is positioned as a falsifiable methodological contribution.
Prudvi Saisaran Ponduru, Pavani Priya Vyshnavi Nandanavanam, Sai Kesav Kumar Ponduru· International Journal of Adv...· 0 citations
These findings show why successful outcome recovery is insufficient evidence of exactly-once execution, and establish conformance within one calibrated deterministic testbed, rather than general safety or real-world self-improvement.
NetConfArena is presented, an executable benchmark for evaluating LLM agents in closed-loop network configuration, and its findings suggest two future directions: using validated trajectories as supervision signals to improve foundation models, and designing harness mechanisms that make agent execution more reliable an...
Chang Liu, Xiao-Hui Xie, Xinyi Chen et al.· 1 citation
APPA (Agentic Permissions Policy Algebra), which turns agent IFC from an abort-only barrier into a policy-governed recovery system, and proves core safety invariants: no-laundering gradual resolution, branch boundary isolation, and recovery containment against prompt-injected models.
Arseny Kravchenko, V. Liventsev, I. Konstantinov et al.· 1 citation
AgentFlow, a flow-centric policy language and runtime enforcement model for specifying where data may travel in agent systems, is presented and results are preliminary and scoped to the modeled policy-visible agent behaviors and evaluated benchmarks.
B. Shivakumar, Swarn Priya, Peng Gao· 2 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.