IEEE

Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems

Abstract: Programmable Logic Controllers (PLCs) play an essential role in industrial automation by managing complex safety-critical processes. Ensuring the safety and correctness of PLC programs is ...
GitHub

AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers

This repository contains supplementary materials for our research on AutoPLC, a flexible framework for structured text (ST) generation. The folder src contains the code used for our experiments and ...
IEEE

Sensorless Speed Control of Induction Motor Drives Using Reinforcement Learning and Self-Tuning Simplified Fuzzy Logic Controller

Abstract: Fuzzy logic controls (FLCs) have emerged as a promising solution for speed regulation in induction motor (IM) drives, offering adaptability to non-linearities, parameter variations, and ...
GitHub

ATM controller designed using Verilog HDL with FSM-based control logic

project overveiw This project implements an ATM (Automated Teller Machine) controller using Verilog HDL. The design is based on a Finite State Machine (FSM) approach and simulates the basic working of ...