Professor Sandor M. Veres

Department of Automatic Control and Systems Engineering

Director of the Autonomous Systems and Robotics Research Group

s.veres@sheffield.ac.uk
+44 114 222 5652

Amy Johnson Building

Full contact details

Professor Sandor M. Veres
Department of Automatic Control and Systems Engineering
Amy Johnson Building
Portobello Street
Sheffield
S1 3JD

Research interests

Optimal decision making in autonomous systems, mobile robotics, agent supervised feedback control systems, architectures and programming of reasoning based intelligent agents, formation flying control of robotic vehicles, formal modelling and verification of systems by model checking, fault tolerant control systems, automated processes of data based modelling, robust adaptive control, controller tuning and system identification, satellite dynamics and control, active control of sound and vibration control.

Formerly creator and coordinator of the Southampton based Centre for Complex Autonomous Systems Engineering.

Publications

Books

Rohou S, Jaulin L, Mihaylova L, Bars FL & Veres SM (2019) Reliable robot localization: A constraint-programming approach over dynamical systems.
Rohou S, Jaulin L, Mihaylova L, Le Bars F & Veres S (2019) Reliable Robor Localization. Great Britain: ISTE and John Wiley and Sons, Inc.. View this article in WRRO

Journal articles

Jasim OA & Veres SM (2022) Verification framework for control theory of aircraft. The Aeronautical Journal, 1-16.
Jasim OA & Veres SM (2020) A robust controller for multi rotor UAVs. Aerospace Science and Technology. View this article in WRRO
Jasim OA & Veres SM (2020) Verification Framework for Control System Functionality of Unmanned Aerial Vehicles.
Smyrnakis M, Qu H & Veres S (2018) Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms. International Journal on Artificial Intelligence Tools, 27(7).
Rohou S, Jaulin L, Mihaylova LS, Le Bars F & Veres S (2018) Reliable non-linear state estimation involving time uncertainties. Automatica, 93, 379-388. View this article in WRRO
McAree O, Aitken J & Veres S (2018) Quantifying situation awareness for small unmanned aircraft: Towards routine Beyond Visual Line of Sight operations. The Aeronautical Journal, 122(1251), 733-746. View this article in WRRO
Aitken J, Shaukat A, Cucco E, Dennis L, Veres S, Gao Y, Fisher M, Kuo J, Robinson T & Mort P (2018) Autonomous Nuclear Waste Management. IEEE Intelligent Systems. View this article in WRRO
Kamali M, Dennis LA, McAree O, Fisher M & Veres SM (2017) Formal verification of autonomous vehicle platooning. Science of Computer Programming, 148, 88-106. View this article in WRRO
Rohou S, Jaulin L, Mihaylova LS, Le Bars F & Veres SM (2017) Guaranteed computation of robot trajectories. Robotics and Autonomous Systems, 93, 76-84. View this article in WRRO
Costalago-Meruelo A, Simpson DM, Veres SM & Newland PL (2017) Predictive control of intersegmental tarsal movements in an insect. Journal of Computational Neuroscience. View this article in WRRO
Smyrnakis M, Kladis GP, Aitken JM & Veres SM (2016) Distributed selection of flight formation in UAV missions. Journal of Applied Mathematics & Bioinformatics, 6(3), 93-124. View this article in WRRO
Smyrnakis M, Bauso D & Veres S (2016) Stabilizability of Dynamic Coalitional Games with Transferable Utility**This work was partially funded by EPSRC Grant No. EP/J011894/2.. IFAC-PapersOnLine, 49(22), 121-126.
Fisher M, Dennis L, Lincoln N, Lisitsa A & Veres SM (2016) Practical verification of decision-making in agent-based autonomous systems. Automated Software Engineering, 23(3), 305-359. View this article in WRRO
Smyrnakis M & Veres SM (2016) Fictitious play for cooperative action selection in robot teams. Engineering Applications of Artificial Intelligence, 56, 14-29. View this article in WRRO
Qu H & Veres SM (2016) Verification of logical consistency in robotic reasoning. Robotics and Autonomous Systems, 83, 44-56. View this article in WRRO
Costalago Meruelo A, Simpson DM, Veres SM & Newland PL (2016) Improved system identification using artificial neural networks and analysis of individual differences in responses of an identified neuron. Neural Networks, 75, 56-65.
Hazim MY, Qu H & Veres SM (2016) Testing, Verification and Improvements of Timeliness in ROS processes.. CoRR, abs/1611.03355.
Chen Q, Veres SM, Wang Y & Meng Y (2015) Virtual Spring-Damper Mesh-Based Formation Control for Spacecraft Swarms in Potential Fields. Journal of Guidance, Control, and Dynamics, 38(3), 539-546. View this article in WRRO
Dennis LA, Fisher M, Aitken J, Veres SM, Gao Y, Shaukat A & Burroughes G (2014) Reconfigurable Autonomy. KI - Künstliche Intelligenz, 28(3), 199-207. View this article in WRRO
Lincoln NK, Veres SM, Dennis LA, Fisher M & Lisitsa A (2013) Autonomous Asteroid Exploration by Rational Agents. IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE, 8(4), 25-38.
Caicedo-Núñez CH & Veres SM (2013) The frame alignment problem in formations of multi-agent systems?. IFAC Proceedings Volumes (IFAC-PapersOnline), 8(PART 1), 262-267.
Veres SM (2012) Knowledge of machines: Review and forward look. Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control Engineering, 226(1), 3-10.
Lincoln NK & Veres SM (2012) Natural Language Programming of Complex Robotic BDI Agents. Journal of Intelligent and Robotic Systems: Theory and Applications, 1-20.
Li M, Liu L & Veres SM (2011) Comparison of linear and nonlinear aerodynamic parameter estimation approaches for an unmanned aerial vehicle using unscented Kalman filter. Journal of Beijing Institute of Technology (English Edition), 20(3), 339-344.
Li M, Liu L & Veres SM (2011) Robustness assessment for flight control system of an oceanographic unmanned aerial vehicle. Journal of Beijing Institute of Technology (English Edition), 20(2), 158-167.
Veres SM (2011) Bounding methods for state and parameter estimation. International Journal of Adaptive Control and Signal Processing, 25(3), 189-190.
Veres SM, Molnar L, Lincoln NK & Morice CP (2011) Autonomous vehicle control systems - A review of decision making. Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control Engineering, 225(3), 155-195.
Morice CP & Veres S (2011) Geometric bounding techniques for underwater localization using range-only sensors. Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, 225(1), 74-84.
Morice CP & Veres SM (2011) Geometric bounding techniques for underwater localization using range-only sensors. Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control Engineering, 225(1), 74-84.
Lincoln NK & Veres SM (2010) Application of discrete time sliding mode control to a spacecraft in 6DoF with parameter identification. International Journal of Control, 83(11), 2217-2231.
Luo J & Veres SM (2010) Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. Automatica, 46(4), 735-742.
Dennis L, Fisher M, Lisitsa A, Lincoln N & Veres S (2010) Satellite control using rational agent programming. IEEE Intelligent Systems, 25(3), 92-97.
Luo J & Veres SM (2008) MIMO Frequency Domain Iterative Tuning for Tracking Control. IFAC Proceedings Volumes, 41(2), 15463-15468.
Veres SM & Veres AG (2008) Learning and Adaptation of Skills in Autonomous Physical Agents. IFAC Proceedings Volumes, 41(2), 15457-15462.
Veres SM (2007) Editorial. International Journal of Adaptive Control and Signal Processing, 21(2-3), 93-94.
Lincoln NK & Veres SM (2007) Components of a vision assisted constrained autonomous satellite formation flying control system. International Journal of Adaptive Control and Signal Processing, 21(2-3), 237-264.
Veres SM (2006) Discussion on A Robust Approximation Scheme for the LQG Control of an Undamped Flexible Beam with a Tip Mass. European Journal of Control, 12(6), 651.
Veres SM (2006) Discussion on "A robust approximation scheme for the LQG control of an undamped flexible beam with a tip mass". European Journal of Control, 12(6), 652-653.
Rokityanskiy DY & Veres SM (2005) Application of ellipsoidal estimation to satellite control design. Mathematical and Computer Modelling of Dynamical Systems, 11(2), 239-249.
Veres SM (2005) Flow control by feedback: Stabilization and mixing, Ole Morten Aamo and Miroslav Krstic, Springer-Verlag: London, U.K., 2003. International Journal of Robust and Nonlinear Control, 15(3), 149-151.
Elliott SJ & Veres SM (2005) Special Issue on Adaptive Control of Sound and Vibration. INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING, 19(2-3), 63-65.
Pongvthithum R, Veres SM, Gabriel SB & Rogers E (2005) Universal adaptive control of satellite formation flying. International Journal of Control, 78(1), 45-52.
Veres S & Kosut R (2004) Special issue: Iterative modelling and controller design editors: Sanclor Veres and Robert Kosut - Editorial. INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING, 18(8), 605-606.
Pongvuthithum R, Veres SM, Gabriel SB & Rogers E (2004) Universal adaptive output tracking of double integrators. IFAC Proceedings Volumes, 37(12), 579-584.
Veres SM, Baramov L, Tutty OR & Rogers E (2003) Iterative design for active control of fluid flow. International Journal of Control, 76(14), 1375-1386.
Veres SM (2003) Exploratory modelling for controller optimization. IFAC Proceedings Volumes, 36(16), 15-20.
Meurers T, Veres SM & Tan ACH (2003) Model-free frequency domain iterative active sound and vibration control. Control Engineering Practice, 11(9), 1049-1059.
Veres SM, Gabriel SB, Mayne DQ & Rogers E (2002) Analysis of formation flying control of a pair of nanosatellites. Journal of Guidance, Control, and Dynamics, 25(5), 971-975.
Meurers T, Veres SM & Elliott SJ (2002) Frequency Selective Feedback for Active Noise Control. IEEE Control Systems, 22(4), 32-41.
Veres SM (2002) Error control in polytope computations. Journal of Optimization Theory and Applications, 113(2), 325-355.
Veres SM (2002) Convergent iterative model unfalsification for control. Proceedings of the IEEE Conference on Decision and Control, 4, 4221-4226.
Veres SM (2001) Adaptive harmonic control. International Journal of Control, 74(12), 1219-1225.
Veres SM (2001) Convergence of control performance by unfalsification of models - Levels of confidence. International Journal of Adaptive Control and Signal Processing, 15(5), 471-502.
Veres SM (2000) Worst-case dual control: Basic results. International Journal of Control, 73(18), 1621-1646.
Veres SM (2000) Self-tuning control by model unfalsification (Part II). International Journal of Control, 73(17), 1560-1571.
Veres SM (2000) Self-tuning control by model unfalsification (Part I). International Journal of Control, 73(17), 1548-1559.
Silke B, Hanratty CG, Veres SM & Riddell JG (2000) beta-adrenoceptor modulation and heart rate variability - The value of scatterplot measures of compactness. CARDIOVASCULAR DRUGS AND THERAPY, 14(4), 433-440.
Veres SM (2000) Frequency selective dual control for periodic disturbance cancellation. International Journal of Robust and Nonlinear Control, 10(9), 709-727.
Veres SM & Xia H (2000) Self-Tuning Control by Model Unfalsification. IFAC Proceedings Volumes, 33(15), 893-898.
Meurers T & Veres SM (2000) Iterative design for vibration attenuation. Shock and Vibration Digest, 32(1), 66.
Veres SM, Messaoud H & Norton JP (1999) Limited-complexity model-unfalsifying adaptive tracking-control. International Journal of Control, 72(15), 1417-1426.
Veres SM (1999) Iterative identification and control redesign via unfalsified sets of models: A basic scheme. International Journal of Control, 72(10), 887-903.
Tokhi MO & Veres SM (1999) Intelligent adaptive active control of noise and vibration. IFAC Proceedings Volumes, 32(2), 8740-8745.
Xia H & Veres SM (1999) Improved efficiency of adaptive robust control by model unfalsification. Automatica, 35(5), 981-986.
VERES SM & SOKOLOV VF (1998) Adaptive Robust Control under Unknown Plant Orders. Automatica, 34(6), 723-730.
Wall DS & Veres SM (1997) Laguerre filter reduced-order l1 identification. International Journal of Control, 68(4), 867-886.
Mitsis L & Veres SM (1997) A new adaptive multi-channel technique for vibration control: Frequency domain adaptive control. IEE Colloquium (Digest)(385).
Veres SM (1995) Identification by parameter bounds in adaptive control. International Journal of Adaptive Control and Signal Processing, 9(1), 33-46.
Veres SM & Norton JP (1993) Predictive self-tuning control by parameter bounding and worst-case design. Automatica, 29(4), 911-928.
Piet-Lahanier H, Veres SM & Walter E (1992) Comparison of methods for solving sets of linear inequalities in the bounded-error context. Mathematics and Computers in Simulation, 34(6), 515-524.
Hardwicke PI, Kent CA, Norton JP & Veres SM (1991) A robust procedure for trend and model estimation during fermentation. Process Biochemistry, 26(5), 269-273.
Veres SM & Norton JP (1991) Structure selection for bounded-parameter models: consistency conditions and selection criterion. IEEE Transactions on Automatic Control, 36(4), 474-481.
VERES SM (1990) Relations between information criteria for model-structure selection Part 3. Strong consistency of the predictive least squares criterion. International Journal of Control, 52(3), 737-752.
VERES SM (1990) Relations between information criteria for model-structure selection Part 1. The role of bayesian model order estimation. International Journal of Control, 52(2), 389-408.
VERES SM (1990) Relations between information criteria for model-structure selection Part 2. Modelling by shortest data description. International Journal of Control, 52(2), 409-421.
VERES SM & NORTON JP (1989) Structure identification of parameter-bounding models by use of noise-structure bounds. International Journal of Control, 50(2), 639-649.
Veres S, Nagy I & Bokor J (1988) Signal effect analysis for noise diagnostics of a nuclear power plant. Progress in Nuclear Energy, 21, 735-742.
Veres S (1988) ASYMPTOTIC DISTRIBUTION OF MAXIMUM LIKELIHOOD ESTIMATORS FOR NONSTATIONARY AUTOREGRESSIVE PROCESSES.. Problems of control and information theory, 17(1), 63-70.
Nagy I, Bokor J, Veres S, Tanyi M & Gáspár P (1988) Experiences of reactor noise diagnostics applying parametric spectral analysis methods. Progress in Nuclear Energy, 21, 725-733.
Keviczky L, Bokor J, Nagy I & Veres S (1988) An expert system approach to the development of noise diagnostic system in NPP paks. Progress in Nuclear Energy, 21, 223-227.
Veres S (1987) ASYMPTOTIC DISTRIBUTIONS OF LIKELIHOOD RATIOS FOR OVERPARAMETRIZED ARMA PROCESSES. Journal of Time Series Analysis, 8(3), 345-357.
Norton JP & Veres SM () Developments in parameter bounding, 137-158.
Veres S () Natural language programming for publishing and programming of intelligent agents. IEEE Transactions on Systems, Man and Cybernetics Part A: Systems and Humans(5).
Smyrnakis M, Aitken JM & Veres SM () Collision Avoidance of Two Autonomous Quadcopters. View this article in WRRO
Al-Nuaimi M, Wibowo S, Qu H, Aitken J & Veres S () Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. Journal of Sensor and Actuator Networks, 10(3), 42-42.

Conference proceedings papers

Jin Y, Paredes Soto DA, Rossiter J & Veres S (2021) Advanced environment modelling for remote teleoperation to improve operator experience. icARTi '21: Proceedings of the International Conference on Artificial Intelligence and its Applications. Bagatelle, Mauritius (Virtual), 9 December 2021 - 10 December 2021. View this article in WRRO
Jin Y, Rossiter J & Veres S (2021) Accurate 6D Object Pose Estimation and Refinement in Cluttered Scenes. Proceedings of the 2nd International Conference on Robotics, Computer Vision and Intelligent Systems (pp 31-39). Virtual conference, 27 October 2021 - 28 October 2021. View this article in WRRO
Smyrnakis M, Qu H, Bauso D & Veres S (2021) On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12613 LNAI (pp 73-105)
Millan-Blanquel L, Veres SM & Purshouse RC (2020) Ethical Considerations for a Decision Making System for Autonomous Vehicles During an Inevitable Collision. 2020 28th Mediterranean Conference on Control and Automation (MED), 15 September 2020 - 18 September 2020.
Ghosh A, Veres S, Peredes-Soto D, Clarke J & Rossiter J (2020) Intuitive programming with remotely instructed robots inside future gloveboxes. HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction (pp 209-211). Cambridge, UK, 23 March 2020 - 26 March 2020. View this article in WRRO
Smyrnakis M, Qu H, Bauso D & Veres S (2020) Multi-model Adaptive Learning for Robots Under Uncertainty. Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 22 February 2020 - 24 February 2020.
Jasim OA & Veres SM (2019) Nonlinear attitude control design and verification for a safe flight of a small-scale unmanned helicopter. 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT). Paris, France, 23 April 2019 - 26 April 2019. View this article in WRRO
Al-Nuaimi M, Qu H & Veres SM (2018) A stochastically verifiable decision making framework for autonomous ground vehicles. 2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR), 24 August 2018 - 27 August 2018.
Zhang H & Veres SM (2018) Simultaneous Search and Monitoring of Evasive Targets by an Unmanned Aerial Vehicle. 2018 UKACC 12th International Conference on Control (CONTROL), 5 September 2018 - 7 September 2018.
Jasim O & Veres SM (2018) Formal Verification of Quadcopter Flight Envelop Using Theorem Prover. Proceedings of 2018 IEEE Conference on Control Technology and Applications (CCTA) (pp 1502-1507), 21 August 2018 - 24 August 2018. View this article in WRRO
Al-Nuaimi M, Qu H & Veres SM (2018) Computational Framework for Verifiable Decisions of Self-Driving Vehicles. 2018 IEEE Conference on Control Technology and Applications (CCTA), 21 August 2018 - 24 August 2018.
Zhang H, Veres S, Kolling A & IEEE (2018) Simultaneous Search and Monitoring by Unmanned Aerial Vehicles. 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 12 December 2017 - 15 December 2017. View this article in WRRO
Smyrnakis M, Qu H & Veres S (2017) Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), 6 November 2017 - 8 November 2017.
Jasim OA & Veres SM (2017) Towards formal proofs of feedback control theory. 2017 21st International Conference on System Theory, Control and Computing (ICSTCC), 19 October 2017 - 21 October 2017. View this article in WRRO
McAree O, Aitken J & Veres S (2017) Towards artificial situation awareness by autonomous vehicles. IFAC-PapersOnLine, Vol. 50(1) (pp 7038-7043) View this article in WRRO
McAree O & Veres SM (2017) Lateral control of vehicle platoons with on-board sensing and Inter-Vehicle Communication. 2016 European Control Conference (ECC). Aalborg, Denmark, 29 June 2016 - 1 July 2016. View this article in WRRO
Izzo P, Qu H & Veres SM (2016) A stochastically verifiable autonomous control architecture with reasoning. 2016 IEEE 55th Conference on Decision and Control (CDC), 12 December 2016 - 14 December 2016.
Aitken JM, McAree O & Veres SM (2016) Symbiotic relationship between robots — a ROS ARDrone/YouBot library. 2016 UKACC 11th International Conference on Control (CONTROL), 31 August 2016 - 2 September 2016. View this article in WRRO
Smyrnakis M, Bauso D, Trodden PA & Veres SM (2016) Learning of cooperative behaviour in robot populations. 2016 European Control Conference (ECC), 29 June 2016 - 1 July 2016.
Veres S, McAree O & Aitken J (2016) On the complexity of formal verification of small and micro UAS. Proceedings of the European Control Conference 2016 View this article in WRRO
Dennis LA, Aitken JM, Collenette J, Cucco E, Kamali M, McAree O, Shaukat A, Atkinson K, Gao Y, Veres SM & Fisher M (2016) Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice (pp 75-86) View this article in WRRO
Douthwaite JA, Mihaylova LS & Veres SM (2016) Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms. LNAI, Vol. 9716(1) (pp 99-110), 27 June 2016 - 30 June 2016. View this article in WRRO
Hazim MY, Qu H & Veres SM (2016) Testing, Verification and Improvements of Timeliness in ROS Processes (pp 146-157) View this article in WRRO
Hoffmann R, Ireland M, Miller A, Norman G & Veres S (2016) Autonomous Agent Behaviour Modelled in PRISM – A Case Study (pp 104-110)
Veres SM, McAree O & Aitken JM (2016) Towards formal verification of small and micro UAS. 2016 European Control Conference (ECC), 29 June 2016 - 1 July 2016.
McAree O, Aitken JM & Veres SM (2016) A model based design framework for safety verification of a semi-autonomous inspection drone. 2016 UKACC 11th International Conference on Control (CONTROL), 31 August 2016 - 2 September 2016. View this article in WRRO
Izzo P & Veres SM (2015) Intelligent planning with performance assessment for Autonomous Surface Vehicles. OCEANS 2015 - Genova, 18 May 2015 - 21 May 2015.
Tantrairatn S & Veres SM (2015) Onboard System Identification for Improved Flight Control of UAS. IFAC-PapersOnLine, Vol. 48(14) (pp 368-375)
Qu H, Kolling A & Veres SM (2015) Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming (pp 216-228) View this article in WRRO
Smyrnakis M, Qu H & Veres SM (2015) Behaviour analysis of mixed game-theoretic learning algorithms. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Vol. 3 (pp 1889-1890)
Tantrairatn S & Veres SM (2015) A rational agent framework for adaptive flight control of UAVs. 2015 International Conference on Unmanned Aircraft Systems (ICUAS), 9 June 2015 - 12 June 2015.
Qu H & Veres SM (2014) On efficient consistency checks by robots. 2014 European Control Conference (ECC), 24 June 2014 - 27 June 2014.
Lincoln NK & Veres SM (2014) Discrete time sliding mode control for satellite clusters at Lagrange points. 2009 European Control Conference, ECC 2009 (pp 1395-1401)
Molnar L & Veres SM (2014) Verification of autonomous underwater vehicles using formal logic. 2009 European Control Conference, ECC 2009 (pp 1263-1268)
Qu H, Kolling A & Veres SM (2014) Formulating Robot Pursuit-Evasion Strategies by Model Checking. IFAC Proceedings Volumes, Vol. 47(3) (pp 3048-3055)
Smyrnakis M & Veres SM (2014) Coordination of control in robot teams using game-theoretic learning. IFAC Proceedings Volumes, Vol. 47(3) (pp 1194-1202)
Aitken JM, Veres SM & Judge M (2014) Adaptation of System Configuration under the Robot Operating System. IFAC Proceedings Volumes, Vol. 47(3) (pp 4484-4492), 24 August 2014 - 29 August 2014.
Costalago Meruelo A, M. Simpson D, Veres S & L. Newland P (2014) Artificial Neural Network Models of Intersegmental Reflexes. Proceedings of the International Conference on Neural Computation Theory and Applications, 22 October 2014 - 24 October 2014.
Ezekiel J, Lomuscio A, Molnar L, Veres S & Pebody M (2011) Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle. 22nd International Joint Conference on Artificial Intelligence. Barcelona, Spain
Veres SM & Adolfsson JP (2011) A natural language programming solution for executable papers. Procedia Computer Science, Vol. 4 (pp 678-687)
Lincoln NK & Veres SM (2011) Decision methods for non-tethered deep space interferometry. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 44(1 PART 1) (pp 60-65)
Molnar L & Veres SM (2011) Hybrid automata dicretising agents for formal modelling of robots. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 44(1 PART 1) (pp 49-54)
Dennis LA, Fisher M, Lincoln NK, Lisitsa A & Veres SM (2011) Declarative abstractions for agent based hybrid control systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6619 LNAI (pp 96-111)
Bakar A & Veres S (2010) Direct Policy Search Method in Fault Tolerant Autonomous Systems. IFAC Workshop ALCOSP 2010
Veres S (2010) Theoretical foundations of natural language programming and publishing for intelligent agents and robots. TAROS 2010, Towards Autonomous Robotic Systems Workshop. Plymouth, UK
Veres S (2010) Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space. Brain-Inspired Info. Technology SCI266 (pp 1-10)
Lincoln NK, Veres S, Dennis L, Fisher M & Lisitsa A (2010) An Agent Based Framework for Adaptive Control and Decision Making of Autonomous Vehicles. IFAC Workshop ALCOSP 2010
Dennis LA, Fisher M, Lincoln NK, Lisitsa A & Veres S (2010) Reducing Code Complexity in Hybrid Control Systems. i-SAIRAS 2010, The 10th International Symposium on Artificial Intelligence, Robotics and Automation . Sapporo, Japan, 29 August 2010 - 1 September 2010.
Bakar BA & Veres SM (2010) A multi-agent approach to integrated FDI & reconfiguration of autonomous systems. Proceedings of the 10th IASTED International Conference on Artificial Intelligence and Applications, AIA 2010 (pp 96-103)
Veres SM & Molnar L (2010) Documents for intelligent agents in English. Proceedings of the 10th IASTED International Conference on Artificial Intelligence and Applications, AIA 2010 (pp 287-296)
Li M, Liu L & Veres SM (2010) Aerodynamic parameter estimation of an unmanned aerial vehicle based on extended Kalman filter and its higher order approach. Proceedings - 2nd IEEE International Conference on Advanced Computer Control, ICACC 2010, Vol. 5 (pp 526-531)
Meng L, Li L & Veres SM (2010) Empirical aerodynamic modeling for robust control design of an oceanographic Uninhabited Aerial Vehicle. ICEIE 2010 - 2010 International Conference on Electronics and Information Engineering, Proceedings, Vol. 2
Molnar L & Veres SM (2009) Verification of autonomous underwater vehicles using formal logic. 2009 European Control Conference (ECC), 23 August 2009 - 26 August 2009.
Lincoln NK & Veres SM (2009) Discrete time sliding mode control for satellite clusters at Lagrange points. 2009 European Control Conference (ECC), 23 August 2009 - 26 August 2009.
Morice C & Veres S (2009) Geometric bounding techniques for underwater navigation. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 15(PART 1) (pp 1469-1474)
Molnar L & Veres SM (2009) System verification of autonomous underwater vehicles by model checking. OCEANS '09 IEEE Bremen: Balancing Technology with Future Needs
Morice C, Veres S & McPhail S (2009) Terrain referencing for autonomous navigation of underwater vehicles. OCEANS '09 IEEE Bremen: Balancing Technology with Future Needs
Luo J & Veres SM (2008) MIMO frequency domain iterative tuning for tracking control. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 17(1 PART 1)
Veres SM & Veres AG (2008) Learning and adaptation of skills in autonomous physical agents. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 17(1 PART 1)
Lincoln NK & Veres SM (2008) Six degree of freedom variable hierarchy sliding mode conrol in Halo orbits with potential function guidance. Proceedings of the IEEE Conference on Decision and Control (pp 1943-1949)
Luo J & Veres S (2008) Frequency domain iterative tuning for the Control of nonlinear vibrations. Proceedings of the IEEE Conference on Decision and Control (pp 3014-3019)
Luo J & Veres S (2007) Iterative feedback/feedfoward tuning control in the frequency domain for AVNC. 2007 European Control Conference (ECC), 2 July 2007 - 5 July 2007.
Veres S, Lincoln N & Gabriel S (2007) Testbed for satellite formation flying under ground conditions. 2007 European Control Conference (ECC), 2 July 2007 - 5 July 2007.
Veres SM (2007) Finding simple models for robust feedback control. 2007 European Control Conference (ECC), 2 July 2007 - 5 July 2007.
Veres SM & Fradkov AL (2007) Dear colleagues and guests, dear friends. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 9(PART 1) (pp 3)
Veres SM & Veres AG (2007) Adaptation and learning in an autonomous physical agent architecture. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 9(PART 1) (pp 256-262)
Luo J & Veres SM (2007) Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 9(PART 1) (pp 179-184)
Al-Korj A & Veres SM (2007) Model-based predictive adaptive delta modulation. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 9(PART 1) (pp 435-440)
Veres SM, Lincoln NK & Gabriel SB (2007) Testbed for satellite formation flying control system verification. Collection of Technical Papers - 2007 AIAA InfoTech at Aerospace Conference, Vol. 3 (pp 2382-2392)
Thanapalan KKT, Veres SM, Rogers E & Gabriel SB (2006) Fault Tolerant Controller Design to Ensure Operational Safety in Satellite Formation Flying. Proceedings of the 45th IEEE Conference on Decision and Control, 13 December 2006 - 15 December 2006.
Veres SM & Lincoln NK (2006) Vision assisted satellite formation control. Proceedings of the IEEE Conference on Decision and Control (pp 5712-5717)
Thanapalan KKT, Veres SM, Rogers E & Gabriel SB (2006) Fault tolerant controller design to ensure operational safety in satellite formation flying. Proceedings of the IEEE Conference on Decision and Control (pp 1562-1567)
Tan ACH, Meurers T, Veres SM, Aglietti G & Rogers E (2005) Robust control of microvibrations with experimental verification. Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science, Vol. 219(5) (pp 453-460)
Veres SM & Luo J (2005) Active structural acoustic control of machine enclosures. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 16 (pp 187-192)
Veres SM (2005) Allowed gain errors for iterative modelling and control design. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 16 (pp 43-48)
Veres SM (2005) The modular intelligent being: Review and a proposal. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 16 (pp 109-114)
Thanapalan KKT & Veres SM (2005) Agent based controller for satellite formation flying. Proceedings of the 2005 Intelligent Sensors, Sensor Networks and Information Processing Conference, Vol. 2005 (pp 385-389)
Veres SM (2004) Exploratory modelling for active vibration control. IFAC Proceedings Volumes, Vol. 37(12) (pp 321-326)
Veres SM & Luo J (2004) Formal verification of autonomous control agents. Proceedings of the IASTED International Conference on Intelligent Systems and Control (pp 140-144)
Veres SM & Luo J (2004) A class of BDI agent architectures for autonomous control. Proceedings of the IEEE Conference on Decision and Control, Vol. 5 (pp 4746-4751)
Furlong ME, Hearn GE, Veres SM & Rogers E (2003) Nonlinear system identification tools applied to the modelling of submarine dynamics. GUIDANCE AND CONTROL OF UNDERWATER VEHICLES 2003 (pp 49-54)
Tan ACH, Meurers T, Veres SM, Aglietti G & Rogers E (2003) Satellite vibration control using frequency selective feedback. Proceedings of the IEEE Conference on Decision and Control, Vol. 2 (pp 1693-1698)
Dawood TA, Shenoi RA, Veres SM, Sahin M & Gunning MJ (2003) Damage detection in a sandwich composite beam using wavelet transforms. Proceedings of SPIE - The International Society for Optical Engineering, Vol. 5049 (pp 706-717)
Meurers T, Tan ACH & Veres SM (2003) Multi-tonal feedback control with improved plant and frequency estimation. Proceedings of the American Control Conference, Vol. 6 (pp 4937-4942)
Veres SM (2003) Application of exploratory modelling to active headrest control. Proceedings of the IEEE Conference on Decision and Control, Vol. 4 (pp 3936-3941)
Meurers T, Veres SM, Aglietti G & Rogers E (2003) Frequency selective microvibration control for a single plate. Proceedings of the Tenth International Congress on Sound and Vibration (pp 179-186)
Tan ACH, Choudhury A, Ong YS & Veres SM (2002) Ultra low frequency estimation: A neglected apportion. ICONIP'02: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON NEURAL INFORMATION PROCESSING (pp 2195-2199)
Veres SM, Gabriel SB, Rogers E & Rokityanskii D (2002) Design for nonlinear control of constrained systems. NONLINEAR CONTROL SYSTEMS 2001, VOLS 1-3 (pp 571-576)
Veres SM, Ya Rokitianski D, Gabriel SB & Rogers E (2002) Ellipsoid methods for formation flying control of two nano-satellites. IEEE Conference on Control Applications - Proceedings, Vol. 1 (pp 298-303)
Meurers T & Veres SM (2002) Stability analysis of secondary path estimation during FSF-based feedback control. IEEE Conference on Control Applications - Proceedings, Vol. 1 (pp 483-488)
Al-Korj A & Veres SM (2002) Microwave super conductivity filter tuning by multi-stage-unfalsification- based robust adaptive scheme. Proceedings of the 7th International Conference on Control, Automation, Robotics and Vision, ICARCV 2002 (pp 681-686)
Veres S & Hjalmarsson H (2002) Tuning for robustness and performance using iterative feedback tuning. Proceedings of the IEEE Conference on Decision and Control, Vol. 4 (pp 4682-4687)
Hjalmarsson H & Veres S (2001) Robust loopshaping using iterative feedback tuning. 2001 European Control Conference (ECC), 4 September 2001 - 7 September 2001.
Veres SM, Baramov L, Tutty OR & Rogers E (2001) Iterative design for active control of fluid flow. 2001 European Control Conference (ECC), 4 September 2001 - 7 September 2001.
Veres SM, Gabriel SB, Rogers E & Mayne DQ (2001) Analysis of formation flying control of a pair of nano-satellites. Proceedings of the IEEE Conference on Decision and Control, Vol. 2 (pp 1095-1100)
Al-Korj A & Veres SM (2000) Iterative learning for robust control. IEE Colloquium (Digest)(69) (pp 37-41)
Veres SM (2000) Modelling for control by iterative unfalsification. IEE Colloquium (Digest)(44) (pp 13-21)
Xia H & Veres SM (1999) A new iterative control design scheme by active model falsification. 1999 European Control Conference (ECC), 31 August 1999 - 3 September 1999.
Veres SM (1999) Synergy of predictive control and identification. IEE Colloquium (Digest)(95) (pp 11-13)
Veres SM (1998) Dual predictive control for fault tolerant control. UKACC International Conference on Control (CONTROL '98)
Veres SM (1997) Worst-case weakly-dual adaptive control in the frequency domain. 1997 European Control Conference (ECC), 1 July 1997 - 7 July 1997.
Weiland S & Veres SM (1997) A behavioral approach to an adaptive control scheme. 1997 European Control Conference (ECC), 1 July 1997 - 7 July 1997.
Sokolov VF & Veres SM (1997) Adaptive robust steady-state tracking control. Proceedings of the 1997 American Control Conference (Cat. No.97CH36041), 6 June 1997 - 6 June 1997.
Weiland S & Veres SM (1997) A behavioral approach to an adaptive control scheme. ECC 1997 - European Control Conference (pp 3345-3350)
Veres SM (1997) Worst-case weakly-dual adaptive control in the frequency domain. ECC 1997 - European Control Conference (pp 3300-3305)
Veres SM (1996) Frequency domain adaptive control for active vibration and noise control problems. UKACC International Conference on Control. Control '96
Veres SM (1996) Using GBT for MATLAB, version 5.1, in identification and control. UKACC International Conference on Control. Control '96
Mitsis L & Veres SM (1996) Frequency domain self-tuning for vibration control. IEE Colloquium (Digest)(139)
Veres SM (1994) Weak-duality in worst-case adaptive control. Proceedings of the American Control Conference, Vol. 1 (pp 75-79)
Wall DS & Veres SM (1994) Computing reduced-order models in ℓ1-identification. IEE Colloquium (Digest)(105)
Graves CH & Veres SM (1994) Using MATLAB toolbox 'GBT' in identification and control. IEE Colloquium (Digest)(105)
Norton JP & Veres SM (1993) Outliers in bound-based state estimation and identification. Proceedings - IEEE International Symposium on Circuits and Systems, Vol. 1 (pp 790-793)
Veres SM (1992) Limited Complexity and Parallel Implementation of Polytope Updating. 1992 American Control Conference, 24 June 1992 - 26 June 1992.
Veres SM & Norton JP (1991) BOUND-BASED WORST-CASE PREDICTIVE CONTROLLER (pp 229-234)
Veres SM & Norton JP (1991) Adaptive pole-placement control using parameter bounds. Proceedings of the IEEE Conference on Decision and Control, Vol. 3 (pp 2860-2865)
Veres SM & Norton JP (1991) Adaptive control by parameter-bounding techniques. IEE Conference Publication, Vol. 2(332) (pp 1095-1100)
Keviczky L, Bokor J, Veres S & Nagy I (1989) Application of AR and ARMA model identification methods in spectral analysis of nuclear reactor noise processes. IFAC Proceedings Series, Vol. 2(8) (pp 657-662)
Veres S (1985) ASYMPTOTIC DISTRIBUTION OF A STRUCTURAL VALIDATION STATISTIC.. IFAC Proceedings Series(7) (pp 1817-1822)
Keviczky L, Bokor J & Veres S (1985) STRONG CONSISTENCY OF ML ESTIMATORS USING PARTIAL FRACTION AND ELEMENTARY SUBSYSTEM REPRESENTATION OF MULTIVARIABLE SYSTEMS.. IFAC Proceedings Series (pp 609-614)
Smyrnakis M, Qu HY & Veres S () A Verification Framework for Fictitious Play Based Learning Algorithms. USES Conference Proceedings
Dennis LA, Fisher M, Lincoln N, Lisitsa A & Veres SM () Agent Based Approaches to Engineering Autonomous Space Software. Electronic Proceedings in Theoretical Computer Science, Vol. 20 (pp 63-67)
Meurers T & Veres SM () Stability analysis of secondary path estimation during FSF-based feedback control. Proceedings of the International Conference on Control Applications
Veres SM, Rokitianski DY, Gabriel SB & Rogers E () Ellipsoid methods for formation flying control of two nano-satellites. Proceedings of the International Conference on Control Applications
Ghosh A, Veres S, Alonso Paredes Soto D & Rossiter J () Human Robot Interaction for Future Remote Manipulations in Industry 4.0*. IFAC papers online, 12 July 2020 - 17 July 2020. View this article in WRRO

Software / Code

Jasim OA & Veres S Formal proof of the small-gain theorem by interactive theorem proving.

Working papers

Qu H, Smyrnakis M & Veres SM () SMCL - Stochastic Model Checker for Learning in Games. View this article in WRRO

Grants

Key: (P)=Principal Investigator, (C)=Co-Investigator

No.	Title	EPSRC Contribution
EP/L024942/1	Verifiable Autonomy (P)	1.41m (joint project with Liverpool and Bristol)
EP/J011843/2	Reconfigurable Autonomy (P Sheffield)	1.31m (Liverpool-Surrey joint project)
EP/J011894/2	Distributed Sensing, Control and Decision Making in Multiagent autonomous Systems (P)	1.23m (joint project with Southampton)
EP/F037570/1	Engineering Autonomous Space Software (P)	421k
EP/E02677X/1	Methods of Reliability Control for Autonomous Underwater Vehicles (P)	307k
EP/C517458/1	Equipment For Satellite Formation Flying Control System Verification (P)	80k
GR/S25081/01	Constrained Control Methods for Autonomous Formation Flying Systems (P)	158k
GR/N32297/01	Robust Frequency Selective Adaptive Control of Enclosure Vibration (P)	179k
GR/J10846/01	Robust Adaptive Control by Parameter Bounding Techniques (P)	53k
GR/H77200/01	Performance Analysis and Algrorithm Development for Parameter and State Bounding (C)	100k