Sayan Mitra - Publications, H-index & Citations

Sayan Mitra

university of florida

32H指数

238论文数

3.8K被引数

收录论文 7

发表时间

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

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

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

Model Structure Takes Guesswork Out of State Estimation

COMMUNICATIONS OF THE ACM

IF12.2

2022-01-24

PREAI

Mitra, Sayan

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

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.

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

研究方向