×

zbMATH — the first resource for mathematics

Johnson, Taylor T.

Compute Distance To:
Author ID: johnson.taylor-t Recent zbMATH articles by "Johnson, Taylor T."
Published as: Johnson, T.; Johnson, Taylor T.
External Links: MGP · Wikidata · ORCID
Documents Indexed: 19 Publications since 2003

Publications by Year

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.93502
Xiang, 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.93142
Xiang, 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 07091877
Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T.
3
2019
Decoupling abstractions of non-linear ordinary differential equations. Zbl 1427.68173
Sogokon, Andrew; Ghorbal, Khalil; Johnson, Taylor T.
1
2016
Scalable static hybridization methods for analysis of nonlinear systems. Zbl 1364.68243
Bak, 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.68244
Bak, 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 07091877
Xiang, 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.93502
Xiang, 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.93142
Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T.
7
2017
Decoupling abstractions of non-linear ordinary differential equations. Zbl 1427.68173
Sogokon, Andrew; Ghorbal, Khalil; Johnson, Taylor T.
1
2016
Scalable static hybridization methods for analysis of nonlinear systems. Zbl 1364.68243
Bak, 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.68244
Bak, Stanley; Bogomolov, Sergiy; Johnson, Taylor T.
1
2015

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.