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
+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
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
- Reliable robot localization: A constraint-programming approach over dynamical systems.
- Reliable Robor Localization. Great Britain: ISTE and John Wiley and Sons, Inc.. View this article in WRRO
Journal articles
- A robust controller for multi rotor UAVs. Aerospace Science and Technology. View this article in WRRO
- Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms. International Journal on Artificial Intelligence Tools, 27(7).
- Reliable non-linear state estimation involving time uncertainties. Automatica, 93, 379-388. View this article in WRRO
- 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
- Autonomous Nuclear Waste Management. IEEE Intelligent Systems. View this article in WRRO
- Formal verification of autonomous vehicle platooning. Science of Computer Programming, 148, 88-106. View this article in WRRO
- Guaranteed computation of robot trajectories. Robotics and Autonomous Systems, 93, 76-84. View this article in WRRO
- Predictive control of intersegmental tarsal movements in an insect. Journal of Computational Neuroscience. View this article in WRRO
- Distributed selection of flight formation in UAV missions. Journal of Applied Mathematics & Bioinformatics, 6(3), 93-124. View this article in WRRO
- 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.
- Practical verification of decision-making in agent-based autonomous systems. Automated Software Engineering, 23(3), 305-359. View this article in WRRO
- Fictitious play for cooperative action selection in robot teams. Engineering Applications of Artificial Intelligence, 56, 14-29. View this article in WRRO
- Verification of logical consistency in robotic reasoning. Robotics and Autonomous Systems, 83, 44-56. View this article in WRRO
- Improved system identification using artificial neural networks and analysis of individual differences in responses of an identified neuron. Neural Networks, 75, 56-65.
- Testing, Verification and Improvements of Timeliness in ROS processes.. CoRR, abs/1611.03355.
- 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
- Reconfigurable Autonomy. KI - Künstliche Intelligenz, 28(3), 199-207. View this article in WRRO
- Autonomous Asteroid Exploration by Rational Agents. IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE, 8(4), 25-38.
- The frame alignment problem in formations of multi-agent systems?. IFAC Proceedings Volumes (IFAC-PapersOnline), 8(PART 1), 262-267.
- 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.
- Natural Language Programming of Complex Robotic BDI Agents. Journal of Intelligent and Robotic Systems: Theory and Applications, 1-20.
- 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.
- Robustness assessment for flight control system of an oceanographic unmanned aerial vehicle. Journal of Beijing Institute of Technology (English Edition), 20(2), 158-167.
- Bounding methods for state and parameter estimation. International Journal of Adaptive Control and Signal Processing, 25(3), 189-190.
- 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.
- 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.
- 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.
- Application of discrete time sliding mode control to a spacecraft in 6DoF with parameter identification. International Journal of Control, 83(11), 2217-2231.
- Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. Automatica, 46(4), 735-742.
- Satellite control using rational agent programming. IEEE Intelligent Systems, 25(3), 92-97.
- MIMO Frequency Domain Iterative Tuning for Tracking Control. IFAC Proceedings Volumes, 41(2), 15463-15468.
- Learning and Adaptation of Skills in Autonomous Physical Agents. IFAC Proceedings Volumes, 41(2), 15457-15462.
- Editorial. International Journal of Adaptive Control and Signal Processing, 21(2-3), 93-94.
- 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.
- 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.
- 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.
- Application of ellipsoidal estimation to satellite control design. Mathematical and Computer Modelling of Dynamical Systems, 11(2), 239-249.
- 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.
- Special Issue on Adaptive Control of Sound and Vibration. INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING, 19(2-3), 63-65.
- Universal adaptive control of satellite formation flying. International Journal of Control, 78(1), 45-52.
- 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.
- Universal adaptive output tracking of double integrators. IFAC Proceedings Volumes, 37(12), 579-584.
- Iterative design for active control of fluid flow. International Journal of Control, 76(14), 1375-1386.
- Exploratory modelling for controller optimization. IFAC Proceedings Volumes, 36(16), 15-20.
- Model-free frequency domain iterative active sound and vibration control. Control Engineering Practice, 11(9), 1049-1059.
- Analysis of formation flying control of a pair of nanosatellites. Journal of Guidance, Control, and Dynamics, 25(5), 971-975.
- Frequency Selective Feedback for Active Noise Control. IEEE Control Systems, 22(4), 32-41.
- Error control in polytope computations. Journal of Optimization Theory and Applications, 113(2), 325-355.
- Convergent iterative model unfalsification for control. Proceedings of the IEEE Conference on Decision and Control, 4, 4221-4226.
- Adaptive harmonic control. International Journal of Control, 74(12), 1219-1225.
- Convergence of control performance by unfalsification of models - Levels of confidence. International Journal of Adaptive Control and Signal Processing, 15(5), 471-502.
- Worst-case dual control: Basic results. International Journal of Control, 73(18), 1621-1646.
- Self-tuning control by model unfalsification (Part II). International Journal of Control, 73(17), 1560-1571.
- Self-tuning control by model unfalsification (Part I). International Journal of Control, 73(17), 1548-1559.
- beta-adrenoceptor modulation and heart rate variability - The value of scatterplot measures of compactness. CARDIOVASCULAR DRUGS AND THERAPY, 14(4), 433-440.
- Frequency selective dual control for periodic disturbance cancellation. International Journal of Robust and Nonlinear Control, 10(9), 709-727.
- Self-Tuning Control by Model Unfalsification. IFAC Proceedings Volumes, 33(15), 893-898.
- Iterative design for vibration attenuation. Shock and Vibration Digest, 32(1), 66.
- Limited-complexity model-unfalsifying adaptive tracking-control. International Journal of Control, 72(15), 1417-1426.
- Iterative identification and control redesign via unfalsified sets of models: A basic scheme. International Journal of Control, 72(10), 887-903.
- Intelligent adaptive active control of noise and vibration. IFAC Proceedings Volumes, 32(2), 8740-8745.
- Improved efficiency of adaptive robust control by model unfalsification. Automatica, 35(5), 981-986.
- Adaptive Robust Control under Unknown Plant Orders. Automatica, 34(6), 723-730.
- Laguerre filter reduced-order l1 identification. International Journal of Control, 68(4), 867-886.
- A new adaptive multi-channel technique for vibration control: Frequency domain adaptive control. IEE Colloquium (Digest)(385).
- Identification by parameter bounds in adaptive control. International Journal of Adaptive Control and Signal Processing, 9(1), 33-46.
- Predictive self-tuning control by parameter bounding and worst-case design. Automatica, 29(4), 911-928.
- Comparison of methods for solving sets of linear inequalities in the bounded-error context. Mathematics and Computers in Simulation, 34(6), 515-524.
- A robust procedure for trend and model estimation during fermentation. Process Biochemistry, 26(5), 269-273.
- Structure selection for bounded-parameter models: consistency conditions and selection criterion. IEEE Transactions on Automatic Control, 36(4), 474-481.
- 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.
- 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.
- Relations between information criteria for model-structure selection Part 2. Modelling by shortest data description. International Journal of Control, 52(2), 409-421.
- Structure identification of parameter-bounding models by use of noise-structure bounds. International Journal of Control, 50(2), 639-649.
- Signal effect analysis for noise diagnostics of a nuclear power plant. Progress in Nuclear Energy, 21, 735-742.
- ASYMPTOTIC DISTRIBUTION OF MAXIMUM LIKELIHOOD ESTIMATORS FOR NONSTATIONARY AUTOREGRESSIVE PROCESSES.. Problems of control and information theory, 17(1), 63-70.
- Experiences of reactor noise diagnostics applying parametric spectral analysis methods. Progress in Nuclear Energy, 21, 725-733.
- An expert system approach to the development of noise diagnostic system in NPP paks. Progress in Nuclear Energy, 21, 223-227.
- ASYMPTOTIC DISTRIBUTIONS OF LIKELIHOOD RATIOS FOR OVERPARAMETRIZED ARMA PROCESSES. Journal of Time Series Analysis, 8(3), 345-357.
- Developments in parameter bounding, 137-158.
- Natural language programming for publishing and programming of intelligent agents. IEEE Transactions on Systems, Man and Cybernetics Part A: Systems and Humans(5).
- Collision Avoidance of Two Autonomous Quadcopters. View this article in WRRO
- Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. Journal of Sensor and Actuator Networks, 10(3), 42-42.
Conference proceedings papers
- 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)
- 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.
- 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
- 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.
- 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
- 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.
- 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.
- 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
- Computational Framework for Verifiable Decisions of Self-Driving Vehicles. 2018 IEEE Conference on Control Technology and Applications (CCTA), 21 August 2018 - 24 August 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
- 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.
- 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
- Towards artificial situation awareness by autonomous vehicles. IFAC-PapersOnLine, Vol. 50(1) (pp 7038-7043) View this article in WRRO
- 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
- A stochastically verifiable autonomous control architecture with reasoning. 2016 IEEE 55th Conference on Decision and Control (CDC), 12 December 2016 - 14 December 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
- Learning of cooperative behaviour in robot populations. 2016 European Control Conference (ECC), 29 June 2016 - 1 July 2016.
- On the complexity of formal verification of small and micro UAS. Proceedings of the European Control Conference 2016 View this article in WRRO
- Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice (pp 75-86) View this article in WRRO
- 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
- Testing, Verification and Improvements of Timeliness in ROS Processes (pp 146-157) View this article in WRRO
- Autonomous Agent Behaviour Modelled in PRISM – A Case Study (pp 104-110)
- Towards formal verification of small and micro UAS. 2016 European Control Conference (ECC), 29 June 2016 - 1 July 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
- Intelligent planning with performance assessment for Autonomous Surface Vehicles. OCEANS 2015 - Genova, 18 May 2015 - 21 May 2015.
- Onboard System Identification for Improved Flight Control of UAS. IFAC-PapersOnLine, Vol. 48(14) (pp 368-375)
- Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming (pp 216-228) View this article in WRRO
- 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)
- A rational agent framework for adaptive flight control of UAVs. 2015 International Conference on Unmanned Aircraft Systems (ICUAS), 9 June 2015 - 12 June 2015.
- On efficient consistency checks by robots. 2014 European Control Conference (ECC), 24 June 2014 - 27 June 2014.
- Discrete time sliding mode control for satellite clusters at Lagrange points. 2009 European Control Conference, ECC 2009 (pp 1395-1401)
- Verification of autonomous underwater vehicles using formal logic. 2009 European Control Conference, ECC 2009 (pp 1263-1268)
- Formulating Robot Pursuit-Evasion Strategies by Model Checking. IFAC Proceedings Volumes, Vol. 47(3) (pp 3048-3055)
- Coordination of control in robot teams using game-theoretic learning. IFAC Proceedings Volumes, Vol. 47(3) (pp 1194-1202)
- Adaptation of System Configuration under the Robot Operating System. IFAC Proceedings Volumes, Vol. 47(3) (pp 4484-4492), 24 August 2014 - 29 August 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.
- Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle. 22nd International Joint Conference on Artificial Intelligence. Barcelona, Spain
- A natural language programming solution for executable papers. Procedia Computer Science, Vol. 4 (pp 678-687)
- Decision methods for non-tethered deep space interferometry. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 44(1 PART 1) (pp 60-65)
- Hybrid automata dicretising agents for formal modelling of robots. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 44(1 PART 1) (pp 49-54)
- 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)
- Direct Policy Search Method in Fault Tolerant Autonomous Systems. IFAC Workshop ALCOSP 2010
- Theoretical foundations of natural language programming and publishing for intelligent agents and robots. TAROS 2010, Towards Autonomous Robotic Systems Workshop. Plymouth, UK
- Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space. Brain-Inspired Info. Technology SCI266 (pp 1-10)
- An Agent Based Framework for Adaptive Control and Decision Making of Autonomous Vehicles. IFAC Workshop ALCOSP 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.
- 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)
- Documents for intelligent agents in English. Proceedings of the 10th IASTED International Conference on Artificial Intelligence and Applications, AIA 2010 (pp 287-296)
- 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)
- 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
- Verification of autonomous underwater vehicles using formal logic. 2009 European Control Conference (ECC), 23 August 2009 - 26 August 2009.
- Discrete time sliding mode control for satellite clusters at Lagrange points. 2009 European Control Conference (ECC), 23 August 2009 - 26 August 2009.
- Geometric bounding techniques for underwater navigation. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 15(PART 1) (pp 1469-1474)
- System verification of autonomous underwater vehicles by model checking. OCEANS '09 IEEE Bremen: Balancing Technology with Future Needs
- Terrain referencing for autonomous navigation of underwater vehicles. OCEANS '09 IEEE Bremen: Balancing Technology with Future Needs
- MIMO frequency domain iterative tuning for tracking control. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 17(1 PART 1)
- Learning and adaptation of skills in autonomous physical agents. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 17(1 PART 1)
- 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)
- Frequency domain iterative tuning for the Control of nonlinear vibrations. Proceedings of the IEEE Conference on Decision and Control (pp 3014-3019)
- Iterative feedback/feedfoward tuning control in the frequency domain for AVNC. 2007 European Control Conference (ECC), 2 July 2007 - 5 July 2007.
- Testbed for satellite formation flying under ground conditions. 2007 European Control Conference (ECC), 2 July 2007 - 5 July 2007.
- Finding simple models for robust feedback control. 2007 European Control Conference (ECC), 2 July 2007 - 5 July 2007.
- Dear colleagues and guests, dear friends. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 9(PART 1) (pp 3)
- Adaptation and learning in an autonomous physical agent architecture. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 9(PART 1) (pp 256-262)
- Frequency domain iterative feedforward/feedback tuning for MIMO ANVC. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 9(PART 1) (pp 179-184)
- Model-based predictive adaptive delta modulation. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 9(PART 1) (pp 435-440)
- Testbed for satellite formation flying control system verification. Collection of Technical Papers - 2007 AIAA InfoTech at Aerospace Conference, Vol. 3 (pp 2382-2392)
- 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.
- Vision assisted satellite formation control. Proceedings of the IEEE Conference on Decision and Control (pp 5712-5717)
- Fault tolerant controller design to ensure operational safety in satellite formation flying. Proceedings of the IEEE Conference on Decision and Control (pp 1562-1567)
- 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)
- Active structural acoustic control of machine enclosures. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 16 (pp 187-192)
- Allowed gain errors for iterative modelling and control design. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 16 (pp 43-48)
- The modular intelligent being: Review and a proposal. IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 16 (pp 109-114)
- Agent based controller for satellite formation flying. Proceedings of the 2005 Intelligent Sensors, Sensor Networks and Information Processing Conference, Vol. 2005 (pp 385-389)
- Exploratory modelling for active vibration control. IFAC Proceedings Volumes, Vol. 37(12) (pp 321-326)
- Formal verification of autonomous control agents. Proceedings of the IASTED International Conference on Intelligent Systems and Control (pp 140-144)
- A class of BDI agent architectures for autonomous control. Proceedings of the IEEE Conference on Decision and Control, Vol. 5 (pp 4746-4751)
- Nonlinear system identification tools applied to the modelling of submarine dynamics. GUIDANCE AND CONTROL OF UNDERWATER VEHICLES 2003 (pp 49-54)
- Satellite vibration control using frequency selective feedback. Proceedings of the IEEE Conference on Decision and Control, Vol. 2 (pp 1693-1698)
- Damage detection in a sandwich composite beam using wavelet transforms. Proceedings of SPIE - The International Society for Optical Engineering, Vol. 5049 (pp 706-717)
- Multi-tonal feedback control with improved plant and frequency estimation. Proceedings of the American Control Conference, Vol. 6 (pp 4937-4942)
- Application of exploratory modelling to active headrest control. Proceedings of the IEEE Conference on Decision and Control, Vol. 4 (pp 3936-3941)
- Frequency selective microvibration control for a single plate. Proceedings of the Tenth International Congress on Sound and Vibration (pp 179-186)
- Ultra low frequency estimation: A neglected apportion. ICONIP'02: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON NEURAL INFORMATION PROCESSING (pp 2195-2199)
- Design for nonlinear control of constrained systems. NONLINEAR CONTROL SYSTEMS 2001, VOLS 1-3 (pp 571-576)
- Ellipsoid methods for formation flying control of two nano-satellites. IEEE Conference on Control Applications - Proceedings, Vol. 1 (pp 298-303)
- Stability analysis of secondary path estimation during FSF-based feedback control. IEEE Conference on Control Applications - Proceedings, Vol. 1 (pp 483-488)
- 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)
- Tuning for robustness and performance using iterative feedback tuning. Proceedings of the IEEE Conference on Decision and Control, Vol. 4 (pp 4682-4687)
- Robust loopshaping using iterative feedback tuning. 2001 European Control Conference (ECC), 4 September 2001 - 7 September 2001.
- Iterative design for active control of fluid flow. 2001 European Control Conference (ECC), 4 September 2001 - 7 September 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)
- Iterative learning for robust control. IEE Colloquium (Digest)(69) (pp 37-41)
- Modelling for control by iterative unfalsification. IEE Colloquium (Digest)(44) (pp 13-21)
- A new iterative control design scheme by active model falsification. 1999 European Control Conference (ECC), 31 August 1999 - 3 September 1999.
- Synergy of predictive control and identification. IEE Colloquium (Digest)(95) (pp 11-13)
- Dual predictive control for fault tolerant control. UKACC International Conference on Control (CONTROL '98)
- Worst-case weakly-dual adaptive control in the frequency domain. 1997 European Control Conference (ECC), 1 July 1997 - 7 July 1997.
- A behavioral approach to an adaptive control scheme. 1997 European Control Conference (ECC), 1 July 1997 - 7 July 1997.
- Adaptive robust steady-state tracking control. Proceedings of the 1997 American Control Conference (Cat. No.97CH36041), 6 June 1997 - 6 June 1997.
- A behavioral approach to an adaptive control scheme. ECC 1997 - European Control Conference (pp 3345-3350)
- Worst-case weakly-dual adaptive control in the frequency domain. ECC 1997 - European Control Conference (pp 3300-3305)
- Frequency domain adaptive control for active vibration and noise control problems. UKACC International Conference on Control. Control '96
- Using GBT for MATLAB, version 5.1, in identification and control. UKACC International Conference on Control. Control '96
- Frequency domain self-tuning for vibration control. IEE Colloquium (Digest)(139)
- Weak-duality in worst-case adaptive control. Proceedings of the American Control Conference, Vol. 1 (pp 75-79)
- Computing reduced-order models in ℓ
1 -identification. IEE Colloquium (Digest)(105)
- Using MATLAB toolbox 'GBT' in identification and control. IEE Colloquium (Digest)(105)
- Outliers in bound-based state estimation and identification. Proceedings - IEEE International Symposium on Circuits and Systems, Vol. 1 (pp 790-793)
- Limited Complexity and Parallel Implementation of Polytope Updating. 1992 American Control Conference, 24 June 1992 - 26 June 1992.
- BOUND-BASED WORST-CASE PREDICTIVE CONTROLLER (pp 229-234)
- Adaptive pole-placement control using parameter bounds. Proceedings of the IEEE Conference on Decision and Control, Vol. 3 (pp 2860-2865)
- Adaptive control by parameter-bounding techniques. IEE Conference Publication, Vol. 2(332) (pp 1095-1100)
- 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)
- ASYMPTOTIC DISTRIBUTION OF A STRUCTURAL VALIDATION STATISTIC.. IFAC Proceedings Series(7) (pp 1817-1822)
- STRONG CONSISTENCY OF ML ESTIMATORS USING PARTIAL FRACTION AND ELEMENTARY SUBSYSTEM REPRESENTATION OF MULTIVARIABLE SYSTEMS.. IFAC Proceedings Series (pp 609-614)
- A Verification Framework for Fictitious Play Based Learning Algorithms. USES Conference Proceedings
- Agent Based Approaches to Engineering Autonomous Space Software. Electronic Proceedings in Theoretical Computer Science, Vol. 20 (pp 63-67)
- Stability analysis of secondary path estimation during FSF-based feedback control. Proceedings of the International Conference on Control Applications
- Ellipsoid methods for formation flying control of two nano-satellites. Proceedings of the International Conference on Control Applications
- 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
Working papers
- SMCL - Stochastic Model Checker for Learning in Games. View this article in WRRO
- Reliable robot localization: A constraint-programming approach over dynamical systems.
- 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