MUMBAI, India, June 26 -- Intellectual Property India has published a patent application (202521128169 A) filed by D. K. T. E. Societys Textile And Engineering Institute; Mr. Vinod Bhimrao Kumbhar; and Dr. Mahesh Shrikant Chavan on December 17, 2025, for Automated System For Generating Safety-Compliant Plc Programs From Formal Mathematical Models.
Inventors include Mr. Vinod Bhimrao Kumbhar; and Dr. Mahesh Shrikant Chavan.
The application for the patent was published on June 19, 2026, under issue no. 25/2026.
Abstract: Automated System for Generating Safety-Compliant PLC Programs from Formal Mathematical Models This invention describes a computer-implemented system for automated generation of safety-compliant, platform-specific programma...