Sayan Mitra

Best Publications

• Differentially private iterative synchronous consensus

  Zhenqi Huang;Sayan Mitra;Geir Dullerud

  293
  Citations

• Differentially Private Distributed Optimization

  Zhenqi Huang;Sayan Mitra;Nitin Vaidya

  270
  Citations

• Differential privacy in control and network systems

  Jorge Cortes;Geir E. Dullerud;Shuo Han;Jerome Le Ny

  241
  Citations

• Path vector face routing: geographic routing with local face information

  B. Leong;S. Mitra;B. Liskov

  237
  Citations

• C2E2: A Verification Tool for Stateflow Models

  Parasara Sridhar Duggirala;Sayan Mitra;Mahesh Viswanathan;Matthew Potok

  202
  Citations

• DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems

  Chuchu Fan;Bolun Qi;Sayan Mitra;Mahesh Viswanathan

  121
  Citations

• Verification of annotated models from executions

  Parasara Sridhar Duggirala;Sayan Mitra;Mahesh Viswanathan

  111
  Citations

• Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs

  Yu Wang;Zhenqi Huang;Sayan Mitra;Geir E. Dullerud

  104
  Citations

• Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

  Chuchu Fan;Bolun Qi;Sayan Mitra;Mahesh Viswanathan

  101
  Citations

• Sandboxing Controllers for Cyber-Physical Systems

  Stanley Bak;Karthik Manamcheri;Sayan Mitra;Marco Caccamo

  90
  Citations

• Multi-Agent Motion Planning From Signal Temporal Logic Specifications

  Unknown

  88
  Citations

• A verification framework for hybrid systems

  Nancy A. Lynch;Sayan Mitra

  87
  Citations

• Entropy and Minimal Bit Rates for State Estimation and Model Detection

  Daniel Liberzon;Sayan Mitra

  82
  Citations

• Verification of annotated models from executions

  Unknown

  72
  Citations

• Verifying Cyber-Physical Interactions in Safety-Critical Systems

  S. Mitra;T. Wongpiromsarn;R. M. Murray

  71
  Citations

• Bounded Verification with On-the-Fly Discrepancy Computation

  Unknown

  71
  Citations

• Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems

  Yu Wang;Zhenqi Huang;Sayan Mitra;Geir E. Dullerud

  62
  Citations

• A step towards verification and synthesis from simulink/stateflow models

  Karthik Manamcheri;Sayan Mitra;Stanley Bak;Marco Caccamo

  55
  Citations

• Locally optimal reach set over-approximation for nonlinear systems

  Unknown

  49
  Citations

• On the cost of differential privacy in distributed control systems

  Zhenqi Huang;Yu Wang;Sayan Mitra;Geir E. Dullerud

  45
  Citations