Danil V. Prokhorov

Affiliations:
  • Toyota Technical Center, Ann Arbor, USA


According to our database1, Danil V. Prokhorov authored at least 130 papers between 1995 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation.
CoRR, 2023

The Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep Learning.
CoRR, 2023

Pattern Matching for Perception Streams.
Proceedings of the Runtime Verification - 23rd International Conference, 2023

Design and fabrication of multi-pouch inflatable holding structure with higher payload.
Proceedings of the IEEE International Conference on Soft Robotics, 2023

Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Verification of Recurrent Neural Networks with Star Reachability.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Quantitative Verification for Neural Networks using ProbStars.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives.
Proceedings of the American Control Conference, 2023

Timed Partial Order Inference Algorithm.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
Model-based Evaluation of Driver Control Workloads in Haptic-based Driver Assistance Systems.
CoRR, 2022

Neural Network Repair with Reachability Analysis.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021
Force Anticipation and Its Potential Implications on Feedforward and Feedback Human Motor Control.
Hum. Factors, 2021

Risk-Bounded Control Using Stochastic Barrier Functions.
IEEE Control. Syst. Lett., 2021

Reachability Analysis of Convolutional Neural Networks.
CoRR, 2021

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.
IEEE Trans. Intell. Veh., 2020

Feature Pyramid and Hierarchical Boosting Network for Pavement Crack Detection.
IEEE Trans. Intell. Transp. Syst., 2020

Human Model-Based Active Driving System in Vehicular Dynamic Simulation.
IEEE Trans. Intell. Transp. Syst., 2020

Specification-guided Software Fault Localization for Autonomous Mobile Systems.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress.
Proceedings of the 20th International Conference on Embedded Software, 2020

2019
Model-Free Real-Time EV Charging Scheduling Based on Deep Reinforcement Learning.
IEEE Trans. Smart Grid, 2019

Guest Editorial Special Issue on Discriminative Learning for Model Optimization and Statistical Inference.
IEEE Trans. Neural Networks Learn. Syst., 2019

Merging in Congested Freeway Traffic Using Multipolicy Decision Making and Passive Actor-Critic Learning.
IEEE Trans. Intell. Veh., 2019

Differential Features for Pedestrian Detection: A Taylor Series Perspective.
IEEE Trans. Intell. Transp. Syst., 2019

Fast construction of correcting ensembles for legacy Artificial Intelligence systems: Algorithms and a case study.
Inf. Sci., 2019

Toward Next Generation of Autonomous Systems with AI.
Proceedings of the International Joint Conference on Neural Networks, 2019

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019

2018
Multi-Level Contextual RNNs With Attention Model for Scene Labeling.
IEEE Trans. Intell. Transp. Syst., 2018

Cross-Domain Traffic Scene Understanding: A Dense Correspondence-Based Transfer Learning Approach.
IEEE Trans. Intell. Transp. Syst., 2018

Efficiency of Shallow Cascades for Improving Deep Learning AI Systems.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

Neural Network Based Distributed Consensus Control for Heterogeneous Multi-agent Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Guest Editorial Special Issue on New Developments in Neural Network Structures for Signal Processing, Autonomous Decision, and Adaptive Control.
IEEE Trans. Neural Networks Learn. Syst., 2017

Deep Neural Network for Structural Prediction and Lane Detection in Traffic Scene.
IEEE Trans. Neural Networks Learn. Syst., 2017

Freeway Merging in Congested Traffic based on Multipolicy Decision Making with Passive Actor Critic.
CoRR, 2017

Actor-Critic for Linearly-Solvable Continuous MDP with Partially Known Dynamics.
CoRR, 2017

Learning to tell brake and turn signals in videos using CNN-LSTM structure.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

RGB-D Scene Labeling with Multimodal Recurrent Neural Networks.
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017

2016
IEEE Transactions on Intelligent Vehicles Senior Associate Editors.
IEEE Trans. Intell. Veh., 2016

Challenges in Perception and Decision Making for Intelligent Automotive Vehicles: A Case Study.
IEEE Trans. Intell. Veh., 2016

Approximation with random bases: Pro et Contra.
Inf. Sci., 2016

Toward Highly Intelligent Automobiles.
Proceedings of the International Conference on Vehicle Technology and Intelligent Transport Systems, 2016

Cross datasets vegetation detection with spatial prior and local context.
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

Learning to tell brake lights with convolutional features.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

A benchmark for cross-weather traffic scene understanding.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

2015
GrDHP: A General Utility Function Representation for Dual Heuristic Dynamic Programming.
IEEE Trans. Neural Networks Learn. Syst., 2015

Model-Free Dual Heuristic Dynamic Programming.
IEEE Trans. Neural Networks Learn. Syst., 2015

Robust Multitask Multiview Tracking in Videos.
IEEE Trans. Neural Networks Learn. Syst., 2015

Detection and motion planning for roadside parked vehicles at long distance.
Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

Spatial Prior for Nonparametric Road Scene Parsing.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

MUlti-Store Tracker (MUSTer): A cognitive psychology inspired approach to object tracking.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

2014
Clipping in Neurocontrol by Adaptive Dynamic Programming.
IEEE Trans. Neural Networks Learn. Syst., 2014

Learning optimization for decision tree classification of non-categorical data with information gain impurity criterion.
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014

Computational Intelligence in Automotive R & D.
Proceedings of the ECTA 2014, 2014

Tracking Using Multilevel Quantizations.
Proceedings of the Computer Vision - ECCV 2014, 2014

Blur-Resilient Tracking Using Group Sparsity.
Proceedings of the Computer Vision - ACCV 2014, 2014

2013
An Equivalence Between Adaptive Dynamic Programming With a Critic and Backpropagation Through Time.
IEEE Trans. Neural Networks Learn. Syst., 2013

Robust controller design of continuous-time nonlinear system using neural network.
Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

Tracking via Robust Multi-task Multi-view Joint Sparse Representation.
Proceedings of the IEEE International Conference on Computer Vision, 2013

2012
Simple and Fast Calculation of the Second-Order Gradients for Globalized Dual Heuristic Dynamic Programming in Neural Networks.
IEEE Trans. Neural Networks Learn. Syst., 2012

A Folded Neural Network Autoencoder for Dimensionality Reduction.
Proceedings of the 3rd International Neural Network Society Winter Conference, 2012

Reinforcement learning control based on multi-goal representation using hierarchical heuristic dynamic programming.
Proceedings of the 2012 International Joint Conference on Neural Networks (IJCNN), 2012

2011
Editorial: One Year as EiC, and Editorial-Board Changes at TNN.
IEEE Trans. Neural Networks, 2011

An online actor-critic learning approach with Levenberg-Marquardt algorithm.
Proceedings of the 2011 International Joint Conference on Neural Networks, 2011

Overview of CI research in automotive ITS.
Proceedings of the 2011 IEEE Symposium on Computational Intelligence in Vehicles and Transportation Systems, 2011

2010
Learning and Evolution of Autonomous Adaptive Agents.
Proceedings of the Advances in Machine Learning I: Dedicated to the Memory of Professor Ryszard S. Michalski, 2010

A convolutional learning system for object classification in 3-D lidar data.
IEEE Trans. Neural Networks, 2010

Road obstacle classification with attention windows.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010

Multi-agent framework for remote diagnostics.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009
Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques.
IEEE Trans. Syst. Man Cybern. Part A, 2009

Novel Classifier Fusion Approaches for Fault Diagnosis in Automotive Systems.
IEEE Trans. Instrum. Meas., 2009

Performance measurement and its role in advancement for intelligent systems: discussion points.
Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems, 2009

A Self-learning System for Object Categorization.
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

Object recognition in 3D lidar data with recurrent neural network.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2009

A self-learning sensor fusion system for object classification.
Proceedings of the 2009 IEEE Workshop on Computational Intelligence in Vehicles and Vehicular Systems, 2009

Feasibility of random basis function approximators for modeling and control.
Proceedings of the IEEE International Conference on Control Applications, 2009

Risk estimator for control in intelligent transportation system.
Proceedings of the IEEE International Conference on Control Applications, 2009

2008
Neural Networks in Automotive Applications.
Proceedings of the Computational Intelligence in Automotive Applications, 2008

Toyota Prius HEV neurocontrol and diagnostics.
Neural Networks, 2008

Adaptive Classification of Temporal Signals in Fixed-Weight Recurrent Neural Networks: An Existence Proof.
Neural Comput., 2008

Adaptive parameter robust estimation.
Proceedings of the International Joint Conference on Neural Networks, 2008

Radar-vision fusion for object classification.
Proceedings of the 11th International Conference on Information Fusion, 2008

KDD and Its Applications in Automotive Sector - A Brief Survey.
Proceedings of The 2008 International Conference on Data Mining, 2008

Intelligent Systems for Modeling and Control: Advances in Design and Validation.
Proceedings of the 2008 IEEE International Symposium on Intelligent Control, 2008

2007
Training Recurrent Neurocontrollers for Real-Time Applications.
IEEE Trans. Neural Networks, 2007

Intelligent Control Systems Using Computational Intelligence [book review].
IEEE Trans. Neural Networks, 2007

Guest Editorial Special Issue on Neural Networks for Feedback Control Systems.
IEEE Trans. Neural Networks, 2007

Training Winner-Take-All Simultaneous Recurrent Neural Networks.
IEEE Trans. Neural Networks, 2007

Adaptation and Parameter Estimation in Systems With Unstable Target Dynamics and Nonlinear Parametrization.
IEEE Trans. Autom. Control., 2007

Time series prediction with a weighted bidirectional multi-stream extended Kalman filter.
Neurocomputing, 2007

Dynamic fusion of classifiers for fault diagnosis.
Proceedings of the IEEE International Conference on Systems, 2007

Automotive Turing Test.
Proceedings of the 2007 Workshop on Performance Metrics for Intelligent Systems, 2007

Toyota Prius HEV neurocontrol.
Proceedings of the International Joint Conference on Neural Networks, 2007

Prius control with a hybrid method.
Proceedings of the ICINCO 2007, 2007

2006
Training Recurrent Neurocontrollers for Robustness With Derivative-Free Kalman Filter.
IEEE Trans. Neural Networks, 2006

Project "Animat Brain": Designing the Animat Control System on the Basis of the Functional Systems Theory.
Proceedings of the Anticipatory Behavior in Adaptive Learning Systems, 2006

Feedback Neurocontrol of a Disease.
Proceedings of the International Joint Conference on Neural Networks, 2006

2005
A model of evolution and learning.
Neural Networks, 2005

Welcome to the special issue.
Neural Networks, 2005

Investigation of Evolving Populations of Adaptive Agents.
Proceedings of the Artificial Neural Networks: Biological Inspirations, 2005

A new method for adaptive brake control.
Proceedings of the American Control Conference, 2005

Training neurocontrollers for robustness via nprKF.
Proceedings of the American Control Conference, 2005

2004
Stability analysis of discrete-time recurrent multilayer neural networks.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Adaptive control with nonconvex parameterization.
IEEE Trans. Autom. Control., 2003

A new method for stability analysis of nonlinear discrete-time systems.
IEEE Trans. Autom. Control., 2003

Simple and conditioned adaptive behavior from Kalman filter trained recurrent networks.
Neural Networks, 2003

Parameter Estimation of Sigmoid Superpositions: Dynamical System Approach.
Neural Comput., 2003

Finite form realizations of adaptive control algorithms.
Proceedings of the 7th European Control Conference, 2003

Optimal neurocontrollers for discretized distributed parameter systems.
Proceedings of the American Control Conference, 2003

2002
Stability analysis of discrete-time recurrent neural networks.
IEEE Trans. Neural Networks, 2002

On a problem of time-varying learning rate influence on the adaptive system dynamics.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Two alternative stability criteria for discrete-time RMLP.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Global stability analysis of discrete-time recurrent neural networks.
Proceedings of the American Control Conference, 2001

2000
Neurocontroller alternatives for "fuzzy" ball-and-beam systems with nonuniform nonlinear friction.
IEEE Trans. Neural Networks Learn. Syst., 2000

Recurrent neural network based prediction of epileptic seizures in intra- and extracranial EEG.
Neurocomputing, 2000

Adaptive control on manifolds with RBF neural networks.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999
Application of SVM to Lyapunov function approximation.
Proceedings of the International Joint Conference Neural Networks, 1999

1998
Comparative study of stock trend prediction using time delay, recurrent and probabilistic neural networks.
IEEE Trans. Neural Networks, 1998

Analyzing for Lyapunov stability with adaptive critics.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Comments on "A self-organizing network for hyperellipsoidal clustering (HEC)" [and reply].
IEEE Trans. Neural Networks, 1997

Corrections To "Adaptive Critic Designs".
IEEE Trans. Neural Networks, 1997

Adaptive critic designs.
IEEE Trans. Neural Networks, 1997

Adaptive critic design in learning to play game of Go.
Proceedings of International Conference on Neural Networks (ICNN'97), 1997

Primitive adaptive critics.
Proceedings of International Conference on Neural Networks (ICNN'97), 1997

Unified formulation for training recurrent networks with derivative adaptive critics.
Proceedings of International Conference on Neural Networks (ICNN'97), 1997

1996
Advanced neural network training methods for low false alarm stock trend prediction.
Proceedings of International Conference on Neural Networks (ICNN'96), 1996

1995
Adaptive critic designs: A case study for neurocontrol.
Neural Networks, 1995

Conservative thirty calendar day stock prediction using a probabilistic neural network.
Proceedings of the IEEE/IAFE 1995 Computational Intelligence for Financial Engineering, 1995


  Loading...