Taylor T. Johnson

Available identifiers

zbMath Open johnson.taylor-tDBLP96/11505WikidataQ59600801 ScholiaQ59600801MaRDI QIDQ832179

List of research outcomes

Publication	Date of Publication	Type
The occupation kernel method for nonlinear system identification	2024-06-14	Paper
Star-based reachability analysis of deep neural networks	2024-03-14	Paper
Reachability analysis of deep ReLU neural networks using facet-vertex incidence	2024-02-21	Paper
Reachability analysis of a general class of neural ordinary differential equations	2023-01-18	Paper
Neural network repair with reachability analysis	2023-01-18	Paper
Robustness verification of semantic segmentation neural networks using relaxed reachability	2022-03-25	Paper
Dynamic mode decomposition for continuous time systems with the Liouville operator	2022-01-03	Paper
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter	2021-09-14	Paper
Verification of deep convolutional neural networks using ImageStars	2021-02-04	Paper
Improved geometric path enumeration for verifying ReLU neural networks	2021-02-04	Paper
Reachability analysis for high-index linear differential algebraic equations	2020-05-05	Paper
Guest Editorial: Recent Advances in Control and Verification for Hybrid Systems	2020-03-24	Paper
Decoupling abstractions of non-linear ordinary differential equations	2020-01-03	Paper
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants	2019-10-25	Paper
Numerical verification of affine systems with up to a billion dimensions	2019-10-22	Paper
The Occupation Kernel Method for Nonlinear System Identification	2019-09-25	Paper
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint	2019-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5375228	2018-09-14	Paper
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification	2018-06-27	Paper
Order-reduction abstractions for safety verification of high-dimensional linear systems	2018-01-31	Paper
Abnormal data classification using time-frequency temporal logic	2017-07-11	Paper
HYST: a source transformation and translation tool for hybrid automaton models	2017-05-19	Paper
Scalable static hybridization methods for analysis of nonlinear systems	2017-05-19	Paper
Anonymized reachability of hybrid automata networks	2015-08-06	Paper
Safe and stabilizing distributed multi-path cellular flows	2015-05-18	Paper
Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems	2012-11-08	Paper

Research outcomes over time

This page was built for person: Taylor T. Johnson