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.
Agentic artificial intelligence requires safeguards that remain effective across trajectories rather than only at individual decisions. This study introduces MARIS-TRA, a hierarchical temporal runtime assurance extension of Controlled Agentic AI Systems. A compact, auditable fragment of Signal Temporal Logic (STL) prov...
Tymoteusz Miller· Machine Learning and Knowled...· 0 citations
Aviation knowledge question answering cannot directly assess the operational effectiveness and safety compliance of large language models throughout aircraft emergency procedures. We introduce AeroCopilotBench and its executable cockpit environment, ACOE, which define state-transition rules, task goals, and trajectory-...
Yu-Chen Yuan, Zheng-Huang Wu, Yuan-Gan Li et al.· 0 citations
Keeping industrial utility equipment reliable is a central problem in industrial predictive maintenance, especially for assets whose faults are reflected in coupled pressure, temperature, flow, power, and efficiency signals. Pure data-driven models can learn complex patterns but are difficult to audit, while convention...
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.