Sayan Mitra - Publications, H-index & Citations

Back

Sayan Mitra

university of florida

32H-index

238Paper Count

3.8KCitation Count

Published Papers 7

Publication Date

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025

IF0

2026-01-01

PREAI

Peper, Jordan; Miao, Yan; Mitra, Sayan; Ruchkini, Ivan

Save

State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2023-12-01

OAAI

Sibai, Hussein; Mitra, Sayan

Save

Controller Synthesis for Linear System With Reach-Avoid Specifications

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2022-04-01

OAAI

Fan, Chuchu; Qin, Zengyi; Mathur, Umang; Ning, Qiang; Mitra, Sayan; Viswanathan, Mahesh

Save

Model Structure Takes Guesswork Out of State Estimation

COMMUNICATIONS OF THE ACM

IF12.2

2022-01-24

PREAI

Mitra, Sayan

Save

Entropy and Minimal Bit Rates for State Estimation and Model Detection

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2018-10-01

PREAI

Liberzon, Daniel; Mitra, Sayan

Save

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

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS

IF5

2017-03-01

PREAI

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

Save

Bounded invariant verification for time-delayed nonlinear networked dynamical systems

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2017-02-01

PREAI

Huang, Zhenqi; Fan, Chuchu; Mitra, Sayan

Save

Research Directions