Author:Taylor T. Johnson

Publications
EasyChair Preprint no. 812

Keyphrases

Academic3, Affine systems, AMS, analog mixed signal circuits, Artifact Evaluation, Artificial Intelligence, autonomous systems, benchmark9, circuits, closed-loop system, continuous systems2, control systems, DC-DC power converters, differential-algebraic equations, finite difference method, Flow*, formal verification, formation control, generator, hybrid automata2, Hybrid automaton model, hybrid systems4, Hyst, Krylov subspace, large-scale systems, linear systems2, MATLAB, Neural Network Control Systems, neural network controller, neural networks2, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, nonlinear systems, Order reduction, ordinary differential equations, partial differential equations, PLL, Polynomial dynamics, reachability5, reachability analysis4, Rectifiers, Recurrent Neural Networks, repeatability, Repeatability Evaluation, reproducible research, RNNs, safety, Simulink, SpaceEx3, Stateflow, switched systems, tank, verification4, verification benchmark, VHDL-AMS.