Taylor T. Johnson

Available identifiers

zbMath Open johnson.taylor-tWikidataQ59600801 ScholiaQ59600801MaRDI QIDQ832179

List of research outcomes

Publication	Date of Publication	Type
Reachability analysis of deep ReLU neural networks using facet-vertex incidence	2024-02-21	Paper
Neural network repair with reachability analysis	2023-01-18	Paper
Reachability analysis of a general class of neural ordinary differential equations	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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Taylor T. Johnson