PulseAugur
EN
LIVE 13:03:28
ENTITY programmable logic controller

programmable logic controller

PulseAugur coverage of programmable logic controller — every cluster mentioning programmable logic controller across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
3
6 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
3 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D

3 day(s) with sentiment data

RECENT · PAGE 1/1 · 6 TOTAL
  1. TOOL · CL_232194 ·

    AI Learns to Attack Industrial Controllers with Minimal Resources

    Researchers have demonstrated that an AI model can learn to exploit vulnerabilities in programmable logic controllers (PLCs) with minimal resources. By spending just $536 and 8 hours, the AI successfully identified and …

  2. COMMENTARY · CL_211145 ·

    Manufacturing AI initiatives hampered by outdated data architectures

    Manufacturing operations are facing an "AI readiness gap" due to outdated data architectures that rely on delayed and aggregated information rather than real-time machine data. While significant investments have been ma…

  3. TOOL · CL_210211 ·

    SemaPLC: AI agent harness verifies PLC code through compilation and runtime execution

    Researchers have developed SemaPLC, a novel agent harness designed to improve the generation and verification of programmable logic controller (PLC) code using AI. This system goes beyond simple code generation by integ…

  4. RESEARCH · CL_135187 ·

    New verification method detects hidden malicious logic in industrial controllers

    Researchers have developed a new formal verification approach called ESBMC-LLB to detect malicious logic, known as Ladder Logic Bombs (LLBs), hidden within Programmable Logic Controller (PLC) programs. This method utili…

  5. TOOL · CL_93523 ·

    New tools enable formal verification of industrial PLC ladder diagram programs

    Researchers have developed ESBMC-PLC and Graph-ESBMC-PLC, new tools for formally verifying industrial control programs written in the IEC 61131-3 Ladder Diagram (LD) format. These tools translate graphical LD programs i…

  6. MEME · CL_45652 ·

    User questions compute source for package-sorting humanoid robots

    A user on Mastodon is inquiring about the computational requirements for recent humanoid robots seen sorting packages. They are curious whether the robots' intelligence and operational capabilities are self-contained or…