most citedPlant model generation from event log using ProM for formal verification of CPS

4 citations · 4 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

IndustriConnect: MCP Adapters and Mock-First Evaluation for AI-Assisted Industrial Operations

Melwin Xavier, Melveena Jolly, Vaisakh M A +1

AI assistants can decompose multi-step workflows, but they do not natively speak industrial protocols such as Modbus, MQTT/Sparkplug B, or OPC UA, so this paper presents INDUSTRICO…