Reliable Intelligent Systems Lab

Reliable Intelligent Systems Lab (RISL) at Rensselaer Polytechnic Institute (RPI) researches methods for improving the safety, trustworthiness, and generalizability of intelligent systems. The topics of interest include reachability analysis, decision-making under uncertainty, runtime monitoring, behavior modeling, and transfer learning. The lab’s application areas include aerial robotics, mobile robot navigation, and autonomous driving.

news

Aug 25, 2026	Aashrut Jain won Jo Anne and David Kelch ’60 Undergraduate Research Award for his research in semantic safety aware navigation. Congratulations Aashrut!
Jun 01, 2026	Shiqian Xu won Victor Peng ‘81 Summer Research Project Award for her research on robustness evaluation of neural network controllers. Congratulations Shiqian!
May 15, 2025	Esen is co-organizing Workshop on Formal Verification of Control Systems with Neural Network Components at ACC 2025!

selected publications

OJ-CSYS

Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems

Nicholas Rober, Sydney M Katz, Chelsea Sidrane, and 4 more authors

IEEE Open Journal of Control Systems, 2023

DOI arXiv Bib

@article{rober2023backward,
  title = {Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems},
  author = {Rober, Nicholas and Katz, Sydney M and Sidrane, Chelsea and Yel, Esen and Everett, Michael and Kochenderfer, Mykel J and How, Jonathan P},
  journal = {IEEE Open Journal of Control Systems},
  volume = {2},
  pages = {108--124},
  year = {2023},
  doi = {10.1109/OJCSYS.2023.3265901},
}