Kuidas PLC-d juhivad agent-tehisintellekti deterministliku ohutusloogikaga

Agent-tehisintellekt võib pakkuda tegevusi, kuid seda ei tohiks usaldada tööstusseadmete vahetul juhtimisel. Ohutumas Tööstus 5.0 arhitektuuris jääb PLC deterministlikuks ohutusjärelevalve süsteemiks: see hindab tehisintellekti genereeritud käske vastavalt kõvakodeeritud lubadele, blokeeringutele ja tõrkekindlale loogikale enne, kui ühelegi füüsilisele väljundile antakse luba liikuda.

Agent-tehisintellekt ei asenda PLC-d. See muudab seda, mille eest PLC peab kaitsma.

Arhitektuurne probleem on lihtne: tehisintellektisüsteemid genereerivad tõenäosuslikke väljundeid, samas kui tööstuslikud juhtimissüsteemid peavad tagama deterministliku käitumise seadmete piiril. See eristus ei ole filosoofiline. See on erinevus läbilaskevõime soovituse ja surve all oleva torustiku klapi liikumise vahel.

OLLA Labi sisemiste digitaalse kaksiku stressitestide käigus põhjustasid piiranguteta tehisintellekti tüüpi seadeväärtuste sisestused simuleeritud ajami ületamise tõrkeid 25-l juhul 30-st, samas kui deterministliku piiriku ja valvekoera loogika lisamine vähendas need rikkumised samades stsenaariumides nullini. Metoodika: valimi suurus = 30 simuleeritud käivitust klapi- ja konveieristsenaariumides; ülesande määratlus = ebakindlate seadeväärtuste muutuste ja sidekatkestuste sisestamine redeldiagrammiga juhitavatesse seadmetesse; võrdlusbaas = ilma piiriku/valvekoera loogikata versus redelloogika koos piiratud lubade ja ajalõpu käsitlusega; ajavahemik = 2026. aasta I kvartal. See toetab deterministliku veto-loogika väärtust simulatsioonis. See ei tõesta iseenesest väli-töökindlust, SIL-i jõudlust ega universaalseid tõrgete vähendamise määrasid.

IEC 61508 ja sellega seotud funktsionaalse ohutuse praktika muudavad piiri selgemaks: ohutuskriitiline tegevus nõuab determinismi, jälgitavust ja valideeritud käitumist. Maatrikskorrutised on kasulikud. Need ei ole ohutusjuhtum.

Agent-tehisintellekt toimib tõenäosuslikult, samas kui PLC-loogika täidab käske deterministlikult.

Operatiivne määratlus on siinkohal abiks. Selles artiklis tähendab agent-tehisintellekt tarkvarasüsteemi, mis suudab genereerida tegevusi, seadeväärtusi või marsruudiotsuseid väljaspool fikseeritud järjestikust skripti, tuginedes muutuvatele sisenditele ja optimeerimiseesmärkidele. Automaatika mõistes tähendab see tavaliselt selliseid asju nagu:

• dünaamiline seadeväärtuste genereerimine,
• adaptiivsed järjestussoovitused,
• autonoomne marsruudi või tee valik,
• anomaaliapõhised käsusoovitused,
• järelevalvealane optimeerimine mitme vara vahel.

Seevastu deterministlik PLC-loogika tähendab skannimispõhist juhtimist, kus samad valideeritud sisendid, loogika olek ja ajastustingimused annavad sama väljundkäitumise määratletud täitmismudeli piires.

See eristus on oluline, sest tööstusseadmetele ei lähe korda, kas ebaturvaline käsk tuli inimoperaatorilt, ajalooarhiivi skriptilt või tehisintellekti agendilt. Halb käsk on ikkagi halb.

Deterministlik versus tõenäosuslik juhtimine seadmete piiril

PLC eksisteerib punktis, kus tarkvara kavatsus muutub füüsiliseks liikumiseks.

Kaasaegne tehisintellekti teenus võib töötada asünkroonselt servasõlmes, pilveteenuses või kohalikus tööstusarvutis. Selle reageerimisaeg võib varieeruda sõltuvalt võrgu latentsusest, mudeli keerukusest, järjekorra sügavusest või andmete kvaliteedist. PLC skannimistsükkel on oma olemuselt piiratud ja korduv. Seetõttu jääb PLC õigeks kohaks blokeeringute, lubade, väljalülitustingimuste ja väljundvetode jõustamiseks.

Praktiline vastandus on lihtne:

| Juhtimise atribuut | Agent-tehisintellekt | PLC / Ohutus-PLC | |---|---|---| | Täitmismudel | Tõenäosuslik või heuristiline | Deterministlik skannimispõhine täitmine | | Ajastuskäitumine | Muutuv, asünkroonne | Piiratud, tsükliline, reaalajas või peaaegu reaalajas sõltuvalt platvormist | | Peamine tugevus | Optimeerimine, kohanemine, mustrite järeldamine | Usaldusväärne täitmine, blokeeringud, järjestamine, tõrkekindel reageerimine | | Ohutussertifikaadi roll | Ei sobi otseseks IEC 61508 ohutusfunktsiooni täitjaks | Saab rakendada sertifitseeritud ohutusarhitektuurides, kui see on õigesti kavandatud | | Tõrkeviisi mure | Piiramatu väljund, aegunud kontekst, hallutsinatsiooniline soovitus, sidekadu | Loogikaviga, integratsiooniviga, konfiguratsiooniviga, kuid käitumine jääb testitavaks ja jälgitavaks |

Miks tehisintellekt ei saa lihtsalt "olla kontroller"

Tehisintellekt saab juhtimist toetada. Ei tohiks eeldada, et see täidab ohutuskontrolleri rolli.

IEC 61508 ei keela tarkvaraintelligentsi laiemas mõttes, kuid funktsionaalne ohutus nõuab tõendeid süsteemse võimekuse, prognoositava käitumise, elutsükli kontrolli ja valideeritud ohutusfunktsioonide kohta. Praegused tehisintellekti mudelid ei ole konstrueeritud deterministlike ohutuslahendajatena. Nende väljundid on kontekstitundlikud ja paljudes praktilistes tingimustes mittekorratavad. See muudab need halvaks kandidaadiks otseseks ohutuse tagamiseks.

Kasulik vastandus on optimeerimine versus vetoõigus. Tehisintellekt võib soovitada. PLC peab otsustama, kas soovitus on füüsiliselt ja protseduuriliselt lubatav.

PLC blokeerib tehisintellekti käsud, sundides iga välise käsu läbima deterministliku lubade loogika enne, kui see jõuab füüsiliste väljunditeni.

See on arhitektuuri tuum. Tehisintellekt ei kirjuta otse väljundkaardile. See kirjutab maksimaalselt järelevalve all olevasse käsuregistrisse, soovitud seadeväärtusesse või mitte-ohutusandmete plokki. Seejärel hindab PLC seda päringut vastavalt kõvakodeeritud tingimustele, nagu:

• hädaseiskamisahel on terve,
• režiimi valik on kehtiv,
• hoolduslukk on inaktiivne,
• piirlülitid ei ole rikutud,
• protsessi muutuja on ohutus vahemikus,
• side südamelöök (heartbeat) on olemas,
• järjestuse olek on kehtiv,
• aktiivset väljalülitust või lukustatud tõrget pole.

Kui mistahes nõutud tingimus ei ole täidetud, blokeerib, piirab, asendab või tühistab PLC käsu.

See on veto-arhitektuur. See on vähem glamuurne kui autonoomne juhtimine, mis on täpselt põhjus, miks see kipub kasutuselevõtul püsima.

PLC kui ohutusjärelevalve süsteem

PLC ohutusjärelevalve süsteem on deterministlik loogikakiht, mis hindab tehisintellekti algatatud päringuid vastavalt selgetele operatiivsetele ja ohutuspiirangutele enne, kui lubab masina oleku muutmist või analoogväljundi muutmist.

See määratlus on tahtlikult kitsas. See kirjeldab jälgitavat insenerikäitumist:

• tehisintellekt esitab päringu,
• PLC kontrollib lubasid,
• PLC kas lükkab tagasi, piirab või edastab päringu,
• lõplik ajami käitumine jääb deterministliku loogika kontrolli alla.

Segatud tehisintellekti/OT arhitektuuris peaks PLC kohtlema tehisintellekti kui usaldamatut, kuid potentsiaalselt kasulikku ülesvoolu allikat. See on tavaline juhtimisdisain.

Praktiline veto-tee

Tüüpiline järelevalve all olev tee näeb välja selline:

3. PLC valideerib: 4. PLC kas:

• allika värskuse,
• käsu vahemiku,
• režiimi lubasid,
• järjestuse seaduslikkust,
• seadmete kättesaadavust,
• ohutuspiiranguid.
• lükkab käsu tagasi,
• piirab selle ohutusse vahemikku,
• piirab muutuse kiirust,
• asendab varuväärtusega,
• lubab selle läbi.

1. Tehisintellekt genereerib soovitud käsu või analoogseadeväärtuse.
2. Päring kirjutatakse mitte-ohutus PLC-sildile või vahetatakse liidesekihi kaudu.
3. Lõpliku väljundi ajamile toodab endiselt PLC-loogika, mitte tehisintellekt otse.

Siin on oluline ka kasutuselevõtu distsipliin. Ebaturvaline arhitektuur ei ole tavaliselt dramaatiline. See on tavaliselt üks kontrollimata kirjutustee ja üks puuduv ajalõpp.

Tehisintellekti järelevalve nõuab redelmustreid, mis tuvastavad piiridest väljas olevaid päringuid, aegunud sidet, kehtetuid järjestuse üleminekuid ja füüsiliselt kahjulikke käsukirjutamise kiirusi.

Täpne rakendus varieerub platvormiti, kuid juhtimismustrid on stabiilsed.

1. Piiriku loogika ohutute tööakende jaoks

Piiriku loogika piirab tehisintellekti genereeritud analoogväärtused füüsiliselt ohutusse ja operatiivselt kehtivasse vahemikku.

See on esimene kaitseliin soovitud kiiruste, klapi asendite, rõhu sihtmärkide, temperatuuri seadeväärtuste või doseerimismäärade jaoks. PLC võrdleb soovitud väärtust tehniliste piiridega ja asendab kõik vahemikust väljas olevad väärtused piiratud alternatiiviga.

Tüüpiline rakendus kasutab:

• `LES` / väiksem kui võrdlusi,
• `GRT` / suurem kui võrdlusi,
• teisaldamisjuhiseid min/max väärtuste asendamiseks,
• režiimist sõlduvaid piire,
• häirebitte operaatori nähtavuse jaoks.

Piiriku loogika vastab põhiküsimusele: isegi kui päring on süntaktiliselt kehtiv, kas see on füüsiliselt vastuvõetav?

2. Muutuskiiruse filtrid mehaanilise löögi vältimiseks

Muutuskiiruse filtreerimine piirab seda, kui kiiresti võib kästud väärtus skannimisintervallide vahel muutuda.

Tehisintellekti optimeerija võib hüpata ühelt parimalt väärtuselt teisele, arvestamata ajami kulumist, hüdraulilist lööki, rihma libisemist või termilist viivitust. Seadmed kipuvad protestima pärast teist või kolmandat tsüklit.

PLC saab jõustada:

• maksimaalse delta skannimise kohta,
• maksimaalse delta sekundi kohta,
• kiirendus- ja aeglustusprofiilid,
• surnud tsooni käsitluse,
• eraldi piirid käivitamiseks versus püsiseisundi tööks.

3. Valvekoera taimerid südamelöögi järelevalveks

Valvekoera taimer kontrollib, kas tehisintellekti allikas on elus, ajakohane ja uueneb oodatud intervalli jooksul.

Levinud rakendus kasutab südamelöögi bitti või kasvavat väärtust tehisintellekti kihist. Kui signaal ei muutu määratletud ajalõpu jooksul, seab PLC sidevea ja sunnib protsessi teadaolevasse olekusse.

4. Järjestuse seaduslikkuse kontrollid

Järjestuse seaduslikkuse loogika takistab tehisintellektil vahele jätta nõutud protsessi olekuid.

See on oluline partiisüsteemides, pumbajaamades, HVAC-i üleminekutes, CIP-järjestustes ja kommunaalseadmetes, kus järjekord on osa ohutusest ja seadmete kaitsest.

5. Tõrgete lukustamine ja deterministlik taastumine

Tõrgete lukustamine tagab, et ebaturvalisi või kehtetuid tehisintellekti päringuid ei saa järgmine tsükkel vaikimisi tühistada.

Praktiline tehisintellekti järelevalve redel ühendab südamelöögi jälgimise, tõrgete lukustamise, lubade kontrollimise ja väljundi väravastamise.

[Keel: Redeldiagramm]

// Tehisintellekti südamelöögi ajalõpp |---[ AI_Heartbeat_Changed ]-------------------------(RES T4:0)---| |---[/AI_Heartbeat_Changed ]-------------------------(TON T4:0)---| | PRE 500ms |

// Lukusta tehisintellekti sideviga ajalõpu korral |---[ T4:0/DN ]--------------------------------------(L AI_Fault)--|

// Tühista tõrge ainult operaatori lähtestamise ja taastatud südamelöögiga |---[ Reset_PB ]---[ AI_Healthy ]--------------------(U AI_Fault)--|

// Piiriku luba klapi käsule |---[ AI_Request_GT_Max ]----------------------------(OTE Clamp_Hi)-| |---[ AI_Request_LT_Min ]----------------------------(OTE Clamp_Lo)-|

// Lõplik väljund lubatud ainult siis, kui tehisintellekti tõrget pole ja kõik ohutusload on tõesed |---[ AI_Command_Enable ]---[/AI_Fault]---[ Safe_Permissive ]---[ No_Trip ]---(OTE Valve_Open)--|

IEC 61508 on endiselt oluline, sest tehisintellekti lisamine ei kaota vajadust tõestatava funktsionaalse ohutuse järele; see suurendab tavaliselt vajadust arhitektuurse eraldamise ja valideerimisdistsipliini järele.

Usaldusväärses arhitektuuris:

• Tehisintellekt võib soovitada seadeväärtust.
• BPCS või PLC võib hinnata ja rakendada selle piiratud versiooni.
• Ohutusfunktsioon jääb eraldatuks ja deterministlikuks.
• Väljalülitused, seiskamised ja kaitsemeetmed ei sõltu tehisintellekti järeldustest.

"Simulation-Ready" tähendab, et insener suudab tõestada, jälgida, diagnoosida ja karastada juhtimisloogikat realistliku protsessikäitumise vastu enne, kui see jõuab elava protsessini.

See on eristus süntaksi ja juurutatavuse vahel. Inimene, kes oskab testida valvekoeri, piiriku loogikat, järjestuse seaduslikkust ja tõrgete taastumist realistliku mudeli vastu, on palju lähemal.

Tehisintellekti järelevalve loogika valideerimine nõuab riskikindlat keskkonda, kus ebakindlaid käske saab sisestada ilma riistvara, tootmist või inimesi ohustamata.

OLLA Lab on veebipõhine redelloogika ja digitaalse kaksiku simulatsioonikeskkond, kus kasutajad saavad ehitada redelprogramme, käivitada neid simulatsioonis, kontrollida muutujaid ja I/O-d ning valideerida käitumist realistlike tööstuslike stsenaariumide vastu.

Praktiline OLLA Labi töövoog tehisintellekti käepigistuse valideerimiseks

1. Looge järelevalve all olev käsusilt (nt `AI_Valve_SP_Request`).
2. Lisage deterministlik valideerimisloogika (piirik, muutuskiirus, valvekoer, load).
3. Kaardistage väljundid simuleeritud seadmetele.
4. Sisestage halbu juhtumeid (äkilised hüpped, võimatud väärtused, sidekadu).
5. Jälgige nii redeli olekut kui ka simuleeritud seadme olekut.
6. Muutke ja testige uuesti.

Insenerid peaksid dokumenteerima kompaktse tõendite kogumi:

1. Süsteemi kirjeldus
2. "Õige" operatiivne määratlus
3. Redelloogika ja simuleeritud seadme olek
4. Sisestatud tõrkejuhtum
5. Tehtud muudatus
6. Õppetunnid

• Tehisintellekti väljundi kohtlemine usaldusväärse juhtimisautoriteedina.
• Optimeerimise ja ohutuse segiajamine.
• Ajalõpu ja aegunud andmete käsitluse väljajätmine.
• Järjestuse seaduslikkuse eiramine.
• Ainult nominaalsete juhtumite testimine.

PLC-d toimivad agent-tehisintellekti ohutusjärelevalve süsteemidena, jõustades deterministlikku veto-loogikat tõenäosuslike soovituste ja füüsiliste seadmete vahel.

See on keskne disainireegel. Tehisintellekt saab optimeerida, soovitada ja kohaneda. PLC peab endiselt valideerima, piirama ja vajadusel keelduma. Tööstus 5.0-s ei ole juhtimisprobleem tehisintellekt või PLC. See on see, kuidas paigutada mõlemad rolli, mida nad suudavad tegelikult tõenditega täita.

OLLA Lab sobib sellesse töövoogu kui piiratud valideerimiskeskkond.

- IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. - OLLA Lab Documentation: Digital Twin and Ladder Logic Simulation Standards. - Ampergon Vallis Lab: Research on Deterministic Veto Logic in AI-Integrated OT.

See artikkel on koostatud OLLA Labi insenerimeeskonna poolt, keskendudes tööstusautomaatika ja tehisintellekti ohutule integratsioonile.

Artiklis esitatud väited deterministliku veto-loogika kohta põhinevad IEC 61508 standardi põhimõtetel ja OLLA Labi simuleeritud stressitestide tulemustel. Simulatsiooniandmed (valimi suurus = 30) on illustratiivsed ja mõeldud metoodika demonstreerimiseks, mitte universaalseks tõestuseks.