Differentially private iterative synchronous consensus Z Huang, S Mitra, G Dullerud Proceedings of the 2012 ACM workshop on Privacy in the electronic society, 81-90, 2012 | 279 | 2012 |
Differentially private distributed optimization Z Huang, S Mitra, N Vaidya Proceedings of the 16th International Conference on Distributed Computing …, 2015 | 273 | 2015 |
Differential privacy in control and network systems J Cortés, GE Dullerud, S Han, J Le Ny, S Mitra, GJ Pappas 2016 IEEE 55th Conference on Decision and Control (CDC), 4252-4272, 2016 | 233 | 2016 |
Path vector face routing: Geographic routing with local face information B Leong, S Mitra, B Liskov 13TH IEEE International Conference on Network Protocols (ICNP'05), 12 pp.-158, 2005 | 228 | 2005 |
C2E2: A verification tool for stateflow models PS Duggirala, S Mitra, M Viswanathan, M Potok Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 202 | 2015 |
Verification of annotated models from executions PS Duggirala, S Mitra, M Viswanathan 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 125 | 2013 |
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems C Fan, B Qi, S Mitra, M Viswanathan International Conference on Computer Aided Verification, 441-461, 2017 | 120 | 2017 |
Differential privacy in linear distributed control systems: Entropy minimizing mechanisms and performance tradeoffs Y Wang, Z Huang, S Mitra, GE Dullerud IEEE Transactions on Control of Network Systems 4 (1), 118-130, 2017 | 106 | 2017 |
Automatic reachability analysis for nonlinear hybrid models with C2E2 C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala International Conference on Computer Aided Verification, 531-538, 2016 | 100 | 2016 |
Sandboxing controllers for cyber-physical systems S Bak, K Manamcheri, S Mitra, M Caccamo 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, 3-12, 2011 | 89 | 2011 |
Entropy and minimal data rates for state estimation and model detection D Liberzon, S Mitra Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 86 | 2016 |
A verification framework for hybrid systems S Mitra Dissertation Abstracts International 68 (12), 2007 | 85 | 2007 |
Bounded verification with on-the-fly discrepancy computation C Fan, S Mitra International Symposium on Automated Technology for Verification and …, 2015 | 64 | 2015 |
Multi-agent motion planning from signal temporal logic specifications D Sun, J Chen, S Mitra, C Fan IEEE Robotics and Automation Letters 7 (2), 3451-3458, 2022 | 63 | 2022 |
Verifying cyber-physical interactions in safety-critical systems S Mitra, T Wongpiromsarn, RM Murray IEEE Security & Privacy 11 (4), 28-37, 2013 | 63 | 2013 |
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems Y Wang, Z Huang, S Mitra, GE Dullerud 53rd IEEE conference on decision and control, 2130-2135, 2014 | 62 | 2014 |
Hybrid automata-based cegar for rectangular hybrid systems P Prabhakar, PS Duggirala, S Mitra, M Viswanathan Formal Methods in System Design 46, 105-134, 2015 | 56 | 2015 |
A step towards verification and synthesis from Simulink/Stateflow models K Manamcheri, S Mitra, S Bak, M Caccamo Proceedings of the 14th international conference on Hybrid systems …, 2011 | 56 | 2011 |
On the cost of differential privacy in distributed control systems Z Huang, Y Wang, S Mitra, GE Dullerud Proceedings of the 3rd international conference on High confidence networked …, 2014 | 55 | 2014 |
Safety verification of model helicopter controller using hybrid Input/Output automata S Mitra, Y Wang, N Lynch, E Feron International Workshop on Hybrid Systems: Computation and Control, 343-358, 2003 | 55* | 2003 |