Naya Connect is a modular mechanical keyboard system for the indecisive

Naya Connect is a modular mechanical keyboard ecosystem with a swappable numpad, trackball, a 6DoF spatial mouse, and more.
IEEE

Implementation of Model Predictive Control in Programmable Logic Controllers

Abstract: In this article, we present an implementation of a low-memory footprint model predictive control (MPC)-based controller in programmable logic controllers (PLCs). Automatic code generation of ...
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 ...