Sayan Mitra
University of Illinois at Urbana-Champaign
H-index: 35
North America-United States
Top articles of Sayan Mitra
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Assured Collision Avoidance for Learned Controllers: A Case Study of ACAS Xu | Gokul Puthumanaillam Manav Ketan Vora Taha Shafa Yangge Li Melkior Ornik | 2024 | |
Verification of Design Specifications in\mathcal {L} _1 Adaptive Control | Lin Song Sheng Cheng Sayan Mitra Naira Hovakimyan | 2024 | |
State Estimation of Continuous-time Dynamical Systems with Uncertain Inputs with Bounded Variation: Entropy, Bit Rates, and Relation with Switched Systems | IEEE Transactions on Automatic Control | Hussein Sibai Sayan Mitra | 2023/2/28 |
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning | arXiv preprint arXiv:2310.04288 | Kristina Miller Christopher K Zeitler William Shen Kerianne Hobbs Sayan Mitra | 2023/10/6 |
Refining perception contracts: Case studies in vision-based safe auto-landing | arXiv preprint arXiv:2311.08652 | Yangge Li Benjamin C Yang Yixuan Jia Daniel Zhuang Sayan Mitra | 2023/11/15 |
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | Proceedings of 10th International Workshop on Applied | Luca Geretti Julien Alexandre dit Sandretto Matthias Althoff Luis Benet Pieter Collins | 2023/10/18 |
Learning-based Perception Contracts and Applications | arXiv preprint arXiv:2309.13515 | Dawei Sun Benjamin C Yang Sayan Mitra | 2023/9/24 |
Symmetry-based Abstractions for Hybrid Automata | IEEE Transactions on Automatic Control | Hussein Sibai Sayan Mitra | 2023/10/24 |
Cyber-Physical Systems | ACM Transactions on | H Mousavi A Ebnenasir E Mahmoudzadeh X Fan Q Wang | 2023 |
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse | Haoqing Zhu Yangge Li Keyi Shen Sayan Mitra | 2023/10/22 | |
HyHooVer: Verification and Parameter Synthesis in Stochastic Systems with Hybrid State Space Using Optimistic Optimization | IEEE Open Journal of Control Systems | Negin Musavi DAWEI Sun SAYAN Mitra G Dullerud Sanjay Shakkottai | 2023/7/26 |
RTAEval: A framework for evaluating runtime assurance logic | Kristina Miller Christopher K Zeitler William Shen Mahesh Viswanathan Sayan Mitra | 2023/10/19 | |
Verse: A python library for reasoning about multi-agent hybrid system scenarios | Yangge Li Haoqing Zhu Katherine Braught Keyi Shen Sayan Mitra | 2023/7/17 | |
Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors | Lin Song Yangge Li Sheng Cheng Pan Zhao Sayan Mitra | 2023/5/9 | |
Perception Contracts for Safety of ML-Enabled Systems | Proceedings of the ACM on Programming Languages | Angello Astorga Chiao Hsieh P Madhusudan Sayan Mitra | 2023/10/16 |
Safety of the Stanley Controller with Curved Lanes and Noisy Perception | Hongyi Li Sayan Mitra | 2023/12/13 | |
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing | arXiv preprint arXiv:2210.08974 | Klara Nahrstedt Naresh Shanbhag Vikram Adve Nancy Amato Romit Roy Choudhury | 2022/10/4 |
Model structure takes guesswork out of state estimation: technical perspective | Communications of the ACM | Sayan Mitra | 2022/1/24 |
Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems | Chiao Hsieh Daniel Wu Yubin Koh Sayan Mitra | 2022/8/20 | |
Verifying controllers with vision-based perception using safe approximate abstractions | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Chiao Hsieh Yangge Li Dawei Sun Keyur Joshi Sasa Misailovic | 2022/8/9 |