119,852 research outputs found
Recommended from our members
A modular hybrid simulation framework for complex manufacturing system design
For complex manufacturing systems, the current hybrid Agent-Based Modelling and Discrete Event Simulation (ABM–DES) frameworks are limited to component and system levels of representation and present a degree of static complexity to study optimal resource planning. To address these limitations, a modular hybrid simulation framework for complex manufacturing system design is presented. A manufacturing system with highly regulated and manual handling processes, composed of multiple repeating modules, is considered. In this framework, the concept of modular hybrid ABM–DES technique is introduced to demonstrate a novel simulation method using a dynamic system of parallel multi-agent discrete events. In this context, to create a modular model, the stochastic finite dynamical system is extended to allow the description of discrete event states inside the agent for manufacturing repeating modules (meso level). Moreover, dynamic complexity regarding uncertain processing time and resources is considered. This framework guides the user step-by-step through the system design and modular hybrid model. A real case study in the cell and gene therapy industry is conducted to test the validity of the framework. The simulation results are compared against the data from the studied case; excellent agreement with 1.038% error margin is found in terms of the company performance. The optimal resource planning and the uncertainty of the processing time for manufacturing phases (exo level), in the presence of dynamic complexity is calculated
OCL Plus:Processes and Events in Object-Centred Planning
An important area in AI Planning is the expressiveness of planning domain
specification languages such as PDDL, and their aptitude for modelling real
applications. This paper presents OCLplus, an extension of a hierarchical object
centred planning domain definition language, intended to support the representation
of domains with continuous change. The main extension in OCLplus provides
the capability of interconnection between the planners and the changes that are
caused by other objects of the world. To this extent, the concept of event and process
are introduced in the Hierarchical Task Network (HTN), object centred planning
framework in which a process is responsible for either continuous or discrete
changes, and an event is triggered if its precondition is met. We evaluate the use of
OCLplus and compare it with a similar language, PDDL+
Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains
In this paper we look into the problem of planning over hybrid domains, where
change can be both discrete and instantaneous, or continuous over time. In
addition, it is required that each state on the trajectory induced by the
execution of plans complies with a given set of global constraints. We approach
the computation of plans for such domains as the problem of searching over a
deterministic state model. In this model, some of the successor states are
obtained by solving numerically the so-called initial value problem over a set
of ordinary differential equations (ODE) given by the current plan prefix.
These equations hold over time intervals whose duration is determined
dynamically, according to whether zero crossing events take place for a set of
invariant conditions. The resulting planner, FS+, incorporates these features
together with effective heuristic guidance. FS+ does not impose any of the
syntactic restrictions on process effects often found on the existing
literature on Hybrid Planning. A key concept of our approach is that a clear
separation is struck between planning and simulation time steps. The former is
the time allowed to observe the evolution of a given dynamical system before
committing to a future course of action, whilst the later is part of the model
of the environment. FS+ is shown to be a robust planner over a diverse set of
hybrid domains, taken from the existing literature on hybrid planning and
systems.Comment: 17 page
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation
An architectural approach to self-adaptive systems involves runtime change of
system configuration (i.e., the system's components, their bindings and
operational parameters) and behaviour update (i.e., component orchestration).
Thus, dynamic reconfiguration and discrete event control theory are at the
heart of architectural adaptation. Although controlling configuration and
behaviour at runtime has been discussed and applied to architectural
adaptation, architectures for self-adaptive systems often compound these two
aspects reducing the potential for adaptability. In this paper we propose a
reference architecture that allows for coordinated yet transparent and
independent adaptation of system configuration and behaviour
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
Optimal Event-Driven Multi-Agent Persistent Monitoring of a Finite Set of Targets
We consider the problem of controlling the movement of multiple cooperating
agents so as to minimize an uncertainty metric associated with a finite number
of targets. In a one-dimensional mission space, we adopt an optimal control
framework and show that the solution is reduced to a simpler parametric
optimization problem: determining a sequence of locations where each agent may
dwell for a finite amount of time and then switch direction. This amounts to a
hybrid system which we analyze using Infinitesimal Perturbation Analysis (IPA)
to obtain a complete on-line solution through an event-driven gradient-based
algorithm which is also robust with respect to the uncertainty model used. The
resulting controller depends on observing the events required to excite the
gradient-based algorithm, which cannot be guaranteed. We solve this problem by
proposing a new metric for the objective function which creates a potential
field guaranteeing that gradient values are non-zero. This approach is compared
to an alternative graph-based task scheduling algorithm for determining an
optimal sequence of target visits. Simulation examples are included to
demonstrate the proposed methods.Comment: 12 pages full version, IEEE Conference on Decision and Control, 201
- …