Sandor Veres
Sandor Veres
Professor of Autonomous Control Systems
Verified email at
Cited by
Cited by
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
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of computer programming 148, 88-106, 2017
Active sound and vibration control: theory and applications
MO Tokhi, SM Veres
Iet, 2002
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
Predictive self-tuning control by parameter bounding and worst-case design
SM Veres, JP Norton
Automatica 29 (4), 911-928, 1993
Universal adaptive control of satellite formation flying
R Pongvthithum, SM Veres, SB Gabriel, E Rogers*
International Journal of Control 78 (1), 45-52, 2005
Frequency selective feedback for active noise control
T Meurers, SM Veres, SJ Elliot
IEEE control systems magazine 22 (4), 32-41, 2002
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
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
Guaranteed computation of robot trajectories
S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres
Robotics and Autonomous Systems 93, 76-84, 2017
Parameter-bounding algorithms for linear errors in variables models
SM Veres, JP Norton
IFAC Proceedings Volumes 25 (15), 261-266, 1992
Terrain referencing for autonomous navigation of underwater vehicles
C Morice, S Veres, S McPhail
Oceans 2009-Europe, 1-7, 2009
Geometric bounding toolbox (gbt) for matlab
SM Veres
Official website: http://www. sysbrain. com 254 (9), 2003
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
Natural language programming of agents and robotic devices
SM Veres
Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle
J Ezekiel, A Lomuscio, L Molnar, SM Veres, M Peabody
A robust controller for multi rotor UAVs
OA Jasim, SM Veres
Aerospace Science and Technology 105, 106010, 2020
Synergy and duality of identification and control
SM Veres, DS Wall
(No Title), 2000
Natural language programming of complex robotic BDI agents
NK Lincoln, SM Veres
Journal of Intelligent & Robotic Systems 71, 211-230, 2013
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
The system can't perform the operation now. Try again later.
Articles 1–20