Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSayan Mitra
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c100]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- [c99]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 - [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] - [i38]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) - [i37]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) - [i36]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) - [i35]Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A framework for evaluating runtime assurance logic. CoRR abs/2306.04585 (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]