publication . Article . 2016

Design Methodology for Self-organized Mobile Networks Based

rahul kala;
Open Access English
  • Published: 01 Jun 2016 Journal: International Journal of Interactive Multimedia and Artificial Intelligence (issn: 1989-1660, eissn: 1989-1660, Copyright policy)
  • Publisher: Universidad Internacional de La Rioja (UNIR)
In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments. The desired task specification may consist of complex behaviors of the robot, including specifications for environment constraints, need of task optimality, obstacle avoidance, rescue specifications, surveillance specifications, safety specifications, etc. We use Linear Temporal Logic to give a representation for such complex task specification and constraints. The specifications are used by a verification engine to judge the feasibility and s...
free text keywords: Linear features, Planning, Robotics, Temporal Logic, Technology, T, Algorithms, Clustering, Text Classification, Computer science, Data mining, computer.software_genre, computer, Artificial intelligence, business.industry, business, Design research, Design methods, Machine learning, Biclustering, Multipath routing, Heuristics, Cluster analysis, Routing algorithm, Text mining, The Internet, Knowledge extraction, k-means clustering, Preprocessor, RSS, computer.file_format, Execution time
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue