Category: News
-
Maxwell wins Outstanding Student Leadership Award
Maxwell Ruyle, a Mechanical Engineering undergraduate student, received the Bill “Roto” Reuter & Peter Nicholas Outstanding Student Leadership Award from the Department of Mechanical and Aerospace Engineering for leading activities in many contexts: Congratulations!
-
New preprint: a broad view of CPS resilience
Ivan took part in a large many-university effort to summarize the state of resilient cyber-physical systems (CPS) and the outlook for future research in this area. Five themes have emerged. Citation:
-
Posters at Undergraduate Spring Symposium 2026
—
Congratulations to Trevor and Chris (and Vignesh) on their presentations of undergraduate-led research projects! Featured above: Chris Oeltjen and Vignesh Saravanan with their defensive maneuvering work. Featured below: Trevor Turnquist with his calibrated filtering work.
-
Mathias wins ECE Undergrad Research Excellence Award
Congratulations to Mathias Gast on his well-deserved research award! In the TEA Lab, he has been working on soundly abstracting continuous systems, resulting in multiple paper submissions. Looking forward to his upcoming contributions!
-
New preprint: latent-entropy anomaly detection
In collaboration with ECE colleagues, we have put out a new variant of our unsupervised anomaly detection pipeline. This one uses a latent entropy loss to scramble the latent space, making anomalies harder to reconstruct (and hence easier to detect). No supervision (including a normal-only dataset) needed! Citation:
-
Ivan presents LLM confidence calibration at Shonan
—
Ivan had the honor of attending an invitation-only visionary workshop #235 on LLM-guided assurance and synthesis for CPS in Shonan, Japan. He presented the lab’s work on calibrating chain-of-thought confidence by discovering temporal patterns with Signal Temporal Logic. Materials: Some of the prominent debates at the workshop included:
-
Ivan named Malachowsky Family Endowed Rising Star
Big thanks to the Malachowsky Family for supporting our AI research! Also, congratulations to Alina and Yingying. Onwards! Links:
-
New preprint: verifiable deterministic world models
Our exploration of world models for system assurance resulted in a semi-predictable but currently unfashionable choice: removing randomness and uncertainty from the latent space made world models more verifiable (although a tiny bit less picture-perfect). More surprisingly, this step made the behaviors produced by them more relevant to the real world. As a result, we…
-
STL CoT confidence = most innovative poster
—
Zhenjiang and Ani presented a poster with their work on chain-of-thought confidence with signal temporal logic at the Annual Nelms IoT Conference. The core idea of this research is to find patterns in LLM confidence that tend to correlate with correct and incorrect answers. Then, these patterns can be used to determine the confidence, i.e.,…
-
New preprint: statistical-symbolic verification of perception
Our collaboration with RPI has yielded an extended and improved version of our NeuS’25 paper: combining conformal prediction for neural perception with reachability analysis for the dynamics and control. This problem required constructing a discrete abstraction of the perception neural net, which we did with a genetic algorithm. Citation: