Category: News
-
New NSF project on neuro-symbolic perception in CPS
The new project is named “Neuro-Symbolic Bridge: From Perception to Estimation & Control“. Its goal is to develop a neuro-symbolic calibration framework to repair the mismatch between perception neural networks and downstream cyber-physical tasks such as state estimation and control. It will be carried out in collaboration with Radoslav Ivanov at RPI. More information: ECE…
-
Ivan spends summer at AFRL as a visiting faculty
For Summer 2024, Ivan Ruchkin will join the Visiting Faculty Research Program (VFRP) at the Air Force Research Laboratory (AFRL) Information Directorate (RI) in Rome, NY. The program is organized by the Griffis Institute. Ivan will work on advancing safety verification for high-dimensional controllers. He will also participate in the cyber assurance group’s efforts on…
-
Zhenjiang presents two papers and a poster at ICRA 2024
—
The papers were on foundation world models and language-enhanced OOD. The audience response was, reportedly, positive and encouraged the implementation on physical robotic systems. Citations:
-
Ivan presents NN repair with preservation at ICCPS 2024
—
In the first presentation of ICCPS 2024, Ivan showcased a method to repair a neural network controller while preserving its verification results. Citation: Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin. Repairing Learning-Enabled Controllers While Preserving What Works [Arxiv] [Github] [Slides]. In Proceedings of the International Conference on Cyber-Physical Systems (ICCPS), Hong Kong, China, 2024.
-
Language-enhanced OOD detection: new preprint online
Our paper gives users of autonomous cars the ability to describe in natural language what conditions they consider nominal or anomalous. Citation:
-
F1/10 racing demo for the ECE External Advisory Board
Industry leaders visited the ECE department to witness the variety of work happening here. Thanks to everyone who helped, especially Carson Sobolewski and Lorant Domokos who led the demonstration. Some videos and photos from the event:
-
First batch of students finishes the CURE racing course
Congratulations to the nine freshmen participants: Ramsey Makan, Jonas Dickens, Tyler Ruble, Christopher Oeltjen, Carter Amaba, Aditya Gandhi, Emilia Delaune, Ethan Krol, and Giancarlo Vidal! And a big thank you to the mentors: Ao Wang, Sam Jhong, Lorant Domokos, and Carson Sobolewski. More information on this CURE course is here.
-
Foundation world models: new preprint online
Our paper develops training-free world models based on foundation models with interpretable latent states. Update: presented at the probabilistic robotics workshop at ICRA’24. Citation:
-
TEA Lab moves to Malachowsky Hall
—
Now found in Malachowsky 4100, with a brand new racing track coming soon!
-
Verifying high-dimensional controllers: new preprint online
Our new draft verifies image-based controllers by approximating them with several low-dimensional ones. Citation: Yuang Geng, Souradeep Dutta, Ivan Ruchkin. Bridging Dimensions: Confident Reachability for High-Dimensional Controllers [arxiv]. Preprint, in submission.