AI自动生成PLC代码，Google Antigravity初体验！关键能免费用Gemini和Claude！（含网络配置+软件安装步骤）

I want to Control a tank ，please give me st code ！

(* ============================================================
  Program:     TankControl
  Description: Liquid Tank Fill / Empty Cycle Controller
  Language:    IEC 61131-3 Structured Text (ST)
  Author:      Auto-Generated
  Date:        2026-03-02
  ============================================================
  I/O Summary
  ───────────────────────────────────────────────────
  Inputs:
    bStart           : BOOL   – Start pushbutton (NO)
    bStop            : BOOL   – Stop / E-Stop pushbutton (NC)
    bManualMode      : BOOL   – Manual mode selector
    rLevelSensor     : REAL   – Analog level sensor 0-100 %
    bHighLevelSwitch : BOOL   – Discrete high-level limit switch
    bLowLevelSwitch  : BOOL   – Discrete low-level limit switch
  Outputs:
    bInletValve      : BOOL   – Inlet (fill) valve
    bOutletValve     : BOOL   – Outlet (drain) valve
    bMixerMotor      : BOOL   – Agitator / mixer motor
    bAlarmOut        : BOOL   – General alarm output
    bRunIndicator    : BOOL   – Running indicator lamp
  ============================================================
*)
PROGRAM TankControl
(* ── Variable Declarations ──────────────────────── *)
VAR_INPUT
    bStart           : BOOL;           (* Start button *)
    bStop            : BOOL;           (* Stop / E-Stop button *)
    bManualMode      : BOOL;           (* Manual mode switch *)
    rLevelSensor     : REAL;           (* Tank level 0..100 % *)
    bHighLevelSwitch : BOOL;           (* High level limit *)
    bLowLevelSwitch  : BOOL;          (* Low level limit *)
END_VAR
VAR_OUTPUT
    bInletValve      : BOOL;           (* Fill valve *)
    bOutletValve     : BOOL;           (* Drain valve *)
    bMixerMotor      : BOOL;           (* Mixer motor *)
    bAlarmOut        : BOOL;           (* Alarm *)
    bRunIndicator    : BOOL;           (* Run lamp *)
END_VAR
VAR
    (* ── State machine ── *)
    eState           : INT  := 0;      (* Current state *)
    ePrevState       : INT  := -1;     (* Previous state for edge detection *)
    (* ── Setpoints ── *)
    rFillSetpoint    : REAL := 90.0;   (* Fill target level % *)
    rDrainSetpoint   : REAL := 10.0;   (* Drain target level % *)
    rAlarmHigh       : REAL := 95.0;   (* High-level alarm % *)
    rAlarmLow        : REAL := 5.0;    (* Low-level alarm % *)
    (* ── Timers ── *)
    tonMixDelay      : TON;            (* Mixing duration timer *)
    tonFillTimeout   : TON;            (* Fill timeout timer *)
    tonDrainTimeout  : TON;            (* Drain timeout timer *)
    tMixDuration     : TIME := T
#30S
;  (* Mixing time *)
    tFillTimeout     : TIME := T
#120S
; (* Max fill time *)
    tDrainTimeout    : TIME := T
#120S
; (* Max drain time *)
    (* ── Counters ── *)
    nCycleCount      : DINT := 0;      (* Completed cycle counter *)
    (* ── Internal Flags ── *)
    bFaultActive     : BOOL := FALSE;  (* Latched fault flag *)
    bFaultReset      : BOOL := FALSE;  (* Fault reset request *)
    bStartEdge       : BOOL := FALSE;  (* Rising edge memory *)
    bStartPrev       : BOOL := FALSE;  (* Previous start value *)
END_VAR
(* ── State Constants ── *)
VAR CONSTANT
    ST_IDLE          : INT := 0;
    ST_FILLING       : INT := 1;
    ST_MIXING        : INT := 2;
    ST_DRAINING      : INT := 3;
    ST_COMPLETE      : INT := 4;
    ST_FAULT         : INT := 10;
END_VAR
(* ══════════════════════════════════════════════════
   MAIN LOGIC
   ══════════════════════════════════════════════════ *)
(* ── 1. Rising-edge detection on Start button ── *)
bStartEdge := bStart AND NOT bStartPrev;
bStartPrev := bStart;
(* ── 2. Fault Monitoring (always active) ──────── *)
IF rLevelSensor > rAlarmHigh AND eState <> ST_IDLE THEN
    bFaultActive := TRUE;    (* Over-fill protection *)
END_IF;
IF rLevelSensor < rAlarmLow AND eState = ST_DRAINING THEN
    bFaultActive := TRUE;    (* Over-drain protection *)
END_IF;
IF bHighLevelSwitch AND eState = ST_FILLING THEN
    bFaultActive := TRUE;    (* Discrete high-level trip *)
END_IF;
IF tonFillTimeout.Q OR tonDrainTimeout.Q THEN
    bFaultActive := TRUE;    (* Timeout fault *)
END_IF;
(* Emergency stop *)
IF NOT bStop THEN
    bFaultActive := TRUE;
END_IF;
(* Transition to FAULT state if any fault is active *)
IF bFaultActive AND eState <> ST_FAULT THEN
    eState := ST_FAULT;
END_IF;
(* ── 3. State Machine ────────────────────────── *)
CASE eState OF
    (* ─── IDLE ─────────────────────────────────── *)
    ST_IDLE:
        bInletValve   := FALSE;
        bOutletValve  := FALSE;
        bMixerMotor   := FALSE;
        bRunIndicator := FALSE;
        bAlarmOut     := FALSE;
        (* Reset timers *)
        tonFillTimeout(IN := FALSE, PT := tFillTimeout);
        tonDrainTimeout(IN := FALSE, PT := tDrainTimeout);
        tonMixDelay(IN := FALSE, PT := tMixDuration);
        (* Start condition: rising edge on Start, no fault *)
        IF bStartEdge AND NOT bFaultActive THEN
            eState := ST_FILLING;
        END_IF;
    (* ─── FILLING ──────────────────────────────── *)
    ST_FILLING:
        bInletValve   := TRUE;
        bOutletValve  := FALSE;
        bMixerMotor   := FALSE;
        bRunIndicator := TRUE;
        (* Fill timeout watchdog *)
        tonFillTimeout(IN := TRUE, PT := tFillTimeout);
        (* Transition when level reaches setpoint *)
        IF rLevelSensor >= rFillSetpoint THEN
            bInletValve := FALSE;
            tonFillTimeout(IN := FALSE, PT := tFillTimeout);
            eState := ST_MIXING;
        END_IF;
    (* ─── MIXING ───────────────────────────────── *)
    ST_MIXING:
        bInletValve   := FALSE;
        bOutletValve  := FALSE;
        bMixerMotor   := TRUE;
        bRunIndicator := TRUE;
        tonMixDelay(IN := TRUE, PT := tMixDuration);
        IF tonMixDelay.Q THEN
            bMixerMotor := FALSE;
            tonMixDelay(IN := FALSE, PT := tMixDuration);
            eState := ST_DRAINING;
        END_IF;
    (* ─── DRAINING ─────────────────────────────── *)
    ST_DRAINING:
        bInletValve   := FALSE;
        bOutletValve  := TRUE;
        bMixerMotor   := FALSE;
        bRunIndicator := TRUE;
        tonDrainTimeout(IN := TRUE, PT := tDrainTimeout);
        IF rLevelSensor <= rDrainSetpoint THEN
            bOutletValve := FALSE;
            tonDrainTimeout(IN := FALSE, PT := tDrainTimeout);
            nCycleCount := nCycleCount + 1;
            eState := ST_COMPLETE;
        END_IF;
    (* ─── COMPLETE ─────────────────────────────── *)
    ST_COMPLETE:
        bInletValve   := FALSE;
        bOutletValve  := FALSE;
        bMixerMotor   := FALSE;
        bRunIndicator := FALSE;
        (* Auto-restart or return to idle *)
        eState := ST_IDLE;
    (* ─── FAULT ────────────────────────────────── *)
    ST_FAULT:
        (* Safe state: all outputs off except alarm *)
        bInletValve   := FALSE;
        bOutletValve  := FALSE;
        bMixerMotor   := FALSE;
        bRunIndicator := FALSE;
        bAlarmOut     := TRUE;
        (* Fault acknowledged: operator presses Start while Stop is OK *)
        IF bStartEdge AND bStop THEN
            bFaultActive := FALSE;
            bAlarmOut    := FALSE;
            eState       := ST_IDLE;
        END_IF;
END_CASE;
END_PROGRAM