66,710 research outputs found
Dynamic Behavior Sequencing in a Hybrid Robot Architecture
Hybrid robot control architectures separate plans, coordination, and actions into separate processing layers to provide deliberative and reactive functionality. This approach promotes more complex systems that perform well in goal-oriented and dynamic environments. In various architectures, the connections and contents of the functional layers are tightly coupled so system updates and changes require major changes throughout the system. This work proposes an abstract behavior representation, a dynamic behavior hierarchy generation algorithm, and an architecture design to reduce this major change incorporation process. The behavior representation provides an abstract interface for loose coupling of behavior planning and execution components. The hierarchy generation algorithm utilizes the interface allowing dynamic sequencing of behaviors based on behavior descriptions and system objectives without knowledge of the low-level implementation or the high-level goals the behaviors achieve. This is accomplished within the proposed architecture design, which is based on the Three Layer Architecture (TLA) paradigm. The design provides functional decomposition of system components with respect to levels of abstraction and temporal complexity. The layers and components within this architecture are independent of surrounding components and are coupled only by the linking mechanisms that the individual components and layers allow. The experiments in this thesis demonstrate that the: 1) behavior representation provides an interface for describing a behavior’s functionality without restricting or dictating its actual implementation; 2) hierarchy generation algorithm utilizes the representation interface for accomplishing high-level tasks through dynamic behavior sequencing; 3) representation, control logic, and architecture design create a loose coupling, but defined link, between the planning and behavior execution layer of the hybrid architecture, which creates a system-of-systems implementation that requires minimal reprogramming for system modifications
Architecture for Reasoning in Hybrid Discrete-Continuous Domains
Hybrid domains are those featuring a mix of discrete and continuous variables. Recent research has resulted in sophisticated general purpose languages for modeling hybrid domains such as PDDL+ and H as well as efficient planning algorithms based on translation to logical formalisms. However, other reasoning tasks, such as execution monitoring and diagnosis, have not received as much attention. In this thesis, we address this shortcoming and propose execution monitoring and diagnostic reasoning algorithms based on action language H together with an agent architecture that combines planning, diagnostics, and execution monitoring for hybrid domains. The algorithms are based on an expanded translation of action language H to Constraint Answer Set Programming (CASP), which we developed for this project. We demonstrate our approach on two simple, but non-trivial scenarios including one that we tested on an actual robot.M.S.S.E., Software Engineering -- Drexel University, 201
Constrained Navigation with Mandatory Waypoints in Uncertain Environment
Also available online at http://www.ijisce.org/admin/upload/946980IJISCE-Constrained%20Navigation%20with%20Mandatory%20Waypoints%20in%20Uncertain%20Environment.pdfInternational audienceThis paper presents a hybrid solving method for vehicle path planning problems. As part of the vehicle system architecture (vetronic), planning is dynamic and has to be activated on-line, which requires response times to be compatible with mission execution. The proposed approach combines constraint solving techniques with an Ant Colony Optimization (ACO). The hybridization relies on a static probing technique which builds up a search strategy using a distance information between problem variables and a heuristic solution. Various forms of this approach are compared and evaluated on real world scenarios. Preliminary results exhibit response times close to vehicle control requirements, on realistic problem instances
Modeling the Internet of Things: a simulation perspective
This paper deals with the problem of properly simulating the Internet of
Things (IoT). Simulating an IoT allows evaluating strategies that can be
employed to deploy smart services over different kinds of territories. However,
the heterogeneity of scenarios seriously complicates this task. This imposes
the use of sophisticated modeling and simulation techniques. We discuss novel
approaches for the provision of scalable simulation scenarios, that enable the
real-time execution of massively populated IoT environments. Attention is given
to novel hybrid and multi-level simulation techniques that, when combined with
agent-based, adaptive Parallel and Distributed Simulation (PADS) approaches,
can provide means to perform highly detailed simulations on demand. To support
this claim, we detail a use case concerned with the simulation of vehicular
transportation systems.Comment: Proceedings of the IEEE 2017 International Conference on High
Performance Computing and Simulation (HPCS 2017
Distributed Hybrid Simulation of the Internet of Things and Smart Territories
This paper deals with the use of hybrid simulation to build and compose
heterogeneous simulation scenarios that can be proficiently exploited to model
and represent the Internet of Things (IoT). Hybrid simulation is a methodology
that combines multiple modalities of modeling/simulation. Complex scenarios are
decomposed into simpler ones, each one being simulated through a specific
simulation strategy. All these simulation building blocks are then synchronized
and coordinated. This simulation methodology is an ideal one to represent IoT
setups, which are usually very demanding, due to the heterogeneity of possible
scenarios arising from the massive deployment of an enormous amount of sensors
and devices. We present a use case concerned with the distributed simulation of
smart territories, a novel view of decentralized geographical spaces that,
thanks to the use of IoT, builds ICT services to manage resources in a way that
is sustainable and not harmful to the environment. Three different simulation
models are combined together, namely, an adaptive agent-based parallel and
distributed simulator, an OMNeT++ based discrete event simulator and a
script-language simulator based on MATLAB. Results from a performance analysis
confirm the viability of using hybrid simulation to model complex IoT
scenarios.Comment: arXiv admin note: substantial text overlap with arXiv:1605.0487
CASP Solutions for Planning in Hybrid Domains
CASP is an extension of ASP that allows for numerical constraints to be added
in the rules. PDDL+ is an extension of the PDDL standard language of automated
planning for modeling mixed discrete-continuous dynamics.
In this paper, we present CASP solutions for dealing with PDDL+ problems,
i.e., encoding from PDDL+ to CASP, and extensions to the algorithm of the EZCSP
CASP solver in order to solve CASP programs arising from PDDL+ domains. An
experimental analysis, performed on well-known linear and non-linear variants
of PDDL+ domains, involving various configurations of the EZCSP solver, other
CASP solvers, and PDDL+ planners, shows the viability of our solution.Comment: Under consideration in Theory and Practice of Logic Programming
(TPLP
Rational physical agent reasoning beyond logic
The paper addresses the problem of defining a theoretical physical agent framework that satisfies practical requirements of programmability by non-programmer engineers and at the same time permitting fast realtime operation of agents on digital computer networks. The objective of the new framework is to enable the satisfaction of performance requirements on autonomous vehicles and robots in space exploration, deep underwater exploration, defense reconnaissance, automated manufacturing and household automation
A reconfigurable hybrid intelligent system for robot navigation
Soft computing has come of age to o er us a wide array of powerful and e cient algorithms
that independently matured and in
uenced our approach to solving problems in robotics,
search and optimisation. The steady progress of technology, however, induced a
ux of new
real-world applications that demand for more robust and adaptive computational paradigms,
tailored speci cally for the problem domain. This gave rise to hybrid intelligent systems, and
to name a few of the successful ones, we have the integration of fuzzy logic, genetic algorithms
and neural networks. As noted in the literature, they are signi cantly more powerful than
individual algorithms, and therefore have been the subject of research activities in the past
decades. There are problems, however, that have not succumbed to traditional hybridisation
approaches, pushing the limits of current intelligent systems design, questioning their solutions
of a guarantee of optimality, real-time execution and self-calibration. This work presents an
improved hybrid solution to the problem of integrated dynamic target pursuit and obstacle
avoidance, comprising of a cascade of fuzzy logic systems, genetic algorithm, the A* search
algorithm and the Voronoi diagram generation algorithm
- …