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

Research Output

Filter
Article
2018

Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features

Fan, C., Qi, B. & Mitra, S., Jun 2018, In : IEEE Design and Test. 35, 3, p. 31-38 8 p.

Research output: Contribution to journalArticle

Entropy and minimal bit rates for state estimation and model detection

Liberzon, D. & Mitra, S., Oct 2018, In : IEEE Transactions on Automatic Control. 63, 10, p. 3330-3340 11 p., 8186184.

Research output: Contribution to journalArticle

Verifying nonlinear analog and mixed-signal circuits with inputs

Fan, C., Meng, Y., Maier, J., Bartocci, E., Mitra, S. & Schmid, U., Jan 1 2018, In : IFAC-PapersOnLine. 51, 16, p. 241-246 6 p.

Research output: Contribution to journalArticle

2017

Bounded invariant verification for time-delayed nonlinear networked dynamical systems

Huang, Z., Fan, C. & Mitra, S., Feb 1 2017, In : Nonlinear Analysis: Hybrid Systems. 23, p. 211-229 19 p.

Research output: Contribution to journalArticle

Differential Privacy and Minimum-Variance Unbiased Estimation in Multi-agent Control Systems

Wang, Y., Mitra, S. & Dullerud, G. E., Jul 2017, In : IFAC-PapersOnLine. 50, 1, p. 9521-9526 6 p.

Research output: Contribution to journalArticle

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

Wang, Y., Huang, Z., Mitra, S. & Dullerud, G. E., Mar 2017, In : IEEE Transactions on Control of Network Systems. 4, 1, p. 118-130 13 p., 7833044.

Research output: Contribution to journalArticle

Simulation-driven reachability using matrix measures

Fan, C., Kapinski, J., Jin, X. & Mitra, S., Dec 2017, In : ACM Transactions on Embedded Computing Systems. 17, 1, 21.

Research output: Contribution to journalArticle

The 20th ACM International Conference on Hybrid Systems: Computation and Control [Conference Reports]

Frehse, G. & Mitra, S., Oct 2017, In : IEEE Control Systems. 37, 5, p. 98-99 2 p., 8038969.

Research output: Contribution to journalArticle

2015

Hybrid automata-based CEGAR for rectangular hybrid systems

Prabhakar, P., Duggirala, P. S., Mitra, S. & Viswanathan, M., Apr 1 2015, In : Formal Methods in System Design. 46, 2, p. 105-134 30 p.

Research output: Contribution to journalArticle

Safe and stabilizing distributed multi-path cellular flows

Johnson, T. T. & Mitra, S., May 10 2015, In : Theoretical Computer Science. 579, p. 9-32 24 p.

Research output: Contribution to journalArticle

Simulation-Based Verification of Cardiac Pacemakers with Guaranteed Coverage

Huang, Z., Fan, C., Mereacre, A., Mitra, S. & Kwiatkowska, M., Jan 1 2015, In : IEEE Design and Test. 32, 5, p. 27-34 8 p., 7130608.

Research output: Contribution to journalArticle

StarL: Towards a unified framework for programming, simulating and verifying distributed robotic systems

Lin, Y. & Mitra, S., May 2015, In : ACM SIGPLAN Notices. 50, 5, p. 83-92 10 p., a9.

Research output: Contribution to journalArticle

2013

Verifying cyber-physical interactions in safety-critical systems

Mitra, S., Wongpiromsarn, T. & Murray, R. M., Aug 20 2013, In : IEEE Security and Privacy. 11, 4, p. 28-37 10 p., 6531612.

Research output: Contribution to journalArticle

2012

Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

Wongpiromsarn, T., Mitra, S., Lamperski, A. & Murray, R. M., Aug 1 2012, In : Transactions on Embedded Computing Systems. 11, SUPPL. 2, 53.

Research output: Contribution to journalArticle

2011

Verification of distributed systems with local-global predicates

Chandy, K. M., Go, B., Mitra, S., Pilotto, C. & White, J., Sep 1 2011, In : Formal Aspects of Computing. 23, 5, p. 649-679 31 p.

Research output: Contribution to journalArticle

2009

Self-stabilizing robot formations over unreliable networks

Gilbert, S., Lynch, N., Mitra, S. & Nolte, T., Jul 1 2009, In : ACM Transactions on Autonomous and Adaptive Systems. 4, 3, 17.

Research output: Contribution to journalArticle

2008

Specifying and proving properties of timed I/O automata using Tempo

Archer, M., Lim, H., Lynch, N., Mitra, S. & Umeno, S., Jul 1 2008, In : Design Automation for Embedded Systems. 12, 1-2, p. 139-170 32 p.

Research output: Contribution to journalArticle

Verifying average dwell time of hybrid systems

Mitra, S., Liberzon, D. & Lynch, N., Dec 1 2008, In : Transactions on Embedded Computing Systems. 8, 1, 3.

Research output: Contribution to journalArticle

2007

Proving Approximate Implementations for Probabilistic I/O Automata

Mitra, S. & Lynch, N., Jun 20 2007, In : Electronic Notes in Theoretical Computer Science. 174, 8, p. 71-93 23 p.

Research output: Contribution to journalArticle

2003