Edit Profile Johnson, Taylor T. Compute Distance To: Compute Author ID: johnson.taylor-t Published as: Johnson, T.; Johnson, Taylor T. External Links: MGP · Wikidata · ORCID Documents Indexed: 19 Publications since 2003 all top 5 Co-Authors 0 single-authored 6 Tran, Hoang-Dung 6 Xiang, Weiming 3 Bak, Stanley 3 Mitra, Sayan 3 Nguyen, Luan Viet 2 Bogomolov, Sergiy 2 Sogokon, Andrew 1 Baldi, Simone 1 Butts, Ken 1 Deshmukh, Jyotirmoy V. 1 Dudley, Rachel 1 Erwin, Richard Scott 1 Ghorbal, Khalil 1 Green, Jeremy 1 Hamilton, Nathaniel 1 Henzinger, Thomas A. 1 Jackson, Paul B. 1 Jin, Xiaoqing 1 Kapinski, James 1 Prakash, Pradyot 1 Yuan, Chengzhi 1 Zhai, Guisheng Serials 3 IEEE Transactions on Automatic Control 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Discrete Event Dynamic Systems 1 IET Control Theory & Applications Fields 10 Computer science (68-XX) 9 Systems theory; control (93-XX) 2 Ordinary differential equations (34-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 6 Publications have been cited 20 times in 18 Documents Cited by ▼ Year ▼ Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching. Zbl 1395.93502Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. 7 2018 Output reachable set estimation for switched linear systems and its application in safety verification. Zbl 1390.93142Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. 7 2017 Nonconservative lifted convex conditions for stability of discrete-time switched systems under minimum dwell-time constraint. Zbl 07091877Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. 3 2019 Decoupling abstractions of non-linear ordinary differential equations. Zbl 1427.68173Sogokon, Andrew; Ghorbal, Khalil; Johnson, Taylor T. 1 2016 Scalable static hybridization methods for analysis of nonlinear systems. Zbl 1364.68243Bak, Stanley; Bogomolov, Sergiy; Henzinger, Thomas A.; Johnson, Taylor T.; Prakash, Pradyot 1 2016 HYST: a source transformation and translation tool for hybrid automaton models. Zbl 1364.68244Bak, Stanley; Bogomolov, Sergiy; Johnson, Taylor T. 1 2015 Nonconservative lifted convex conditions for stability of discrete-time switched systems under minimum dwell-time constraint. Zbl 07091877Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. 3 2019 Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching. Zbl 1395.93502Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. 7 2018 Output reachable set estimation for switched linear systems and its application in safety verification. Zbl 1390.93142Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T. 7 2017 Decoupling abstractions of non-linear ordinary differential equations. Zbl 1427.68173Sogokon, Andrew; Ghorbal, Khalil; Johnson, Taylor T. 1 2016 Scalable static hybridization methods for analysis of nonlinear systems. Zbl 1364.68243Bak, Stanley; Bogomolov, Sergiy; Henzinger, Thomas A.; Johnson, Taylor T.; Prakash, Pradyot 1 2016 HYST: a source transformation and translation tool for hybrid automaton models. Zbl 1364.68244Bak, Stanley; Bogomolov, Sergiy; Johnson, Taylor T. 1 2015 all cited Publications top 5 cited Publications all top 5 Cited by 60 Authors 3 Xiang, Weiming 2 Gao, Yongfeng 1 Al-saedi, Ahmed Eid Salem 1 Althoff, Matthias 1 Baldi, Simone 1 Boskos, Dimitris 1 Bunel, Rudy 1 Dimarogonas, Dimos V. 1 Ding, Yucai 1 Feng, Zhiguang 1 Fu, Jun 1 Hu, Cheng 1 Jia, Meiyu 1 Jiang, Haijun 1 Jiang, Zhengyi 1 Johnson, Taylor T. 1 Kohli, Pushmeet 1 Kumar, M. Pawan 1 Liu, Hui 1 Liu, Yanhui 1 Lu, Jingyue 1 Lu, Xin 1 Ma, Tianlong 1 Ma, Yujunrong 1 Nam, Phan Thanh 1 Nguyen, Luan Viet 1 Niu, Ben 1 Park, Juhyun (Jessie) 1 Pathirana, Pubudu Nishantha 1 Prandini, Maria 1 Qi, Yiwen 1 Ren, Shunqing 1 Schürmann, Bastian 1 Shen, Hao 1 Shi, Shuang 1 Su, Steven Weidong 1 Sun, Pengfei 1 Sun, Tao 1 Sun, Ximing 1 Torr, Philip H. S. 1 Tran, Hoang-Dung 1 Trinh, Hieu Minh 1 Turkaslan, Ilker 1 Vignali, Riccardo 1 Wang, Jinling 1 Wang, Peng 1 Wang, Yuee 1 Wu, Di 1 Wu, Gang 1 Wu, Zhengguang 1 Xing, Mengping 1 Yang, Hong 1 Zeng, Pengyu 1 Zhang, Hongbin 1 Zhang, J. Andrew 1 Zhang, Le 1 Zhao, Jun 1 Zheng, Dianhao 1 Zheng, Wei Xing 1 Zheng, Weixing all top 5 Cited in 10 Serials 5 Nonlinear Analysis. Hybrid Systems 4 Journal of the Franklin Institute 2 Automatica 1 Fuzzy Sets and Systems 1 Systems & Control Letters 1 Discrete Event Dynamic Systems 1 International Journal of Robust and Nonlinear Control 1 Complexity 1 Journal of Machine Learning Research (JMLR) 1 Advances in Fuzzy Systems Cited in 5 Fields 17 Systems theory; control (93-XX) 2 Computer science (68-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.