Abstract— This paper focuses on the dribbling control problem of an omnidirectional mobile robot and a rolling ball in the RoboCup Middle Size domain. Because the ball easily sli...
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Abstract--Proper admission control in cognitive radio networks is critical in providing QoS guarantees to secondary unlicensed users. In this paper, we study the admission control ...
In this Chapter we present the modification of a Differential Evolution algorithm to solve constrained optimization problems. The changes include a deterministic and a self-adapti...