Seguir
Sayan Mitra
Título
Citado por
Citado por
Año
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
2742012
Differentially private distributed optimization
Z Huang, S Mitra, N Vaidya
Proceedings of the 16th International Conference on Distributed Computing …, 2015
2642015
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
2302016
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
2282005
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
2012015
Verification of annotated models from executions
PS Duggirala, S Mitra, M Viswanathan
2013 Proceedings of the International Conference on Embedded Software …, 2013
1252013
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
1182017
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
1022017
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
992016
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
882011
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
852016
A verification framework for hybrid systems
S Mitra
Dissertation Abstracts International 68 (12), 2007
852007
Bounded verification with on-the-fly discrepancy computation
C Fan, S Mitra
International Symposium on Automated Technology for Verification and …, 2015
642015
Verifying cyber-physical interactions in safety-critical systems
S Mitra, T Wongpiromsarn, RM Murray
IEEE Security & Privacy 11 (4), 28-37, 2013
632013
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
622014
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
572022
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
562015
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
562011
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
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
532014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20