eess.SY · 2026-09-20 · No. 119

Systems and Control, 2026-09-20.

1 new papers in eess.SY. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

1 entries
  1. 01

    Large Language Models as Falsifiers for Cyber-Physical Systems

    Ali ArjomandBigdeli, Jiawei Zhou, Stanley Bak

    eess.SY · cs.AI · cs.LO · cs.SE

    Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS). With specifications written in Signal Temporal Logic (STL), falsification can be formulated as a robustness optimization problem, traditionally tackled with black-box search algorithms. In parallel, large language models (LLMs) have recently emerged as surprisingly effective optimizers when coupled with iterative prompting. In this work, we...

    arxiv.org/abs/2609.20752 · PDF

This edition is part of The Daily Abstract — eess.SY archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.