×

zbMATH — the first resource for mathematics

Mitra, Sayan

Compute Distance To:
Author ID: mitra.sayan Recent zbMATH articles by "Mitra, Sayan"
Published as: Mitra, S.; Mitra, Sayan
External Links: MGP
Documents Indexed: 45 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 88 times in 75 Documents Cited by Year
VLSI architecture of a cellular automata machine. Zbl 0878.68027
Khan, A. R.; Choudhury, P. P.; Dihidar, K.; Mitra, S.; Sarkar, P.
16
1997
Slosh dynamics of inviscid fluids in two-dimensional tanks of various geometry using finite element method. Zbl 1171.76030
Mitra, S.; Upadhyay, P. P.; Sinhamahapatra, K. P.
9
2008
Entropy and minimal bit rates for state estimation and model detection. Zbl 1423.93055
Liberzon, Daniel; Mitra, Sayan
6
2018
Verifying average dwell time by solving optimization problems. Zbl 1178.93076
Mitra, Sayan; Lynch, Nancy; Liberzon, Daniel
6
2006
Proving approximate implementations for probabilistic I/O automata. Zbl 1277.68111
Mitra, Sayan; Lynch, Nancy
5
2007
Safety verification of model helicopter controller using hybrid input/output automata. Zbl 1032.93535
Mitra, Sayan; Wang, Yong; Lynch, Nancy; Feron, Eric
4
2003
Entropy and minimal data rates for state estimation and model detection. Zbl 1364.93776
Liberzon, Daniel; Mitra, Sayan
3
2016
On the simple step-stress model for two-parameter exponential distribution. Zbl 07035618
Mitra, S.; Ganguly, A.; Samanta, D.; Kundu, D.
3
2013
Hybrid automata-based CEGAR for rectangular hybrid systems. Zbl 1426.68175
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
3
2013
Lyapunov abstractions for inevitability of hybrid systems. Zbl 1361.68145
Duggirala, Parasara Sridhar; Mitra, Sayan
3
2012
Translating timed I/O automata specifications for theorem proving in PVS. Zbl 1175.68259
Lim, Hongping; Kaynar, Dilsun; Lynch, Nancy; Mitra, Sayan
3
2005
Differential privacy in linear distributed control systems: entropy minimizing mechanisms and performance tradeoffs. Zbl 1370.94619
Wang, Yu; Huang, Zhenqi; Mitra, Sayan; Dullerud, Geir E.
2
2017
Optimal data rate for state estimation of switched nonlinear systems. Zbl 1369.93603
Sibai, Hussein; Mitra, Sayan
2
2017
Bounded verification with on-the-fly discrepancy computation. Zbl 06527568
Fan, Chuchu; Mitra, Sayan
2
2015
Proofs from simulations and modular annotations. Zbl 1362.93036
Huang, Zhenqi; Mitra, Sayan
2
2014
Computing bounded \(\epsilon\)-reach set with finite precision computations for a class of linear hybrid automata. Zbl 1362.68144
Kim, Kyoung-Dae; Mitra, Sayan; Kumar, P. R.
2
2011
Periodically controlled hybrid systems. Verifying a controller for an autonomous vehicle. Zbl 1237.93120
Wongpiromsarn, Tichakorn; Mitra, Sayan; Murray, Richard M.; Lamperski, Andrew
2
2009
A formalized theory for verifying stability and convergence of automata in PVS. Zbl 1165.68394
Mitra, Sayan; Chandy, K. Mani
2
2008
Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019
Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A.
2
2007
PVS strategies for proving abstraction properties of automata. Zbl 1272.68363
Mitra, Sayan; Archer, Myla
2
2005
Model checking tap withdrawal in C. elegans. Zbl 1412.92039
Islam, Md. Ariful; De Francisco, Richard; Fan, Chuchu; Grosu, Radu; Mitra, Sayan; Smolka, Scott A.
1
2015
Hybrid automata-based CEGAR for rectangular hybrid systems. Zbl 1341.68109
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
1
2015
Computing bounded reach sets from sampled simulation traces. Zbl 1362.93007
Huang, Zhenqi; Mitra, Sayan
1
2012
Verification of distributed systems with local-global predicates. Zbl 1242.68155
Chandy, K. Mani; Go, Brian; Mitra, Sayan; Pilotto, Concetta; White, Jerome
1
2011
Convergence verification: From shared memory to partially synchronous systems. Zbl 1171.68547
Chandy, K. Mani; Mitra, Sayan; Pilotto, Concetta
1
2008
Trace-based semantics for probabilistic timed I/O automata. Zbl 1221.68139
Mitra, Sayan; Lynch, Nancy
1
2007
A note on quotient of a topological quasi-vector space. Zbl 1084.46003
Ganguly, S.; Mitra, S.; Jana, S.
1
2004
An associated structure of a topological vector space. Zbl 1062.46012
Ganguly, S.; Mitra, S.; Jana, S.
1
2004
Modeling the reciprocal of the survivorship function. Zbl 0913.62110
Mitra, S.; Levin, M. L.
1
1997
Entropy and minimal bit rates for state estimation and model detection. Zbl 1423.93055
Liberzon, Daniel; Mitra, Sayan
6
2018
Differential privacy in linear distributed control systems: entropy minimizing mechanisms and performance tradeoffs. Zbl 1370.94619
Wang, Yu; Huang, Zhenqi; Mitra, Sayan; Dullerud, Geir E.
2
2017
Optimal data rate for state estimation of switched nonlinear systems. Zbl 1369.93603
Sibai, Hussein; Mitra, Sayan
2
2017
Entropy and minimal data rates for state estimation and model detection. Zbl 1364.93776
Liberzon, Daniel; Mitra, Sayan
3
2016
Bounded verification with on-the-fly discrepancy computation. Zbl 06527568
Fan, Chuchu; Mitra, Sayan
2
2015
Model checking tap withdrawal in C. elegans. Zbl 1412.92039
Islam, Md. Ariful; De Francisco, Richard; Fan, Chuchu; Grosu, Radu; Mitra, Sayan; Smolka, Scott A.
1
2015
Hybrid automata-based CEGAR for rectangular hybrid systems. Zbl 1341.68109
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
1
2015
Proofs from simulations and modular annotations. Zbl 1362.93036
Huang, Zhenqi; Mitra, Sayan
2
2014
On the simple step-stress model for two-parameter exponential distribution. Zbl 07035618
Mitra, S.; Ganguly, A.; Samanta, D.; Kundu, D.
3
2013
Hybrid automata-based CEGAR for rectangular hybrid systems. Zbl 1426.68175
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
3
2013
Lyapunov abstractions for inevitability of hybrid systems. Zbl 1361.68145
Duggirala, Parasara Sridhar; Mitra, Sayan
3
2012
Computing bounded reach sets from sampled simulation traces. Zbl 1362.93007
Huang, Zhenqi; Mitra, Sayan
1
2012
Computing bounded \(\epsilon\)-reach set with finite precision computations for a class of linear hybrid automata. Zbl 1362.68144
Kim, Kyoung-Dae; Mitra, Sayan; Kumar, P. R.
2
2011
Verification of distributed systems with local-global predicates. Zbl 1242.68155
Chandy, K. Mani; Go, Brian; Mitra, Sayan; Pilotto, Concetta; White, Jerome
1
2011
Periodically controlled hybrid systems. Verifying a controller for an autonomous vehicle. Zbl 1237.93120
Wongpiromsarn, Tichakorn; Mitra, Sayan; Murray, Richard M.; Lamperski, Andrew
2
2009
Slosh dynamics of inviscid fluids in two-dimensional tanks of various geometry using finite element method. Zbl 1171.76030
Mitra, S.; Upadhyay, P. P.; Sinhamahapatra, K. P.
9
2008
A formalized theory for verifying stability and convergence of automata in PVS. Zbl 1165.68394
Mitra, Sayan; Chandy, K. Mani
2
2008
Convergence verification: From shared memory to partially synchronous systems. Zbl 1171.68547
Chandy, K. Mani; Mitra, Sayan; Pilotto, Concetta
1
2008
Proving approximate implementations for probabilistic I/O automata. Zbl 1277.68111
Mitra, Sayan; Lynch, Nancy
5
2007
Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019
Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A.
2
2007
Trace-based semantics for probabilistic timed I/O automata. Zbl 1221.68139
Mitra, Sayan; Lynch, Nancy
1
2007
Verifying average dwell time by solving optimization problems. Zbl 1178.93076
Mitra, Sayan; Lynch, Nancy; Liberzon, Daniel
6
2006
Translating timed I/O automata specifications for theorem proving in PVS. Zbl 1175.68259
Lim, Hongping; Kaynar, Dilsun; Lynch, Nancy; Mitra, Sayan
3
2005
PVS strategies for proving abstraction properties of automata. Zbl 1272.68363
Mitra, Sayan; Archer, Myla
2
2005
A note on quotient of a topological quasi-vector space. Zbl 1084.46003
Ganguly, S.; Mitra, S.; Jana, S.
1
2004
An associated structure of a topological vector space. Zbl 1062.46012
Ganguly, S.; Mitra, S.; Jana, S.
1
2004
Safety verification of model helicopter controller using hybrid input/output automata. Zbl 1032.93535
Mitra, Sayan; Wang, Yong; Lynch, Nancy; Feron, Eric
4
2003
VLSI architecture of a cellular automata machine. Zbl 0878.68027
Khan, A. R.; Choudhury, P. P.; Dihidar, K.; Mitra, S.; Sarkar, P.
16
1997
Modeling the reciprocal of the survivorship function. Zbl 0913.62110
Mitra, S.; Levin, M. L.
1
1997
all top 5

Cited by 158 Authors

10 Akin, Hasan
8 Mitra, Sayan
7 Siap, Irfan
7 Uǧuz, Selman
3 Choudhury, Pabitra Pal
3 Dihidar, Kajal
3 Grosu, Radu
3 Kawan, Christoph
3 Lynch, Nancy Ann
3 Prabhakar, Pavithra
3 Sahin, Uḡur
3 Segala, Roberto
3 Smolka, Scott A.
2 Acar, Ecem
2 Bartocci, Ezio
2 Chandy, Kanianthra Mani
2 Chang, Jiang-ren
2 Chatterjee, Debasish
2 Chen, Yung-Wei
2 Colonius, Fritz
2 Corradini, Flavio
2 Cossich, João A. N.
2 Delahaye, Benoît
2 Di Berardini, Maria Rita
2 Duggirala, Parasara Sridhar
2 Entcheva, Emilia
2 Kundu, Atreyee
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 Li, Po-Wei
2 Liberzon, Daniel
2 Liu, Chein-Shan
2 Liu, Kun-Zhi
2 Matveev, Alexey S.
2 Pogromsky, Alexander Yu.
2 Şah, Ferhat
2 Santana, Alexandre J.
2 Sun, Ximing
2 Teel, Andrew Richard
2 Viswanathan, Mahesh
2 Wang, Xuefang
1 Abdelkarim, Arwa
1 Archer, Myla M.
1 Attia, Sid Ahmed
1 Bagnoli, Franco
1 Balachandran, Niranjan
1 Balkan, Ayça
1 Benhadj Braiek, Naceur
1 Bouissou, Olivier
1 Canetti, Ran
1 Cao, Ming
1 Capiluppi, Marta
1 Carter, Rebekah
1 Chang, Chih-Hung
1 Chang, Chun-Ming
1 Chattopadhyay, Pratik
1 Cheung, Ling
1 Cleaveland, Rance
1 Cramer, Erhard
1 Dague, Philippe
1 Deng, Peimin
1 Doyen, Laurent
1 Dridi, Sara
1 El Yacoubi, Samira
1 Fan, Chia-Ming
1 Fan, Chuchu
1 Farhadi, Alireza
1 Fenton, Flavio H.
1 Frehse, Goran
1 Fu, Zhuojia
1 Gallois, Jean-Pierre
1 Gmeiner, Annu
1 Go, Brian
1 Górny, Julian
1 Goyal, Manish
1 Hafstein, Sigurður Freyr
1 Hamamoto, Yoshihiko
1 Hernández, Erwin
1 Hespanha, João Pedro
1 Huang, Zhenqi
1 Iliopoulos, George
1 Islam, Md. Ariful
1 Jackson, Paul B.
1 Jahed-Motlagh, Mohammad Reza
1 Jana, Sandip
1 Johnson, Taylor T.
1 Jones, Paul L.
1 Jouili, Khalil
1 Jungers, Raphaël M.
1 Kashima, Kenji
1 Kawano, Yu
1 Kaynar, Dilsun Kırlı
1 Kenanian, Joris
1 Khan, Abdul Rauf Khan
1 Konnov, Igor V.
1 Köroğlu, Mehmet Emin
1 Lamperski, Andrew
1 Lanotte, Ruggero
1 Le, Franck
1 Levin, M. L.
...and 58 more Authors

Citations by Year