Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper systematizes 139 families of semantic decision engines for network control loops, revealing a significant gap between claimed performance and empirical evidence regarding deadline attainment and action feasibility. The analysis highlights that engines lacking deterministic computation steps are particularly prone to missed deadlines and unverified services, with only four out of 139 families supporting their control loop or time budget claims with matched measurements. The findings underscore the need for rigorous evaluation and suggest design rules and a research agenda to ensure reliable admission of these engines into critical control systems.
Semantic decision engines routinely fail network deadlines and select infeasible actions, with most claims of real-time performance unsupported by evidence.
A semantic decision engine such as Jev can return a valid answer and still miss a network deadline, select an infeasible action or leave the service unverified. We systematize 139 paper families by decision interface, execution path and check ownership. Fifty families claim that their engine fits a control loop or time budget, but only four support the claim with matched measurement. Across all 139, four report deadline attainment. The gap concentrates where the decision has no deterministic computation step. Those 72 families make 22 of the claims, none supported, and name a coverage owner in only two. Bounded tests under one event model show that each gap can reverse an admission verdict. A decision that meets a 10 s budget for every isolated request meets it for none once decisions queue ahead of replayed execution times. The same engine passes one coverage check and fails another. We derive a minimum reporting record, design rules and a research agenda for admitting decision engines to control loops.