Veres, Sandor - School of Engineering Sciences, University of Southampton

Advanced Search

Veres, Sandor - School of Engineering Sciences, University of Southampton

A CLASS OF BDI AGENT ARCHITECTURES FOR AUTONOMOUS CONTROL
A. Hanazawa et al. (Eds.): Brain-Inspired Info. Technology, SCI 266, pp. 110. springerlink.com Springer-Verlag Berlin Heidelberg 2010
Abstract--Formal systems verification of autonomous underwater vehicles (AUV) is addressed in this paper.
System Verification of Autonomous Underwater Vehicles by Model Checking
Terrain Referencing for Autonomous Navigation of Underwater Vehicles
INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING Int. J. Adapt. Control Signal Process. 2006; 01:16 Prepared using acsauth.cls [Version: 2002/11/11 v1.00]
2 1541-1672/10/$26.00 2010 IEEE Ieee InTeLLIGenT SySTemS Published by the IEEE Computer Society
Geometric Bounding Techniques for Underwater Localisation Using Range-Only Colin Morice, Sandor Veres (s.m.veres@soton.ac.uk)
Aerodynamic Parameter Estimation of an Unmanned Aerial Vehicle Based on Extended Kalman Filter and Its Higher Order Approach
DOCUMENTS FOR INTELLIGENT AGENTS IN ENGLISH Sandor M Veres and Levente Molnar
Direct Policy Search Method in Fault Tolerant Autonomous Systems
Rational Physical Agent Reasoning Beyond Logic
Fault Tolerant Controller Design to Ensure Operational Safety in Satellite Formation Flying
American Institute of Aeronautics and Astronautics Testbed for Satellite Formation Flying Control System
Learning and Adaptation of Skills in Autonomous Physical Agents
OCTOBER 2010 IEEE CONTROL SYSTEMS MAGAZINE 35 technology might have been detri-
An Agent Based Framework for Adaptive Control and Decision Making of Autonomous Vehicles
January 6, 2010 17:27 International Journal of Control PracticalSMC International Journal of Control
Simulation Tools for Formation Flying Spacecraft
Vision Assisted Satellite Formation Control S. M. Veres and N. K. Lincoln
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
Geometric Bounding Techniques for Underwater Navigation
A MULTI-AGENT APPROACH TO INTEGRATED FDI & RECONFIGURATION OF AUTONOMOUS SYSTEMS
FORMAL VERIFICATION OF AUTONOMOUS CONTROL AGENTS
Reducing Code Complexity in Hybrid Control Systems Louise. A. Dennis*, Michael Fisher*, Nicholas K. Lincoln**, Alexei Lisitsa*, Sandor M. Veres**
Formally verifiable vehicle agents that can read journal papers in PDF
Agent Control of Cooperating Satellites N.K.Lincoln, S.M.Veres
Hybrid Automata Dicretising Agents for Formal Modelling of Robots
Available online at www.sciencedirect.com 18770509 2011 Published by Elsevier Ltd. Selection and/or peer-review
Verifying fault tolerance and self-diagnosability of an autonomous underwater Jonathan Ezekiel and Alessio Lomuscio
Decision Methods for Non-Tethered Deep Space Interferometry
http://pii.sagepub.com/ Control Engineering