Sayan Mitra
发表
Zhenqi Huang,
Chuchu Fan,
Alexandru Mereacre,
2015,
IEEE Design & Test.
Sayan Mitra,
Chiao Hsieh,
2019,
IFM.
Nancy A. Lynch,
Sayan Mitra,
Gregory V. Chockler,
2005,
DISC.
James Kapinski,
Xiaoqing Jin,
Chuchu Fan,
2017,
ACM Trans. Embed. Comput. Syst..
Myla Archer,
Sayan Mitra,
2004
.
Jonathan A. DeCastro,
Sayan Mitra,
Eric Hettler,
2013
.
Ben Leong,
Sayan Mitra,
Barbara Liskov,
2005,
13TH IEEE International Conference on Network Protocols (ICNP'05).
Mahesh Viswanathan,
Sergiy Bogomolov,
Christian Schilling,
2016,
2016 IEEE Conference on Control Applications (CCA).
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2018,
CAV.
Taylor T. Johnson,
Sayan Mitra,
Karthik Manamcheri,
2010,
2010 IEEE 30th International Conference on Distributed Computing Systems.
Taylor T. Johnson,
Sayan Mitra,
2014,
FORMATS.
Taylor T. Johnson,
Sayan Mitra,
Jeremy Green,
2012,
FM.
George J. Pappas,
Geir E. Dullerud,
Jorge Cortés,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Ling Cheung,
Sayan Mitra,
Olivier Pereira,
2007,
IACR Cryptol. ePrint Arch..
Stanley Bak,
Sayan Mitra,
Ashley Greer,
2010,
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.
Nancy A. Lynch,
Yong Wang,
Eric Feron,
2003,
HSCC.
Matthias Althoff,
Niklas Kochdumper,
Stanley Bak,
2020
.
Luca P. Carloni,
Fan Zhang,
Xiang-Yang Li,
2011,
ICCPS.
Taylor T. Johnson,
Sayan Mitra,
S. Mitra,
2013
.
Myla Archer,
Sayan Mitra,
2005,
Electron. Notes Theor. Comput. Sci..
Taylor T. Johnson,
Sayan Mitra,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
Taylor T. Johnson,
Sayan Mitra,
2009
.
Nancy A. Lynch,
Myla Archer,
Sayan Mitra,
2008,
Des. Autom. Embed. Syst..
Taylor T. Johnson,
Sayan Mitra,
S. Mitra,
2010,
SSS.
Daniel Liberzon,
Sayan Mitra,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
K. Mani Chandy,
Sayan Mitra,
2008,
TPHOLs.
State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems
pdf
Sayan Mitra,
Hussein Sibai,
Hussein Sibai,
2020,
ArXiv.
Sayan Mitra,
Nicole Chan,
Sayan Mitra,
2018,
HSCC.
Sayan Mitra,
Hussein Sibai,
Hussein Sibai,
2020,
ArXiv.
Sayan Mitra,
Parasara Sridhar Duggirala,
S. Mitra,
2012,
HSCC '12.
I. V. Ramakrishnan,
Radu Grosu,
Scott A. Smolka,
2007,
HSCC.
Chuchu Fan,
Sayan Mitra,
Hussein Sibai,
2019,
TACAS.
Matthias Althoff,
Xin Chen,
Niklas Kochdumper,
2018,
ARCH@ADHS.
Geir E. Dullerud,
Zhenqi Huang,
Sayan Mitra,
2016,
HotSoS.
Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata
pdf
Panganamala Ramana Kumar,
Kyoung-Dae Kim,
Sayan Mitra,
2012,
ArXiv.
Sayan Mitra,
Nicole Chan,
Nicole Chan,
2017,
ARCH@CPSWeek.
Cédric Langbort,
Taylor T. Johnson,
Sayan Mitra,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Taylor T. Johnson,
Sayan Mitra,
Parasara Sridhar Duggirala,
2012,
2012 IEEE 33rd Real-Time Systems Symposium.
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2017,
CAV.
Geir E. Dullerud,
Zhenqi Huang,
Sayan Mitra,
2014,
53rd IEEE Conference on Decision and Control.
Goran Frehse,
Sayan Mitra,
2017,
HSCC.
Sayan Mitra,
Chiao Hsieh,
Hussein Sibai,
2020
.
Ke Xu,
Katherine Rose Driggs-Campbell,
Sayan Mitra,
2020,
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).
Taylor T. Johnson,
Sayan Mitra,
Sayan Mitra,
2011
.
Sayan Mitra,
Hongxu Chen,
Sayan Mitra,
2014,
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Sibin Mohan,
Sayan Mitra,
Chien-Ying Chen,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Sayan Mitra,
Nicole Chan,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Sayan Mitra,
Hussein Sibai,
Navid Mokhlesi,
2019,
ATVA.
Sanjay Shakkottai,
Dawei Sun,
Sayan Mitra,
2019
.
Nancy A. Lynch,
Seth Gilbert,
Sayan Mitra,
2008,
SSS.
Mahesh Viswanathan,
Sayan Mitra,
César A. Muñoz,
2014,
FM.
Chuchu Fan,
Sayan Mitra,
Kristina Miller,
2020,
CAV.
Nancy A. Lynch,
Myla Archer,
Sayan Mitra,
2006,
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Matthias Althoff,
Niklas Kochdumper,
Fabian Immler,
2018,
ARCH@ADHS.
Geir E. Dullerud,
Zhenqi Huang,
Sayan Mitra,
2015,
ArXiv.
Marco Caccamo,
Stanley Bak,
Sayan Mitra,
2011,
HSCC '11.
Mahesh Viswanathan,
Sayan Mitra,
Parasara Sridhar Duggirala,
2015,
TACAS.
Sayan Mitra,
2018
.
Chuchu Fan,
Sayan Mitra,
Bolun Qi,
2018,
HSCC.
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2016,
CAV.
Daniel Liberzon,
Sayan Mitra,
2018,
IEEE Trans. Autom. Control..
Saman A. Zonouz,
Luis Garcia,
Zhenqi Huang,
2018,
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Nancy A. Lynch,
Daniel Liberzon,
Sayan Mitra,
2008,
TECS.
Zhenqi Huang,
Sayan Mitra,
Nitin Vaidya,
2014,
ICDCN.
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
pdf
Sayan Mitra,
Hussein Sibai,
Yangge Li,
2020,
ArXiv.
K. Mani Chandy,
Sayan Mitra,
Concetta Pilotto,
2008,
FORMATS.
K. Mani Chandy,
Sayan Mitra,
Jerome White,
2011,
Formal Aspects of Computing.
Shivakumar Sastry,
Sayan Mitra,
2009,
2009 IEEE International Conference on Automation Science and Engineering.
Yu Wang,
Geir E. Dullerud,
Sayan Mitra,
2020,
ArXiv.
Nancy A. Lynch,
Sayan Mitra,
2006
.
Zhenqi Huang,
Chuchu Fan,
Alexandru Mereacre,
2014,
CAV.
Sayan Mitra,
R. E. Lee DeVille,
R. DeVille,
2009,
SSS.
Guangyu Tian,
Sayan Mitra,
Hongxu Chen,
2014,
ARCH@CPSWeek.
Richard M. Murray,
Sayan Mitra,
Tichakorn Wongpiromsarn,
2013,
IEEE Security & Privacy.
Panganamala Ramana Kumar,
Kyoung-Dae Kim,
Sayan Mitra,
2010,
49th IEEE Conference on Decision and Control (CDC).
Daniel Liberzon,
Sayan Mitra,
D. Liberzon,
2016,
HSCC.
Chuchu Fan,
Sayan Mitra,
Chuchu Fan,
2015,
ATVA.
Sanjay Shakkottai,
Dawei Sun,
Sayan Mitra,
2019,
ArXiv.
Taylor T. Johnson,
Sayan Mitra,
Sayan Mitra,
2012,
Theor. Comput. Sci..
Chuchu Fan,
Sayan Mitra,
Bolun Qi,
2017,
ArXiv.
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
pdf
Sayan Mitra,
Chiao Hsieh,
Hussein Sibai,
2020,
ArXiv.
Mahesh Viswanathan,
Sayan Mitra,
Pavithra Prabhakar,
2009,
CONCUR.
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2015,
CAV.
Geir E. Dullerud,
Sayan Mitra,
Chiao Hsieh,
2019,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Zhenqi Huang,
Sayan Mitra,
Zhenqi Huang,
2016,
FM.
Geir E. Dullerud,
Zhenqi Huang,
Sayan Mitra,
2014,
HiCoNS.
Taylor T. Johnson,
Sayan Mitra,
2009
.
Sayan Mitra,
Chiao Hsieh,
Sasa Misailovic,
2020,
Proc. ACM Program. Lang..
Rakesh Kumar,
Sayan Mitra,
Parasara Sridhar Duggirala,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
James Kapinski,
Xiaoqing Jin,
Chuchu Fan,
2016,
2016 International Conference on Embedded Software (EMSOFT).
Mahesh Viswanathan,
Sayan Mitra,
Pavithra Prabhakar,
2013,
Formal Methods Syst. Des..
Richard M. Murray,
Sayan Mitra,
Andrew G. Lamperski,
2012,
TECS.
Sayan Mitra,
S. Mitra,
2014,
HotSoS '14.
Chuchu Fan,
Sayan Mitra,
Chuchu Fan,
2019,
Design Automation of Cyber-Physical Systems.
Taylor T. Johnson,
Sayan Mitra,
S. Mitra,
2012,
FMOODS/FORTE.
Ezio Bartocci,
Yu Meng,
Ulrich Schmid,
2018,
ADHS.
Goran Frehse,
Sayan Mitra,
Sayan Mitra,
2017
.
Sayan Mitra,
Ritwika Ghosh,
Ritwika Ghosh,
2015,
FORTE.
Geir E. Dullerud,
Zhenqi Huang,
Sayan Mitra,
2012,
WPES '12.
Sayan Mitra,
Hussein Sibai,
2018,
HSCC.
Mahesh Viswanathan,
Sayan Mitra,
Parasara Sridhar Duggirala,
2015,
HSCC.
Taylor T. Johnson,
Sayan Mitra,
2012
.
Nancy A. Lynch,
Sayan Mitra,
N. Lynch,
2007,
PDPAR/PaUL@FLoC.
Taylor T. Johnson,
Sayan Mitra,
S. Mitra,
2010
.
Sayan Mitra,
Sasa Misailovic,
Ritwika Ghosh,
2018,
ApPLIED@PODC.
Geir E. Dullerud,
Zhenqi Huang,
Sayan Mitra,
2017,
IEEE Transactions on Control of Network Systems.
Sayan Mitra,
Sayan Mitra,
2007
.
Marco Caccamo,
Stanley Bak,
Sayan Mitra,
2011,
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.
Richard M. Murray,
Sayan Mitra,
Tichakorn Wongpiromsarn,
2009
.
Geir E. Dullerud,
Nikita Borisov,
Sayan Mitra,
2018,
WPES@CCS.
HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems
pdf
Mustafa Abdallah,
Saurabh Bagchi,
Shreyas Sundaram,
2020,
2021 IEEE Security and Privacy Workshops (SPW).
Nancy A. Lynch,
Sayan Mitra,
Dilsun Kaynar,
2006
.
Richard M. Murray,
Sayan Mitra,
Andrew G. Lamperski,
2009,
HSCC.
Sayan Mitra,
Shuting Li,
Yixiao Lin,
2016,
ArXiv.
Nancy A. Lynch,
Seth Gilbert,
Sayan Mitra,
2009,
TAAS.
Sayan Mitra,
Hussein Sibai,
Hussein Sibai,
2017,
HSCC.
Zhenqi Huang,
Sayan Mitra,
Sayan Mitra,
2014,
HSCC.
Nancy A. Lynch,
Dilsun Kirli Kaynar,
Sayan Mitra,
2007
.
Panganamala Ramana Kumar,
Kyoung-Dae Kim,
Sayan Mitra,
2011,
HSCC '11.
Radu Marculescu,
Lui Sha,
Kang G. Shin,
2012,
ICCPS.
Radu Grosu,
Scott A. Smolka,
Chuchu Fan,
2015,
HSB.
Nancy A. Lynch,
Sayan Mitra,
N. Lynch,
2007,
HSCC.
Sayan Mitra,
Hussein Sibai,
Sayan Mitra,
2018
.
Matthias Althoff,
Xin Chen,
Christian Schilling,
2017,
ARCH@CPSWeek.
Zhenqi Huang,
Sayan Mitra,
2012,
HSCC '12.
Nancy A. Lynch,
Daniel Liberzon,
Sayan Mitra,
2006,
HSCC.
Mahesh Viswanathan,
Sayan Mitra,
Parasara Sridhar Duggirala,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2015,
ARCH@CPSWeek.
Chuchu Fan,
Sayan Mitra,
Bolun Qi,
2018,
IEEE Design & Test.
Sayan Mitra,
Parasara Sridhar Duggirala,
S. Mitra,
2011,
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.
Swarat Chaudhuri,
Geir E. Dullerud,
Zhenqi Huang,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Sayan Mitra,
Yixiao Lin,
Sayan Mitra,
2015,
LCTES.
Mahesh Viswanathan,
Sayan Mitra,
Pavithra Prabhakar,
2015,
Formal Methods Syst. Des..
Sayan Mitra,
Hussein Sibai,
Hussein Sibai,
2018,
HSCC.
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
pdf
Sayan Mitra,
Chiao Hsieh,
Sasa Misailovic,
2021,
ArXiv.
Mahesh Viswanathan,
Chuchu Fan,
Sayan Mitra,
2022,
IEEE Transactions on Automatic Control.
Geir E. Dullerud,
Sanjay Shakkottai,
Dawei Sun,
2021,
2021 IEEE Conference on Control Technology and Applications (CCTA).
Shreyas Sundaram,
Mustafa Abdallah,
Saurabh Bagchi,
2021,
2021 IEEE Security and Privacy Workshops (SPW).
Chuchu Fan,
Sayan Mitra,
Kristina Miller,
2020,
AIAA Scitech 2021 Forum.
Sayan Mitra,
Sung Woo Jeon,
2021,
2021 IEEE Security and Privacy Workshops (SPW).
Dawei Sun,
Sayan Mitra,
Chuchu Fan,
2022,
IEEE Robotics and Automation Letters.
Geir E. Dullerud,
Nikita Borisov,
Sayan Mitra,
2021,
Proc. Priv. Enhancing Technol..
Chuchu Fan,
Sayan Mitra,
Kristina Miller,
2021,
ADHS.
Sayan Mitra,
Chiao Hsieh,
Hussein Sibai,
2020,
2021 IEEE International Intelligent Transportation Systems Conference (ITSC).
Sayan Mitra,
Hussein Sibai,
Yangge Li,
2021,
CAV.
Nancy A. Lynch,
Sayan Mitra,
N. Lynch,
2006
.
Daniel Liberzon,
Sayan Mitra,
D. Liberzon,
2004,
2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
Taylor T. Johnson,
Sayan Mitra,
2013
.
Mahesh Viswanathan,
Sayan Mitra,
Pavithra Prabhakar,
2010
.
Nancy A. Lynch,
Sayan Mitra,
N. Lynch,
2006
.