This program searches for a specific integer element within a predefined integer array. It returns the index of the first occurrence of the element if found, otherwise, it returns -1. This is a fundamental operation used...

The `FindElementIndex` function performs a linear search on a fixed-size integer array. It iterates through each element of the array from the first to the last. If the current element matches the `elementToFind`, the function immediately returns the current index `i`. If the loop completes without finding a match, it means the element is not present in the array, and the function returns -1 as an indicator. The time complexity is O(n) in the worst case, where n is the size of the array (5 in this case), as it might need to check every element. The space complexity is O(1) as it uses a constant amount of extra space for the loop counter. The correctness is guaranteed by checking every element and returning the first match or a designated 'not found' value.

FUNCTION FindElementIndex(array, element): FOR i from 1 to array_size: IF array[i] equals element: RETURN i RETURN -1 // Element not found END FUNCTION

This program implements a basic motor control system with essential safety features for a PLC. It includes logic to start and stop a motor based on button inputs, and critically, it incorporates an overload trip mechanis...

The algorithm controls a motor using boolean logic and debouncing for input signals. The `StartButton`, `StopButton`, and `OverloadTrip` are inputs. `MotorRun` is the output. A `RunCommand` variable is used to consolidate the start/stop requests. The `OverloadTrip` input acts as a safety interlock, forcing `RunCommand` to false if true. Debouncing is implemented using a `TON` timer to prevent spurious activations from noisy signals. The motor runs (`MotorRun` is TRUE) only if `RunCommand` is true AND `OverloadTrip` is false. This ensures immediate shutdown upon overload. Time complexity is O(1) per scan cycle as operations are fixed. Space complexity is O(1) due to a fixed number of variables.

PROGRAM MotorControl VAR // Inputs StartButton, StopButton, OverloadTrip, RunCommand : BOOL // Outputs MotorRun : BOOL // Internal variables isMotorRunning : BOOL debounceTimer : TON debounceTime : TIME lastStartButtonSt...

This program implements a Proportional-Integral-Derivative (PID) controller, a cornerstone of industrial automation for maintaining a process variable at a desired setpoint. It includes crucial features like output satur...

The algorithm implements a discrete-time PID controller. It calculates the `error` between `Setpoint` and `ProcessVariable`. The `proportionalTerm` is `Kp * error`. The `integralTerm` accumulates `Ki * error` over time (`dt`). Crucially, the integral term is only updated if the output is not saturated or if the error is pushing the output away from saturation, preventing integral windup. The `derivativeTerm` is `Kd * (error - lastError) / dt`, helping to dampen oscillations. The `ControlOutput` is the sum of these three terms. Output saturation is handled by clamping `ControlOutput` to `OutputMin` and `OutputMax`, and setting `isOutputSaturated` flag. This flag is then used by the anti-windup logic. Time complexity is O(1) per scan cycle due to fixed calculations. Space complexity is O(1) as it uses a fixed number of variables.

PROGRAM PIDController VAR // Inputs Setpoint, ProcessVariable, EnableControl : VARIOUS_TYPES // Outputs ControlOutput : REAL // PID Parameters Kp, Ki, Kd : REAL // Output Limits OutputMin, OutputMax : REAL // Time Base C...

This program orchestrates a complex conveyor system with multiple belts, gates, and sensors. It supports both manual and automatic operational modes. In automatic mode, it implements a state machine to sequence product f...

The algorithm manages a conveyor system using a combination of manual and automatic modes. In manual mode, direct control signals are passed through. In automatic mode, a state machine (`AutoState`) governs the process. The system transitions through states like 'Idle', 'Waiting for Product', 'Conveying', 'Waiting for Gate Open', and 'Error'. Each state defines specific actions for conveyors and gates based on sensor inputs. Crucially, it incorporates timers for delays (e.g., gate opening) and timeouts to detect failures. Anti-windup is not directly applicable here, but robust error handling is paramount. The logic ensures that conveyors stop before gates open and restart only after products have passed. Time complexity is O(1) per scan cycle due to the fixed number of states and operations. Space complexity is O(1) as it uses a fixed set of variables.

PROGRAM ConveyorSequencing VAR // System Mode SystemMode : INT // 0: Manual, 1: Automatic // Conveyor States Conveyor1_Run, Conveyor2_Run, Conveyor3_Run : BOOL // Gate States Gate1_Open, Gate2_Open : BOOL // Sensor Input...

This program implements a state machine for managing a complex batch recipe process in a PLC. It defines distinct states such as Idle, Initializing, Processing, Paused, Error, Completing, and Terminating. The machine tra...

The algorithm uses a finite state machine (FSM) pattern to control a batch recipe. The `currentState` variable dictates the current phase of the recipe, and transitions to `nextState` are managed within a `CASE` statement. Each state encapsulates specific actions and logic, such as timer-based operations for initialization and processing, and conditional checks for ingredient addition and mixing. Error handling is integrated by transitioning to an 'Error' state upon detecting issues, preventing further incorrect operations. The algorithm's correctness relies on ensuring all possible transitions are defined and that each state performs its intended function without unintended side effects. The time complexity is O(1) per scan cycle as it's a fixed number of states and operations. Space complexity is O(1) as it uses a fixed set of variables regardless of recipe complexity.

PROGRAM BatchRecipeStateMachine VAR // State variables currentState, nextState : INT // Recipe parameters recipeID, batchSize, targetTemperature, currentTemperature, heatingActive, mixingSpeed, mixingActive, ingredientA_...