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
1802011
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of computer programming 148, 88-106, 2017
1732017
Active sound and vibration control: theory and applications
MO Tokhi, SM Veres
Iet, 2002
1292002
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
1242016
Predictive self-tuning control by parameter bounding and worst-case design
SM Veres, JP Norton
Automatica 29 (4), 911-928, 1993
891993
Universal adaptive control of satellite formation flying
R Pongvthithum, SM Veres, SB Gabriel, E Rogers*
International Journal of Control 78 (1), 45-52, 2005
732005
Frequency selective feedback for active noise control
T Meurers, SM Veres, SJ Elliot
IEEE control systems magazine 22 (4), 32-41, 2002
702002
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
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
562010
Guaranteed computation of robot trajectories
S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres
Robotics and Autonomous Systems 93, 76-84, 2017
532017
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
442009
Geometric bounding toolbox (gbt) for matlab
SM Veres
Official website: http://www. sysbrain. com 254 (9), 2003
432003
Natural language programming of agents and robotic devices
SM Veres
402008
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
392018
Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle
J Ezekiel, A Lomuscio, L Molnar, SM Veres, M Peabody
392011
Synergy and duality of identification and control
SM Veres, DS Wall
(No Title), 2000
382000
A robust controller for multi rotor UAVs
OA Jasim, SM Veres
Aerospace Science and Technology 105, 106010, 2020
372020
Natural language programming of complex robotic BDI agents
NK Lincoln, SM Veres
Journal of Intelligent & Robotic Systems 71, 211-230, 2013
362013
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
352016
The system can't perform the operation now. Try again later.
Articles 1–20