Now showing items 1-4 of 4
The Concept of Postponed Event in Timed Discrete Event Systems and Its PLC Implementation
Supervisory Control Theory (SCT) is one of the most important frameworks for establishing formal discrete event control systems. Despite some difficulties, the programmable logic controller (PLC) implementation of supervisory ...
Novel analysis of Petri-net-based controllers by means of TCT implementation tool of supervisory control theory
(MAEJO UNIV, 2010)
The control of discrete event systems (DES) has been widely studied in the past two decades. Finite-state automata (FSA) and Petri nets (PN) are the two principal modelling formalisms for this study. Supervisory control ...
Timed Transition Automata and Their Ladder Logic Implementation
In this paper, a simplified version of timed automata, called timed transition automata (TTA), is proposed. TTA are an extension of untimed automata and are obtained by assigning integer time delay values to events. The ...
A New Approach for the Ladder Logic Implementation of Ramadge-Wonham Supervisors
In this paper, a new approach is proposed for the ladder logic code implementation of Ramadge-Wonham (RW) supervisors. The proposed method deals mainly with the assignment of actions (output signals) to the related states ...