Author:Taylor T. JohnsonPublications |
---|
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu | | | | | | | | | EasyChair Preprint no. 812 | | | | | | | | | | | | | |
KeyphrasesAcademic3, Affine systems, AMS, analog mixed signal circuits, Artifact Evaluation2, Artificial Intelligence2, autonomous systems, benchmark9, circuits, closed-loop system, continuous systems2, control systems, DC-DC power converters, differential-algebraic equations, dynamical systems, finite difference method, Flow*, formal methods2, formal verification, formation control, generator, hybrid automata2, Hybrid automaton model, hybrid systems6, Hyst, intelligent control systems, Krylov subspace, large-scale systems, linear systems2, machine learning, MATLAB, Neural Network Control Systems3, neural network controller, neural networks4, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, nonlinear systems, Order reduction, ordinary differential equations, partial differential equations, PLL, Polynomial dynamics, reachability9, reachability analysis4, Rectifiers, Recurrent Neural Networks, repeatability2, Repeatability Evaluation2, reproducibility, reproducible research, RNNs, safety, Simulink, SpaceEx3, Stateflow, switched systems, tank, verification7, verification benchmark, VHDL-AMS. |
|