Author:Taylor T. Johnson

Publications

Keyphrases

Academic3, AMS, analog mixed signal circuits, autonomous systems, benchmark6, circuits, continuous systems2, DC-DC power converters, Flow*, formal verification, formation control, generator, hybrid automata2, Hybrid automaton model, hybrid systems2, Hyst, large-scale systems, linear systems, MATLAB, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, nonlinear systems, Order reduction, ordinary differential equations, PLL, Polynomial dynamics, reachability3, reachability analysis, Rectifiers, Repeatability Evaluation, reproducible research, safety, Simulink, SpaceEx3, Stateflow, switched systems, tank, verification2, VHDL-AMS.