IEEE

D-LGP: Dynamic Logic-Geometric Program for Reactive Task and Motion Planning

Abstract: Many real-world sequential manipulation tasks involve a combination of discrete symbolic search and continuous motion planning, collectively known as combined task and motion planning (TAMP) ...
IEEE

Towards Quantum Artificial Intelligence Electromagnetic Prediction Models for Ladder Logic Bombs and Faults in Programmable Logic Controllers

Abstract: Industrial control systems rely on Programmable Logic Controllers (PLCs) for the communication with sensors and actuators. On the other hand, vulnerabilities in Ladder logic and in turn PLCs ...
GitHub

Kotlin USB Client Library

This library is a KMM (Kotlin Multiplatform Module) which makes it easier to access USB/Serial Ports from Kotlin code. It wraps around the jSerialComm library on desktop, and either jSerialComm or USB ...
GitHub

Dataset of PLC control logic programs written in Ladder Logic containing both legitimate programs and programs with Ladder Logic Bombs

If you find this work interesting and use it in your academic research, please cite our paper: Iacobelli, A., Rinieri, L., Melis, A., Al Sadi, A., Prandini, M ...