Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers

Mapping Intimacies ◽

10.1007/978-3-030-90870-6_7 ◽

2021 ◽

pp. 122-141

Author(s):

Alexei Kopylov ◽

Stefan Mitsch ◽

Aleksey Nogin ◽

Michael Warren

Keyword(s):

Neural Network ◽

Waypoint Navigation ◽

Neural Network Controllers

Download Full-text

Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers

IEEE Transactions on Automatic Control ◽

10.1109/tac.2021.3069388 ◽

2021 ◽

pp. 1-1

Author(s):

He Yin ◽

Peter Seiler ◽

Murat Arcak

Keyword(s):

Neural Network ◽

Stability Analysis ◽

Quadratic Constraints ◽

Neural Network Controllers

Download Full-text

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach

2020 Information Theory and Applications Workshop (ITA) ◽

10.1109/ita50056.2020.9244969 ◽

2020 ◽

Author(s):

SHAKIBA YAGHOUBI ◽

GEORGIOS FAINEKOS

Keyword(s):

Neural Network ◽

Lagrange Multipliers ◽

Feedforward Neural Network ◽

Neural Network Controllers

Download Full-text

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances

2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) ◽

10.1109/itsc45102.2020.9294485 ◽

2020 ◽

Author(s):

Shakiba Yaghoubi ◽

Georgios Fainekos ◽

Sriram Sankaranarayanan

Keyword(s):

Neural Network ◽

Barrier Functions ◽

Neural Network Controllers ◽

Training Neural Network

Download Full-text

Spiking Neural Network Controllers Evolved for Animat Foraging Based on Temporal Pattern Recognition in the Presence of Noise on Input

Artificial Neural Networks and Machine Learning – ICANN 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01418-6_30 ◽

2018 ◽

pp. 304-313

Author(s):

Chama Bensmail ◽

Volker Steuber ◽

Neil Davey ◽

Borys Wróbel

Keyword(s):

Neural Network ◽

Pattern Recognition ◽

Temporal Pattern ◽

Spiking Neural Network ◽

Temporal Pattern Recognition ◽

Neural Network Controllers

Download Full-text

Evolving neural network controllers to produce leg cycles for gait generation

Proceedings of the 5th Biannual World Automation Congress ◽

10.1109/wac.2002.1049493 ◽

2003 ◽

Author(s):

G.B. Parker ◽

Zhiyi Li

Keyword(s):

Neural Network ◽

Gait Generation ◽

Neural Network Controllers

Download Full-text

A Comparison of Tuning Methods for PID-Controllers with Fuzzy and Neural Network Controllers

Cyber-Physical Systems and Control - Lecture Notes in Networks and Systems ◽

10.1007/978-3-030-34983-7_8 ◽

2019 ◽

pp. 74-86

Author(s):

Clemens Gross ◽

Hendrik Voelker

Keyword(s):

Neural Network ◽

Pid Controllers ◽

Tuning Methods ◽

Neural Network Controllers

Download Full-text

Neural Network Controllers in DTC of Synchronous Motor Drives

International Journal of Power Electronics and Drive Systems (IJPEDS) ◽

10.11591/ijpeds.v3i3.4023 ◽

2013 ◽

Vol 3 (3) ◽

Author(s):

Sudhakar Ambarapu ◽

M. Vijaya Kumar

Keyword(s):

Neural Network ◽

Synchronous Motor ◽

Motor Drives ◽

Synchronous Motor Drives ◽

Neural Network Controllers

Download Full-text

Comparative Study of Neural Network Controllers for Nonlinear Dynamic Systems

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45486-1_30 ◽

2000 ◽

pp. 357-368

Author(s):

Mahmoud F. Hussin ◽

Badr M. Abouelnasr ◽

Amin A. Shoukry

Keyword(s):

Neural Network ◽

Comparative Study ◽

Dynamic Systems ◽

Nonlinear Dynamic ◽

Nonlinear Dynamic Systems ◽

Neural Network Controllers

Download Full-text

Spontaneous evolution of structural modularity in robot neural network controllers

Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11 ◽

10.1145/2001576.2001611 ◽

2011 ◽

Author(s):

Josh C. Bongard

Keyword(s):

Neural Network ◽

Spontaneous Evolution ◽

Neural Network Controllers

Download Full-text

Neural network controllers for a flexible-link manipulator: experimental results

Proceedings of the 1998 IEEE International Conference on Control Applications (Cat. No.98CH36104) ◽

10.1109/cca.1998.728500 ◽

2002 ◽

Author(s):

H.A. Talebi ◽

R.V. Patel ◽

K. Khorasani

Keyword(s):

Neural Network ◽

Experimental Results ◽

Flexible Link ◽

Neural Network Controllers

Download Full-text