Zobrazeno 1 - 10
of 101
pro vyhledávání: '"Veres, Sándor"'
Autor:
Shi, Chenjie, Veres, Sandor M
This paper proposes an initial theory for robotic systems that can be fully self-maintaining. The new design principles focus on functional survival of the robots over long periods of time without human maintenance. Self-maintaining semi-autonomous m
Externí odkaz:
http://arxiv.org/abs/2110.05882
Autor:
Jasim, Omar A., Veres, Sandor M.
A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework's aim is to set out a procedure for proving that the mathematically designed control system of the aircraft satisfies robustness re
Externí odkaz:
http://arxiv.org/abs/2006.10860
Publikováno v:
In Robotics and Autonomous Systems December 2023 170
Autor:
Smyrnakis, Michalis, Veres, Sandor M.
Publikováno v:
Engineering Applications of Artificial Intelligence, Volume 56, November 2016, Pages 14-29
A game theoretic distributed decision making approach is presented for the problem of control effort allocation in a robotic team based on a novel variant of fictitious play. The proposed learning process allows the robots to accomplish their objecti
Externí odkaz:
http://arxiv.org/abs/1611.05638
A new agent architecture called Limited Instruction Set Agent (LISA) is introduced for autonomous control. The new architecture is based on previous implementations of AgentSpeak and it is structurally simpler than its predecessors with the aim of fa
Externí odkaz:
http://arxiv.org/abs/1611.03372
Publikováno v:
TAROS Conference, Volume 9716 of the series Lecture Notes in Computer Science pp 146-157, 2016
This paper addresses the problem of improving response times of robots implemented in the Robotic Operating System (ROS) using formal verification of computational-time feasibility. In order to verify the real time behaviour of a robot under uncertai
Externí odkaz:
http://arxiv.org/abs/1611.03355
Autor:
Qu, Hongyang, Veres, Sandor M.
Publikováno v:
Robotics and Autonomous Systems, Vol. 83(2016), 44-56
Most autonomous robotic agents use logic inference to keep themselves to safe and permitted behaviour. Given a set of rules, it is important that the robot is able to establish the consistency between its rules, its perception-based beliefs, its plan
Externí odkaz:
http://arxiv.org/abs/1611.03322
A stochastic model checker is presented for analysing the performance of game-theoretic learning algorithms. The method enables the comparison of short-term behaviour of learning algorithms intended for practical use. The procedure of comparison is a
Externí odkaz:
http://arxiv.org/abs/1611.07420
This paper introduces a simulation study of fluid actuated multi-driven closed system as spherical mobile robot called "RollRoller". Robot's mechanism design consists of two essential parts: tubes to lead a core and mechanical controlling parts to co
Externí odkaz:
http://arxiv.org/abs/1610.06218
If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V&V) approaches must be developed that are suitable for this domain. Model checking is a formal technique which al
Externí odkaz:
http://arxiv.org/abs/1609.00177