[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-a-new-way-to-make-ai-control-systems-resist-attacks":10,"sections":35},{"siteName":4,"siteTagline":5,"publisherName":4,"contactEmail":6},"The Revision","Tech news, decoded.","editor@therevision.news",{"gaMeasurementId":8,"adsenseClientId":9},"G-ZW2MV82GYR","ca-pub-8533917693782264",{"article":11},{"id":12,"slug":13,"title":14,"dek":15,"body_md":16,"tags_json":17,"published_at":18,"created_at":19,"updated_at":20,"status":21,"review_note":22,"review_notes":23,"image_url":22,"persona_id":22,"persona_name":22,"section":24,"tags":25,"sources":30,"feedback":34,"feedback_at":22,"cost_usd":34,"total_tokens":34},9010,"a-new-way-to-make-ai-control-systems-resist-attacks","A New Way to Make AI Control Systems Resist Attacks","A new diffusion model embeds formal safety logic directly into its forecasts, making cyber-physical control systems harder to fool with sensor attacks.","A team of researchers has taught an AI forecasting model to check its own predictions against formal safety rules before acting on them.\n\nThe system, called LogiC-Diff, is a two-stage diffusion model built for cyber-physical systems like power grids and water networks. It takes Signal Temporal Logic specifications, essentially machine-readable safety contracts, and uses them to guide two steps: first repairing suspect sensor inputs, then refining the output forecast so it still obeys those contracts. The researchers tested it on two real-world multivariate datasets against sensor faults, gradient-based attacks, and adaptive attacks of varying strength. Across all of those, the model held up better than reconstruction-only baselines, degraded more gracefully as attacks got stronger, and generalized to attack types it had not seen during training.\n\nMost security for these systems today sits outside the prediction model: a filter checks the inputs, a rule engine flags anomalies, and the forecasting model itself has no idea any of that happened. If an attack slips past the filter, the model has no backup plan. Embedding the safety specification into the model's own inference loop means the system is built to refuse bad outputs on its own terms, not just rely on something upstream catching the problem first.\n\nThat said, this is a preprint tested on two datasets under simulated attacks, not a system running an actual grid. Whether the extra inference cost and the overhead of writing good temporal-logic specs for a real plant pencil out is still an open question.","[\"ai-security\",\"cyber-physical-systems\",\"formal-methods\",\"adversarial-attacks\"]","2026-10-01T04:00:00.000Z","2026-10-01T15:36:14.247Z","2026-10-01T15:36:17.791Z","published",null,[],"security",[26,27,28,29],"ai-security","cyber-physical-systems","formal-methods","adversarial-attacks",[31],{"name":32,"url":33},"arXiv cs.AI","https:\u002F\u002Farxiv.org\u002Fabs\u002F2609.38381",0,{"sections":36},[37,41,44,49,54,59,63,68,73,77,82,87,92,97],{"name":38,"slug":39,"count":40,"latest_published_at":18},"AI","ai",5488,{"name":42,"slug":24,"count":43,"latest_published_at":18},"Security",809,{"name":45,"slug":46,"count":47,"latest_published_at":48},"Policy","policy",429,"2026-10-01T02:26:17.000Z",{"name":50,"slug":51,"count":52,"latest_published_at":53},"Deals","deals",298,"2026-09-30T21:00:26.000Z",{"name":55,"slug":56,"count":57,"latest_published_at":58},"Hardware","hardware",196,"2026-09-30T13:00:00.000Z",{"name":60,"slug":61,"count":62,"latest_published_at":18},"Science","science",162,{"name":64,"slug":65,"count":66,"latest_published_at":67},"Consumer Tech","consumer-tech",149,"2026-09-30T22:57:11.000Z",{"name":69,"slug":70,"count":71,"latest_published_at":72},"Dev Tools","dev-tools",93,"2026-10-01T02:30:48.000Z",{"name":74,"slug":75,"count":71,"latest_published_at":76},"Software","software","2026-09-30T21:41:11.000Z",{"name":78,"slug":79,"count":80,"latest_published_at":81},"Startups","startups",84,"2026-09-30T20:39:09.000Z",{"name":83,"slug":84,"count":85,"latest_published_at":86},"Gaming","gaming",51,"2026-09-30T16:24:30.000Z",{"name":88,"slug":89,"count":90,"latest_published_at":91},"General","general",50,"2026-09-30T21:37:54.000Z",{"name":93,"slug":94,"count":95,"latest_published_at":96},"Reviews","reviews",31,"2026-09-28T14:31:34.000Z",{"name":98,"slug":99,"count":100,"latest_published_at":101},"How-To","how-to",6,"2026-06-16T09:00:00.000Z"]