It is shown that a general-purpose large reasoning model, with no task-specific training and only the information available to an operator, manages abnormal situations at run time through a bounded, programmatically verified action interface.
Abstract
Automation operates safety-critical processes inside their design envelope and leaves abnormal situations to human operators. Mismanagement of these situations is a leading contributor to process-safety incidents and a hindrance to achieving autonomy. Here we show that a general-purpose large reasoning model, with no task-specific training and only the information available to an operator, manages abnormal situations at run time through a bounded, programmatically verified action interface. Across 39 abnormal situations and operating-point changes on a plant-wide industrial benchmark process, the reasoning model maintained the plant within all hard constraints in all 39, while basic regulatory control failed in 15. It matched the plant's expert-engineered advanced control and diagnosed the root-cause fault in 15 of 15 safety-critical situations. Three independently developed models spanning a thirty-fold cost range exceeded the baseline. In a fully auditable evaluation, these results demonstrate run-time abnormal situation management without a human in the loop.
This study introduces MARIS-TRA, a hierarchical temporal runtime assurance extension of Controlled Agentic AI Systems that provides quantitative robustness for speed, arena, pairwise separation, restricted-zone, and bounded-recovery requirements.
Tymoteusz Miller· Machine Learning and Knowled...· 0 citations
AeroCopilotBench and its executable cockpit environment, ACOE, are introduced, which define state-transition rules, task goals, and trajectory-level safety constraints based on aircraft-specific Pilot's Operating Handbooks (POHs).
Yu-Chen Yuan, Zheng-Huang Wu, Yuan-Gan Li et al.· 0 citations
Results indicate that confidence-based expert-first routing can preserve interpretability while providing a controlled pathway for LLM assistance when symbolic evidence is weak or incomplete, and to improve external validity.
Yunqi Li, Xin Tang, Yin-Bo Dai et al.· IEEE Access· 0 citations
Simulation workflows support system safety analysis, infrastructure protection, and risk-informed engineering decisions. In blast engineering, however, a case can run to completion while still violating physical assumptions through unsafe model choices, inconsistent boundary conditions, or broken cross-file dependencie...
Shi-Hao Lin, Pei-Jie Yang, Zi-Cheng Xu et al.· 2026 8th International Confe...· 0 citations
In many industrial systems, control-related information is often opaque, undermining the ability to formally ensure safety, correctness, and performance. Representing such systems as Discrete Event Systems (DES) models enables rigorous analysis, synthesis, and correct-by-construction control, but modeling is typically...
Jhonnatan R. Semler, Rosaine F. Semler, M. Wehrmeister et al.· IEEE Transactions on Automat...· 0 citations
Results suggest that localized multi-agent automation can make time-series modeling easier, and significantly reduces measured per-run cost, while staying within a comparable energy consumption.
Unknown authors· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.