Follow
Sandor Veres
Sandor Veres
Professor of Autonomous Control Systems
Verified email at sheffield.ac.uk
Title
Cited by
Cited by
Year
Autonomous vehicle control systems—a review of decision making
SM Veres, L Molnar, NK Lincoln, CP Morice
Proceedings of the Institution of Mechanical Engineers, Part I: Journal of …, 2011
1882011
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of computer programming 148, 88-106, 2017
1772017
Active sound and vibration control: theory and applications
MO Tokhi, SM Veres
Iet, 2002
1342002
Practical verification of decision-making in agent-based autonomous systems
LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres
Automated Software Engineering 23, 305-359, 2016
1292016
Predictive self-tuning control by parameter bounding and worst-case design
SM Veres, JP Norton
Automatica 29 (4), 911-928, 1993
901993
Universal adaptive control of satellite formation flying
R Pongvthithum, SM Veres, SB Gabriel, E Rogers*
International Journal of Control 78 (1), 45-52, 2005
742005
Frequency selective feedback for active noise control
T Meurers, SM Veres, SJ Elliot
IEEE control systems magazine 22 (4), 32-41, 2002
722002
Structure selection for bounded-parameter models: Consistency conditions and selection criterion
SM Veres, JP Norton
IEEE Transactions on Automatic Control 36 (4), 474-481, 1991
621991
Guaranteed computation of robot trajectories
S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres
Robotics and Autonomous Systems 93, 76-84, 2017
562017
Aerodynamic parameter estimation of an unmanned aerial vehicle based on extended kalman filter and its higher order approach
L Meng, L Li, SM Veres
2010 2nd International Conference on Advanced Computer Control 5, 526-531, 2010
542010
Parameter-bounding algorithms for linear errors in variables models
SM Veres, JP Norton
IFAC Proceedings Volumes 25 (15), 261-266, 1992
491992
Terrain referencing for autonomous navigation of underwater vehicles
C Morice, S Veres, S McPhail
Oceans 2009-Europe, 1-7, 2009
462009
A robust controller for multi rotor UAVs
OA Jasim, SM Veres
Aerospace Science and Technology 105, 106010, 2020
432020
Autonomous nuclear waste management
JM Aitken, SM Veres, A Shaukat, Y Gao, E Cucco, LA Dennis, M Fisher, ...
IEEE Intelligent Systems 33 (6), 47-55, 2018
422018
Geometric bounding toolbox (gbt) for matlab
SM Veres
Official website: http://www. sysbrain. com 254 (9), 2003
412003
Natural language programming of agents and robotic devices
SM Veres
402008
Reliable robot localization: a constraint-programming approach over dynamical systems
S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres
John Wiley & Sons, 2020
382020
A model based design framework for safety verification of a semi-autonomous inspection drone
O McAree, JM Aitken, SM Veres
2016 UKACC 11th International conference on control (CONTROL), 1-6, 2016
382016
Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle
J Ezekiel, A Lomuscio, L Molnar, SM Veres, M Peabody
382011
Synergy and duality of identification and control
SM Veres, DS Wall
(No Title), 2000
382000
The system can't perform the operation now. Try again later.
Articles 1–20