Sayan Mitra

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 116

Top Venues

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Hussein Sibai, Sayan Mitra
Symmetry-Based Abstractions for Hybrid Automata. IEEE Trans. Autom. Control. 69 (5) (2024)
Dawei Sun, Benjamin C. Yang, Sayan Mitra
Learning-based Inverse Perception Contracts and Applications. ICRA (2024)
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
Optimal Runtime Assurance via Reinforcement Learning. ICCPS (2024)
Sayan Mitra, Nalini Venkatasubramanian
Introduction to Special Issue for ICCPS 2022. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Ishika Joshi, Ritvik Budhiraja, Harshal Dev, Jahnvi Kadia, Mohammad Osama Ataullah, Sayan Mitra, Harshal D. Akolekar, Dhruv Kumar
ChatGPT in the Classroom: An Analysis of Its Strengths and Weaknesses for Solving Undergraduate Computer Science Questions. SIGCSE (1) (2024)
Sayan Mitra
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. HSCC (2024)
Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan
Adaptive Control using Verse Library: A Case Study of Quadrotors. CoRR (2023)
Sayan Mitra, Cynthia M. Kroeger, Tian Wang, Andrius Masedunskas, Sophie A. Cassidy, Robin Huang, Luigi Fontana, Na Liu
Gamified Smartphone-App Interventions on Behaviour and Metabolic Profile in Patients at Risk of Cardiovascular Disease. MedInfo (2023)
Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan
Adaptive Control using Verse Library: A Case Study of Quadrotors. ICCPS (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A framework for evaluating runtime assurance logic. CoRR (2023)
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python library for reasoning about multi-agent hybrid system scenarios. CoRR (2023)
Hongyi Li, Sayan Mitra
Safety of the Stanley Controller with Curved Lanes and Noisy Perception. CDC (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR (2023)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Hussein Sibai, Sayan Mitra
State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems. IEEE Trans. Autom. Control. 68 (12) (2023)
Ishika Joshi, Ritvik Budhiraja, Harshal Dev, Jahnvi Kadia, M. Osama Ataullah, Sayan Mitra, Dhruv Kumar, Harshal D. Akolekar
ChatGPT - a Blessing or a Curse for Undergraduate Computer Science Students and Instructors? CoRR (2023)
Dawei Sun, Benjamin C. Yang, Sayan Mitra
Learning-based Perception Contracts and Applications. CoRR (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA (2023)
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. CAV (1) (2023)
Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing. CoRR (2023)
Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
Perception Contracts for Safety of ML-Enabled Systems. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2023)
Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. ATVA (1) (2023)
Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
Multi-Agent Motion Planning From Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7 (2) (2022)
Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. 67 (4) (2022)
Sayan Mitra, Hussein Sibai
Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems. Computer 55 (10) (2022)
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR (2022)
Dawei Sun, Sayan Mitra
NeuReach: Learning Reachability Functions from Simulations. TACAS (1) (2022)
Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. EMSOFT (2022)
Sayan Mitra
Model structure takes guesswork out of state estimation: technical perspective. Commun. ACM 65 (2) (2022)
Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
MLEFlow: Learning from History to Improve Load Balancing in Tor. Proc. Priv. Enhancing Technol. 2022 (1) (2022)
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Kristina Miller, Sayan Mitra
Multi-agent motion planning using differential games with lexicographic preferences. CDC (2022)
Dawei Sun, Negin Musavi, Geir E. Dullerud, Sanjay Shakkottai, Sayan Mitra
Learning Certifiably Robust Controllers Using Fragile Perception. CoRR (2022)
Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR (2022)
Chiao Hsieh, Daniel Wu, Yubin Koh, Sayan Mitra
Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems. CASE (2022)
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra
Assuring safety of vision-based swarm formation control. CoRR (2022)
Klara Nahrstedt, Naresh R. Shanbhag, Vikram S. Adve, Nancy M. Amato, Romit Roy Choudhury, Carl A. Gunter, Nam Sung Kim, Olgica Milenkovic, Sayan Mitra, Lav R. Varshney, Yurii Vlasov, Sarita V. Adve, Rashid Bashir, Andreas Cangellaris, James DiCarlo, Katie Driggs Campbell, Nick Feamster, Mattia Gazzola, Karrie Karahalios, Sanmi Koyejo, Paul Kwiat, Bo Li, Negar Mehr, Ravish Mehra, Andrew Miller, Daniela Rus, Alexander G. Schwing, Anshumali Shrivastava
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing. CoRR (2022)
Hussein Sibai, Yangge Li, Sayan Mitra
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. CAV (1) (2021)
Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi
HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. SP Workshops (2021)
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. CoRR (2021)
Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization. CCTA (2021)
Sung Woo Jeon, Sayan Mitra
Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems. SP Workshops (2021)
Kristina Miller, Chuchu Fan, Sayan Mitra
Planning in Dynamic and Partially Unknown Environments. ADHS (2021)
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. ITSC (2021)
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. ICRA (2020)
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) (2020)
Hussein Sibai, Sayan Mitra
Symmetry Abstractions for Hybrid Systems and their Applications. CoRR (2020)
Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi
Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. CoRR (2020)
Hussein Sibai, Yangge Li, Sayan Mitra
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. CoRR (2020)
Hussein Sibai, Sayan Mitra
State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems. CoRR (2020)
Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud
Differential Privacy for Sequential Algorithms. CoRR (2020)
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)
Peter Du, Zhe Huang, Tianqi Liu, Tianchen Ji, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra
Online Monitoring for Safe Pedestrian-Vehicle Interactions. ITSC (2020)
Chuchu Fan, Kristina Miller, Sayan Mitra
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) (2020)
Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra
Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. CoRR (2020)
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
Multi-Agent Safety Verification using Symmetry Transformations. CoRR (2019)
Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
Optimistic Optimization for Statistical Model Checking with Regret Bounds. CoRR (2019)
Chiao Hsieh, Sayan Mitra
Dione: A Protocol Verification System Built with Dafny for I/O Automata. IFM (2019)
Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra
Online monitoring for safe pedestrian-vehicle interactions. CoRR (2019)
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. CoRR (2019)
Hussein Sibai, Navid Mokhlesi, Sayan Mitra
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA (2019)
Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS (2018)
Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) (2018)
Hussein Sibai, Sayan Mitra
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. HSCC (2018)
Daniel Liberzon, Sayan Mitra
Entropy and Minimal Bit Rates for State Estimation and Model Detection. IEEE Trans. Autom. Control. 63 (10) (2018)
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2018)
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR (2018)
Nicole Chan, Sayan Mitra
CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper). CoRR (2018)
Hussein Sibai, Sayan Mitra
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. HSCC (2018)
Nicole Chan, Sayan Mitra
CODEV: Automated Model Predictive Control Design and Formal Verification. HSCC (2018)
Chuchu Fan, Bolun Qi, Sayan Mitra
Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features. IEEE Des. Test 35 (3) (2018)
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2018)
Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman A. Zonouz
Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures. DSN (2018)
Matthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan
SDCworks: a formal framework for software defined control of smart manufacturing systems. ICCPS (2018)
Chuchu Fan, Zhenqi Huang, Sayan Mitra
Approximate Partial Order Reduction. FM (2018)
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. HSCC (2018)
Ritwika Ghosh, Sasa Misailovic, Sayan Mitra
Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. ApPLIED@PODC (2018)
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS (2018)
Chuchu Fan, Bolun Qi, Sayan Mitra
Road to safe autonomy with data and formal reasoning. CoRR (2017)
Nicole Chan, Sayan Mitra
Verifying safety of an autonomous spacecraft rendezvous mission. ARCH@CPSWeek (2017)
Nicole Chan, Sayan Mitra
Verifying safety of an autonomous spacecraft rendezvous mission. CoRR (2017)
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. IEEE Trans. Control. Netw. Syst. 4 (1) (2017)
Hussein Sibai, Sayan Mitra
Optimal Data Rate for State Estimation of Switched Nonlinear Systems. HSCC (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) (2017)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR (2017)
Nicole Chan, Sayan Mitra
Verified hybrid LQ control for autonomous spacecraft rendezvous. CDC (2017)
Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas
Differential privacy in control and network systems. CDC (2016)
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) (2016)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
Controller synthesis for linear dynamical systems with adversaries. HotSoS (2016)
Zhenqi Huang, Sayan Mitra
Approximate Partial Order Reduction. CoRR (2016)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Daniel Liberzon, Sayan Mitra
Entropy notions for state estimation and model detection with finite-data-rate measurements. CDC (2016)
Yixiao Lin, Sayan Mitra, Shuting Li
Porting Code Across Simple Mobile Robots. CoRR (2016)
Daniel Liberzon, Sayan Mitra
Entropy and Minimal Data Rates for State Estimation and Model Detection. HSCC (2016)
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT (2016)
Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek (2015)
Ritwika Ghosh, Sayan Mitra
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. FORTE (2015)

Sayan Mitra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sayan Mitra