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

An Improved Sliding Model Observer Sensorless Control for PMSM Based on Fuzzy Logic Controller and DSOGI-FLL

Abstract: The conventional sliding mode observer (SMO) employed in the sensorless control for the permanent magnet synchronous machine (PMSM) has the problems of chattering phenomena and phase delay, ...
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 ...