Novel Supervisor-Based Architecture for Logic Controller Design

This paper presents a novel supervisor-based architecture for designing a reliable logic controller, which integrates the cyclic operation of programmable logic controllers (PLCs) with the formal advantages of supervisory control theory (SCT). By combining these two paradigms, this architecture delivers a comprehensive approach to control and monitoring, overcoming the inherent challenges associated with synchronization issues. Through abstractions in task modeling, sensor integration, and constraint handling, this integrated framework resolves complexities, ensuring seamless interaction between control and monitoring processes. A proof-of-concept is presented, demonstrating the effectiveness of this integrated approach in a real-world context.