A systematic review is provided on artificial agent methodologies applicable to control engineering of autonomous vehicles and robots. The paper focuses on some fundamentals that make a machine autonomous: decision making that involves modelling the environment and forming data abstractions for symbolic processing and logic-based reasoning. Most relevant capabilities such as navigation, autonomous path planning, path following control, and communications, that directly affect decision making, are treated as basic skills of agents. Although many autonomous vehicles have been engineered in the past without using the agentoriented approach, most decision making onboard of vehicles is similar to or can be classified as some kind of agent architecture, even if in a naïve form. First the ANSI standard of intelligent systems is recalled then a summary of the fundamental types of possible agent architectures for autonomous vehicles are presented, starting from reactive, through layered, to advanced architectures in terms of beliefs, goals, and intentions. The review identifies some missing links between computer science results on discrete agents and engineering results of continuous world sensing, actuation, and path planning. In this context design tools for 'abstractions programming' are identified as needed to fill in the gap between logic-based reasoning and sensing. Finally, research is reviewed on autonomous vehicles in water, on the ground, in the air, and in space with comments on their methods of decision making. One of the main conclusions of this review is that standardization of decision making through agent architectures is desirable for the future of intelligent vehicle developments and their legal certification.

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex logical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this development. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a separate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems.

Abstract. Modern control systems are limited in their ability to react flexibly and autonomously to changing situations by the complexity inherent in analysing environments where many variables are present. We aim to use an agent approach to help alleviate this problem and are particularly interested in the control of satellite systems using BDI agent programming as pioneered by the PRS. Such systems need to generate discrete abstractions from continuous data and then use these abstractions in rational decision making. This paper provides an architecture and interaction semantics for an abstraction engine to interact with a hybrid BDI-based control system.

No abstract

No abstract