| 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 | 188 | 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 | 176 | 2017 |
| Active sound and vibration control: theory and applications MO Tokhi, SM Veres Iet, 2002 | 134 | 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 | 127 | 2016 |
| Predictive self-tuning control by parameter bounding and worst-case design SM Veres, JP Norton Automatica 29 (4), 911-928, 1993 | 90 | 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 | 73 | 2005 |
| Frequency selective feedback for active noise control T Meurers, SM Veres, SJ Elliot IEEE control systems magazine 22 (4), 32-41, 2002 | 71 | 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 | 62 | 1991 |
| Guaranteed computation of robot trajectories S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres Robotics and Autonomous Systems 93, 76-84, 2017 | 56 | 2017 |
| 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 | 54 | 2010 |
| Parameter-bounding algorithms for linear errors in variables models SM Veres, JP Norton IFAC Proceedings Volumes 25 (15), 261-266, 1992 | 49 | 1992 |
| Terrain referencing for autonomous navigation of underwater vehicles C Morice, S Veres, S McPhail Oceans 2009-Europe, 1-7, 2009 | 46 | 2009 |
| A robust controller for multi rotor UAVs OA Jasim, SM Veres Aerospace Science and Technology 105, 106010, 2020 | 42 | 2020 |
| 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 | 42 | 2018 |
| Geometric bounding toolbox (gbt) for matlab SM Veres Official website: http://www. sysbrain. com 254 (9), 2003 | 41 | 2003 |
| Natural language programming of agents and robotic devices SM Veres | 40 | 2008 |
| 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 | 38 | 2020 |
| 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 | 38 | 2016 |
| Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle J Ezekiel, A Lomuscio, L Molnar, SM Veres, M Peabody | 38 | 2011 |
| Synergy and duality of identification and control SM Veres, DS Wall (No Title), 2000 | 38 | 2000 |
Louise DennisDepartment of Computer Science, University of ManchesterAdresse e-mail validée de manchester.ac.uk