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

Research Output

Filter
Conference article
2014

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

Wang, Y., Huang, Z., Mitra, S. & Dullerud, G. E., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 2130-2135 6 p., 7039713.

Research output: Contribution to journalConference article

2005

PVS strategies for proving abstraction properties of automata

Mitra, S. & Archer, M., Mar 15 2005, In : Electronic Notes in Theoretical Computer Science. 125, 2, p. 45-65 21 p.

Research output: Contribution to journalConference article

2004

Stability of hybrid automata with average dwell time: An invariant approach

Mitra, S. & Liberzon, D., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 2, p. 1394-1399 6 p.

Research output: Contribution to journalConference article