default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSayan Mitra
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c115]Yangge Li
, Chenxi Ji, Sayan Mitra:
Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts. ICCPS 2025: 32:1-32:2- [i47]Yangge Li, Chenxi Ji, Xiangru Zhong, Huan Zhang, Sayan Mitra:
Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes. CoRR abs/2503.00308 (2025) - [i46]Yan Miao, William Shen, Sayan Mitra:
Zero-Shot Sim-to-Real Visual Quadrotor Control with Hard Constraints. CoRR abs/2503.02198 (2025) - 2024
- [j25]Christopher K. Zeitler, Kristina Miller, Sayan Mitra, John Schierman, Mahesh Viswanathan:
Optimizing Rewards while meeting $\omega$-regular Constraints. RLJ 5: 2492-2514 (2024) - [j24]Hussein Sibai, Sayan Mitra:
Symmetry-Based Abstractions for Hybrid Automata. IEEE Trans. Autom. Control. 69(5): 3357-3364 (2024) - [j23]Sayan Mitra, Nalini Venkatasubramanian:
Introduction to Special Issue for ICCPS 2022. ACM Trans. Cyber Phys. Syst. 8(2): 18 (2024) - [c114]Kristina Miller, Sean Phillips, Sayan Mitra:
Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers. ACC 2024: 2298-2303 - [c113]Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra:
Assuring Safety of Vision-Based Swarm Formation Control. ACC 2024: 3215-3222 - [c112]Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu:
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. Principles of Verification (3) 2024: 89-108 - [c111]Sayan Mitra:
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. HSCC 2024: 1:1 - [c110]Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra:
Optimal Runtime Assurance via Reinforcement Learning. ICCPS 2024: 67-76 - [c109]Dawei Sun, Benjamin C. Yang, Sayan Mitra:
Learning-based Inverse Perception Contracts and Applications. ICRA 2024: 11612-11618 - [c108]Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic:
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. ISSRE 2024: 260-271 - [c107]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: 625-631 - [i45]Erik Wu, Sayan Mitra:
Can LLMs plan paths with extra hints from solvers? CoRR abs/2410.05045 (2024) - [i44]Yangge Li, Benjamin C. Yang, Sayan Mitra:
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation. CoRR abs/2411.08144 (2024) - [i43]Yan Miao, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov, Sayan Mitra:
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events. CoRR abs/2411.16027 (2024) - [i42]Ayoosh Bansal, Duo Wang, Mikael Yeghiazaryan, Yangge Li, Chuyuan Tao, Hyung-Jin Yoon, Prateek Arora, Christos Papachristos, Petros G. Voulgaris, Sayan Mitra, Lui Sha, Naira Hovakimyan:
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis. CoRR abs/2412.08102 (2024) - 2023
- [j22]Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra:
Perception Contracts for Safety of ML-Enabled Systems. Proc. ACM Program. Lang. 7(OOPSLA2): 2196-2223 (2023) - [j21]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): 7041-7056 (2023) - [c106]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: 34-60 - [c105]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: 61-88 - [c104]Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra:
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. ATVA (1) 2023: 95-114 - [c103]Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA 2023: 302-313 - [c102]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: 351-364 - [c101]Hongyi Li, Sayan Mitra:
Safety of the Stanley Controller with Curved Lanes and Noisy Perception. CDC 2023: 8628-8634 - [c100]Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan:
Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors. ICCPS 2023: 245-246 - [c99]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: 1542-1543 - [e2]Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng, Mahsa Ghasemi, Jonathan Sprinkle:
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023. ACM 2023 [contents] - [i41]Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra:
Verse: A Python library for reasoning about multi-agent hybrid system scenarios. CoRR abs/2301.08714 (2023) - [i40]Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan:
Verification of L1 Adaptive Control using Verse Library: A Case Study of Quadrotors. CoRR abs/2303.13819 (2023) - [i39]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 abs/2304.14993 (2023) - [i38]Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A framework for evaluating runtime assurance logic. CoRR abs/2306.04585 (2023) - [i37]Dawei Sun, Benjamin C. Yang, Sayan Mitra:
Learning-based Perception Contracts and Applications. CoRR abs/2309.13515 (2023) - [i36]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 abs/2310.04288 (2023) - [i35]Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra:
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing. CoRR abs/2311.08652 (2023) - 2022
- [j20]Sayan Mitra:
Model structure takes guesswork out of state estimation: technical perspective. Commun. ACM 65(2): 110 (2022) - [j19]Sayan Mitra, Hussein Sibai:
Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems. Computer 55(10): 88-93 (2022) - [j18]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): 75-104 (2022) - [j17]Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-Agent Motion Planning From Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7(2): 3451-3458 (2022) - [j16]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): 1713-1727 (2022) - [j15]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): 4205-4216 (2022) - [c98]Chiao Hsieh, Daniel Wu, Yubin Koh, Sayan Mitra:
Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems. CASE 2022: 2287-2292 - [c97]Kristina Miller, Sayan Mitra:
Multi-agent motion planning using differential games with lexicographic preferences. CDC 2022: 5751-5756 - [c96]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: 17-20 - [c95]Dawei Sun, Sayan Mitra:
NeuReach: Learning Reachability Functions from Simulations. TACAS (1) 2022: 322-337 - [i34]Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR abs/2201.05247 (2022) - [i33]Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic:
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR abs/2208.02232 (2022) - [i32]Dawei Sun, Negin Musavi, Geir E. Dullerud, Sanjay Shakkottai, Sayan Mitra:
Learning Certifiably Robust Controllers Using Fragile Perception. CoRR abs/2209.11328 (2022) - [i31]Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra:
Assuring safety of vision-based swarm formation control. CoRR abs/2210.00982 (2022) - [i30]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 G. 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 abs/2210.08974 (2022) - 2021
- [c94]Kristina Miller, Chuchu Fan, Sayan Mitra:
Planning in Dynamic and Partially Unknown Environments. ADHS 2021: 169-174 - [c93]Hussein Sibai, Yangge Li, Sayan Mitra:
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. CAV (1) 2021: 580-594 - [c92]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: 923-930 - [c91]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: 372-379 - [c90]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: 253-259 - [c89]Sung Woo Jeon, Sayan Mitra:
Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems. SP (Workshops) 2021: 268-276 - [i29]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 abs/2111.05534 (2021) - 2020
- [j14]Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra:
Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. 4(OOPSLA): 232:1-232:30 (2020) - [c88]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: 16-48 - [c87]Chuchu Fan, Kristina Miller, Sayan Mitra:
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) 2020: 629-652 - [c86]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: 6654-6660 - [c85]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: 1-8 - [c84]Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) 2020: 173-190 - [i28]Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud:
Differential Privacy for Sequential Algorithms. CoRR abs/2004.00275 (2020) - [i27]Hussein Sibai, Sayan Mitra:
Symmetry Abstractions for Hybrid Systems and their Applications. CoRR abs/2006.09485 (2020) - [i26]Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra:
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. CoRR abs/2009.04655 (2020) - [i25]Hussein Sibai, Sayan Mitra:
State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems. CoRR abs/2011.10496 (2020) - [i24]Hussein Sibai, Yangge Li, Sayan Mitra:
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. CoRR abs/2011.10713 (2020) - [i23]Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi:
Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. CoRR abs/2012.00788 (2020)
2010 – 2019
- 2019
- [c83]Hussein Sibai, Navid Mokhlesi, Sayan Mitra:
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA 2019: 98-114 - [c82]Chiao Hsieh, Sayan Mitra:
Dione: A Protocol Verification System Built with Dafny for I/O Automata. IFM 2019: 227-245 - [i22]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 abs/1910.01557 (2019) - [i21]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 abs/1910.05599 (2019) - [i20]Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-Agent Safety Verification using Symmetry Transformations. CoRR abs/1911.00608 (2019) - [i19]Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai:
Optimistic Optimization for Statistical Model Checking with Regret Bounds. CoRR abs/1911.01537 (2019) - 2018
- [j13]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): 31-38 (2018) - [j12]Daniel Liberzon, Sayan Mitra:
Entropy and Minimal Bit Rates for State Estimation and Model Detection. IEEE Trans. Autom. Control. 63(10): 3330-3344 (2018) - [j11]Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17(1): 21:1-21:28 (2018) - [c81]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: 23-52 - [c80]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: 53-70 - [c79]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS 2018: 241-246 - [c78]Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan:
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) 2018: 347-366 - [c77]Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman A. Zonouz:
Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures. DSN 2018: 151-162 - [c76]Chuchu Fan, Zhenqi Huang, Sayan Mitra:
Approximate Partial Order Reduction. FM 2018: 588-607 - [c75]Hussein Sibai, Sayan Mitra:
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. HSCC 2018: 217-226 - [c74]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: 269-270 - [c73]Hussein Sibai, Sayan Mitra:
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. HSCC 2018: 279-280 - [c72]Nicole Chan, Sayan Mitra:
CODEV: Automated Model Predictive Control Design and Formal Verification. HSCC 2018: 281-282 - [c71]Matthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan:
SDCworks: a formal framework for software defined control of smart manufacturing systems. ICCPS 2018: 88-97 - [c70]Ritwika Ghosh, Sasa Misailovic, Sayan Mitra:
Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. ApPLIED@PODC 2018: 41-44 - [c69]Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra:
TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS 2018: 76-85 - [i18]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR abs/1803.02975 (2018) - [i17]Nicole Chan, Sayan Mitra:
CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper). CoRR abs/1804.02568 (2018) - 2017
- [j10]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): 118-130 (2017) - [c68]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) 2017: 441-461 - [c67]Nicole Chan, Sayan Mitra:
Verified hybrid LQ control for autonomous spacecraft rendezvous. CDC 2017: 1427-1432 - [c66]Nicole Chan, Sayan Mitra:
Verifying safety of an autonomous spacecraft rendezvous mission. ARCH@CPSWeek 2017: 20-32 - [c65]Hussein Sibai, Sayan Mitra:
Optimal Data Rate for State Estimation of Switched Nonlinear Systems. HSCC 2017: 71-80 - [e1]Goran Frehse, Sayan Mitra:
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. ACM 2017, ISBN 978-1-4503-4590-3 [contents] - [i16]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR abs/1702.06902 (2017) - [i15]Nicole Chan, Sayan Mitra:
Verifying safety of an autonomous spacecraft rendezvous mission. CoRR abs/1703.06930 (2017) - [i14]Chuchu Fan, Bolun Qi, Sayan Mitra:
Road to safe autonomy with data and formal reasoning. CoRR abs/1704.06406 (2017) - 2016
- [c64]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: 1024-1029 - [c63]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala:
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) 2016: 531-538 - [c62]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: 4252-4272 - [c61]Daniel Liberzon, Sayan Mitra:
Entropy notions for state estimation and model detection with finite-data-rate measurements. CDC 2016: 7335-7340 - [c60]Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT 2016: 6:1-6:10 - [c59]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
Controller synthesis for linear dynamical systems with adversaries. HotSoS 2016: 53-62 - [c58]Daniel Liberzon, Sayan Mitra:
Entropy and Minimal Data Rates for State Estimation and Model Detection. HSCC 2016: 247-256 - [i13]Yixiao Lin, Sayan Mitra, Shuting Li:
Porting Code Across Simple Mobile Robots. CoRR abs/1603.00619 (2016) - [i12]Zhenqi Huang, Sayan Mitra:
Approximate Partial Order Reduction. CoRR abs/1610.06317 (2016) - 2015
- [j9]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32(5): 27-34 (2015) - [j8]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. 46(2): 105-134 (2015) - [j7]Taylor T. Johnson, Sayan Mitra:
Safe and stabilizing distributed multi-path cellular flows. Theor. Comput. Sci. 579: 9-32 (2015) - [c57]Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. ATVA 2015: 446-463 - [c56]Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan:
Meeting a Powertrain Verification Challenge. CAV (1) 2015: 536-543 - [c55]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC 2015: 7434-7439 - [c54]Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek 2015: 207-212 - [c53]Ritwika Ghosh, Sayan Mitra:
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. FORTE 2015: 35-49 - [c52]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. HSB 2015: 195-210 - [c51]Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan:
C2E2: a tool for verifying annotated hybrid systems. HSCC 2015: 307-308 - [c50]Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya:
Differentially Private Distributed Optimization. ICDCN 2015: 4:1-4:10 - [c49]Yixiao Lin, Sayan Mitra:
StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. LCTES 2015: 9:1-9:10 - [c48]Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok:
C2E2: A Verification Tool for Stateflow Models. TACAS 2015: 68-82 - [i11]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
Controller Synthesis for Linear Time-varying Systems with Adversaries. CoRR abs/1501.04925 (2015) - [i10]Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. CoRR abs/1502.01801 (2015) - [i9]Yixiao Lin, Sayan Mitra:
StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. CoRR abs/1502.06286 (2015) - [i8]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. CoRR abs/1503.06480 (2015) - [i7]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR abs/1509.04623 (2015) - 2014
- [c47]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV 2014: 373-390 - [c46]Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. CDC 2014: 2130-2135 - [c45]Hongxu Chen, Sayan Mitra, Guangyu Tian:
Motor-Transmission Drive System: a Benchmark Example for Safety Verification. ARCH@CPSWeek 2014: 9-18 - [c44]Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz:
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM 2014: 215-229 - [c43]Taylor T. Johnson, Sayan Mitra:
Anonymized Reachability of Hybrid Automata Networks. FORMATS 2014: 130-145 - [c42]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
On the cost of differential privacy in distributed control systems. HiCoNS 2014: 105-114 - [c41]Sayan Mitra:
Proving abstractions of dynamical systems through numerical simulations. HotSoS 2014: 12 - [c40]Zhenqi Huang, Sayan Mitra:
Proofs from simulations and modular annotations. HSCC 2014: 183-192 - [c39]Hongxu Chen, Sayan Mitra:
Synthesis and verification of motor-transmission shift controller for electric vehicles. ICCPS 2014: 25-35 - [i6]Sayan Mitra:
Proving Abstractions of Dynamical Systems through Numerical Simulations. CoRR abs/1401.1313 (2014) - [i5]Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya:
Differentially Private Distributed Optimization. CoRR abs/1401.2596 (2014) - 2013
- [j6]Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray:
Verifying Cyber-Physical Interactions in Safety-Critical Systems. IEEE Secur. Priv. 11(4): 28-37 (2013) - [c38]Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Verification of annotated models from executions. EMSOFT 2013: 26:1-26:10 - [c37]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI 2013: 48-67 - 2012
- [j5]Tichakorn Wongpiromsarn, Sayan Mitra, Andrew G. Lamperski, Richard M. Murray:
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle. ACM Trans. Embed. Comput. Syst. 11(S2): 53:1-53:24 (2012) - [c36]Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin:
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. FM 2012: 252-266 - [c35]Taylor T. Johnson, Sayan Mitra:
A Small Model Theorem for Rectangular Hybrid Automata Networks. FMOODS/FORTE 2012: 18-34 - [c34]Parasara Sridhar Duggirala, Sayan Mitra:
Lyapunov abstractions for inevitability of hybrid systems. HSCC 2012: 115-124 - [c33]Zhenqi Huang, Sayan Mitra:
Computing bounded reach sets from sampled simulation traces. HSCC 2012: 291-294 - [c32]Taylor T. Johnson, Sayan Mitra:
Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study. ICCPS 2012: 161-170 - [c31]Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra:
Static and Dynamic Analysis of Timed Distributed Traces. RTSS 2012: 173-182 - [c30]Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Differentially private iterative synchronous consensus. WPES 2012: 81-90 - [i4]Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar:
Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata. CoRR abs/1205.3426 (2012) - [i3]Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Differentially Private Iterative Synchronous Consensus. CoRR abs/1207.4262 (2012) - [i2]Taylor T. Johnson, Sayan Mitra:
Safe and Stabilizing Distributed Multi-Path Cellular Flows. CoRR abs/1209.2058 (2012) - 2011
- [j4]K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White:
Verification of distributed systems with local-global predicates. Formal Aspects Comput. 23(5): 649-679 (2011) - [c29]Taylor T. Johnson, Sayan Mitra, Cédric Langbort:
Stability of digitally interconnected linear systems. CDC/ECC 2011: 2687-2692 - [c28]Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar:
Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata. HSCC 2011: 113-122 - [c27]Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo:
A step towards verification and synthesis from simulink/stateflow models. HSCC 2011: 317-318 - [c26]Stanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo:
Sandboxing Controllers for Cyber-Physical Systems. ICCPS 2011: 3-12 - [c25]Parasara Sridhar Duggirala, Sayan Mitra:
Abstraction Refinement for Stability. ICCPS 2011: 22-31 - 2010
- [c24]Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar:
Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition. CDC 2010: 6177-6182 - [c23]Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri:
Safe and Stabilizing Distributed Cellular Flows. ICDCS 2010: 577-586 - [c22]Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski:
On the Theory of Stochastic Processors. QEST 2010: 292-301 - [c21]Stanley Bak, Ashley Greer, Sayan Mitra:
Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 143-152 - [c20]Taylor T. Johnson, Sayan Mitra:
Safe Flocking in Spite of Actuator Faults. SSS 2010: 588-602
2000 – 2009
- 2009
- [j3]Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte:
Self-stabilizing robot formations over unreliable networks. ACM Trans. Auton. Adapt. Syst. 4(3): 17:1-17:29 (2009) - [c19]Sayan Mitra, Shivakumar Sastry:
Hybrid Input Output Automata for composable conveyor systems. CASE 2009: 29 - [c18]Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan:
On Convergence of Concurrent Systems under Regular Interactions. CONCUR 2009: 527-541 - [c17]Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski:
Periodically Controlled Hybrid Systems. HSCC 2009: 396-410 - [c16]R. E. Lee DeVille, Sayan Mitra:
Stability of Distributed Algorithms in the Face of Incessant Faults. SSS 2009: 224-237 - 2008
- [j2]Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno:
Specifying and proving properties of timed I/O automata using Tempo. Des. Autom. Embed. Syst. 12(1-2): 139-170 (2008) - [j1]Sayan Mitra, Daniel Liberzon, Nancy A. Lynch:
Verifying average dwell time of hybrid systems. ACM Trans. Embed. Comput. Syst. 8(1): 3:1-3:37 (2008) - [c15]K. Mani Chandy, Sayan Mitra, Concetta Pilotto:
Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232 - [c14]Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte:
Self-stabilizing Mobile Robot Formations with Virtual Nodes. SSS 2008: 188-202 - [c13]Sayan Mitra, K. Mani Chandy:
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245 - 2007
- [b1]Sayan Mitra:
A verification framework for hybrid systems. Massachusetts Institute of Technology, Cambridge, MA, USA, 2007 - [c12]Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka:
Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258 - [c11]Sayan Mitra, Nancy A. Lynch:
Trace-Based Semantics for Probabilistic Timed I/O Automata. HSCC 2007: 718-722 - [i1]Ling Cheung, Sayan Mitra, Olivier Pereira:
Verifying Statistical Zero Knowledge with Approximate Implementations. IACR Cryptol. ePrint Arch. 2007: 195 (2007) - 2006
- [c10]Sayan Mitra, Nancy A. Lynch, Daniel Liberzon:
Verifying Average Dwell Time by Solving Optimization Problems. HSCC 2006: 476-490 - [c9]Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno:
Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE 2006: 129-138 - [c8]Sayan Mitra, Nancy A. Lynch:
Proving Approximate Implementations for Probabilistic I/O Automata. PDPAR/PaUL@FLoC 2006: 71-93 - 2005
- [c7]Nancy A. Lynch, Sayan Mitra, Tina Nolte:
Motion Coordination using Virtual Nodes. CDC/ECC 2005: 2823-2828 - [c6]Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra:
Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS 2005: 17-31 - [c5]Ben Leong, Sayan Mitra, Barbara Liskov:
Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158 - [c4]Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber:
Proving Atomicity: An Assertional Approach. DISC 2005: 152-168 - 2004
- [c3]Sayan Mitra, Daniel Liberzon:
Stability of hybrid automata with average dwell time: an invariant approach. CDC 2004: 1394-1399 - [c2]Sayan Mitra, Myla Archer:
PVS Strategies for Proving Abstraction Properties of Automata. STRATEGIES@IJCAR 2004: 45-65 - 2003
- [c1]Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron:
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC 2003: 343-358
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-12 22:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
