If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Paper
2014

On the cost of differential privacy in distributed control systems

Huang, Z., Wang, Y., Mitra, S. & Dullerud, G. E., Jan 1 2014, p. 105-114. 10 p.

Research output: Contribution to conferencePaper

Proofs from simulations and modular annotations

Huang, Z. & Mitra, S., Jan 1 2014, p. 183-192. 10 p.

Research output: Contribution to conferencePaper

2013

Invariant synthesis for verification of parameterized cyber-physical systems with applications to aerospace systems

Johnson, T. T. & Mitra, S., Sep 16 2013.

Research output: Contribution to conferencePaper