| Active sound and vibration control: theory and applications MO Tokhi, S Veres, SM Veres Iet, 2002 | 118 | 2002 |
| 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 | 112 | 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 | 94 | 2017 |
| Predictive self-tuning control by parameter bounding and worst-case design SM Veres, JP Norton Automatica 29 (4), 911-928, 1993 | 80 | 1993 |
| Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23 (3), 305-359, 2016 | 69 | 2016 |
| Universal adaptive control of satellite formation flying R Pongvthithum, SM Veres, SB Gabriel, E Rogers* International Journal of Control 78 (1), 45-52, 2005 | 67 | 2005 |
| Frequency selective feedback for active noise control T Meurers, SM Veres, SJ Elliot IEEE control systems magazine 22 (4), 32-41, 2002 | 63 | 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 | 58 | 1991 |
| Geometric bounding toolbox (gbt) for matlab SM Veres Official website: http://www. sysbrain. com 254 (9), 2003 | 43 | 2003 |
| Parameter-bounding algorithms for linear errors-in-variables models SM Veres, JP Norton Bounding approaches to system identification, 275-288, 1996 | 43 | 1996 |
| Global adaptation in networks of selfish components: Emergent associative memory at the system scale RA Watson, R Mills, CL Buckley Artificial Life 17 (3), 147-166, 2011 | 39 | 2011 |
| 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 | 38 | 2010 |
| Natural language programming of agents and robotic devices SM Veres SysBrain, 2008 | 36 | 2008 |
| Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle J Ezekiel, A Lomuscio, L Molnar, SM Veres, M Peabody | 35 | 2011 |
| Terrain referencing for autonomous navigation of underwater vehicles C Morice, S Veres, S McPhail Oceans 2009-Europe, 1-7, 2009 | 34 | 2009 |
| Synergy and duality of identification and control Y Veressinina, DS Wall CRC Press, 1999 | 34 | 1999 |
| Tuning for robustness and performance using iterative feedback tuning S Veres, H Hjalmarsson Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 4 …, 2002 | 33 | 2002 |
| Structure selection of stochastic dynamic systems SM Veres CRC Press, 1991 | 32 | 1991 |
| Analysis of formation flying control of a pair of nano-satellites SM Veres, SB Gabriel, E Rogers, DQ Mayne Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001 | 31 | 2001 |
| Guaranteed computation of robot trajectories S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres Robotics and Autonomous Systems 93, 76-84, 2017 | 27 | 2017 |
Louise DennisDepartment of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
