Recent Submissions

  • Icon

    A model for assembly sequence planning in a multirobot environment  [Presentation]

    Valle Sevillano, Carmelo del; Fernández Camacho, Eduardo; Toro Bonilla, Miguel (Elsevier, 2002)
    This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The objective of the plan is the minimization of the total assembly time (makespan). To meet this objective, ...
  • Icon

    Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion  [Presentation]

    Riquelme Santos, José Cristóbal; Ridao Carlini, Miguel Ángel; Fernández Camacho, Eduardo; Toro Bonilla, Miguel (Springer Nature, 1998)
    A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled planning approach has been used; that is, the problem has been decomposed into two subproblems: ...
  • Icon

    Application of a Natural Language Interface to the Teleoperation of a Mobile Robot  [Presentation]

    González Romano, José Mariano; Gómez Ortega, Juan; Fernández Camacho, Eduardo (Elsevier, 1998)
    This paper describes the application of a natural language interface to the teleoperation of a mobile robot. Natural language communication with robots is a major goal, since it allows for non expert people to communicate ...
  • Icon

    Value Chain: From iDMU to Shopfloor Documentation of Aeronautical Assemblies  [Presentation]

    Oliva, Manuel; Racero Moreno, Jesús; Morales Palma, Domingo; Valle Sevillano, Carmelo del; Mas, Fernando (Springer, 2017)
    Competition in the aerospace manufacturing companies has led them to continuously improve the efficiency of their processes from the conceptual phase to the start of production and during operation phase, providing ...
  • Icon

    Supporting the Optimized Execution of Business Processes through Recommendations  [Presentation]

    Barba Rodríguez, Irene; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2011)
    In order to be able to flexibly adjust a company’s business processes (BPs) there is an increasing interest in flexible Process-Aware Information Systems (PAISs). This increasing flexibility, however, typically implies ...
  • Icon

    Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis  [Presentation]

    Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Rosa Troyano, Francisco Fernando de la (Springer, 2005)
    Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the treatment of constraints as a new data type. Our proposal presents a new way of storing and manipulating ...
  • Icon

    Planning and Scheduling of Business Processes in Run-Time: A Repair Planning Example  [Presentation]

    Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Springer, 2010)
    Over the last decade, the efficient and flexible management of business processes has become one of the most critical success aspects. Furthermore, there exists a growing interest in the application of Artificial ...
  • Icon

    Optimized Time Management for Declarative Workflows  [Presentation]

    Barba Rodríguez, Irene; Lanz, Andreas; Weber, Barbara; Reichert, Manfred; Valle Sevillano, Carmelo del (Springer, 2012)
    Declarative process models are increasingly used since they fit better with the nature of flexible process-aware information systems and the requirements of the stakeholders involved. When managing business processes, ...
  • Icon

    OptBPPlanner: Automatic Generation of Optimized Business Process Enactment Plans  [Presentation]

    Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara (Springer, 2012)
    Unlike imperative models, the specifi cation of business process (BP) properties in a declarative way allows the user to specify what has to be done instead of having to specify how it has to be done, thereby facilitating ...
  • Icon

    NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs  [Presentation]

    Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Ceballos Guerrero, Rafael (Springer, 2007)
    Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and planning/sheduling applications. Many of these models are overconstrained Numeric Constraint Satisfaction ...
  • Icon

    Improving the Evolutionary Coding for Machine Learning Tasks  [Presentation]

    Aguilar Ruiz, Jesús Salvador; Riquelme Santos, José Cristóbal; Valle Sevillano, Carmelo del (IOS Press, 2002)
    The most influential factors in the quality of the solutions found by an evolutionary algorithm are a correct coding of the search space and an appropriate evaluation function of the potential solutions. The coding of ...
  • Icon

    Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems  [Presentation]

    Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Cejudo, V.; Barba Rodríguez, Irene (Springer, 2005)
    Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be considered as numeric constraint satisfaction problems (NCSP). Many models are symmetrical NCSP. ...
  • Icon

    Distributed Model-Based Diagnosis using Object-Relational Constraint Databases  [Presentation]

    Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Pozo Hidalgo, Sergio (IEEE Computer Society, 2006)
    This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence, easy composition and efficiency in the ...
  • Icon

    Diagnosing Errors in DbC Programs Using Constraint Programming  [Presentation]

    Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Springer, 2005)
    Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, we propose a methodology for software diagnosis which is based on the combination of Design by ...
  • Icon

    Clinical Processes - The Killer Application for Constraint-Based Process Interactions?  [Presentation]

    Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Reichert, Manfred; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2018)
    For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To enable operational support for business processes, the latter are usually specified in an imperative ...
  • Icon

    Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis  [Presentation]

    Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2004)
    Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of the system to diagnose, and may be represented by constraints associated to the components. ...
  • Icon

    An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way  [Presentation]

    Ceballos Guerrero, Rafael; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael (Springer, 2005)
    Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX communities is proposed. Only relevant information for the identification of the minimal diagnosis ...
  • Icon

    A Topological-Based Method for Allocating Sensors by Using CSP Techniques  [Presentation]

    Ceballos Guerrero, Rafael; Cejudo, V.; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2005)
    Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) and a model of the system in order to explain a wrong behaviour. In this work, a new approach is ...
  • Icon

    A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle  [Presentation]

    Jiménez Ramírez, Andrés; Reijers, Hajo A.; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Springer, 2019)
    The robotic automation of processes is of much interest to organizations. A common use case is to automate the repetitive manual tasks (or processes) that are currently done by back-office staff through some information ...
  • Icon

    A Constraint-based Model for Multi-objective Repair Planning  [Presentation]

    Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (IEEE Computer Society, 2009)
    This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when repairing faulty components in a system. Since multi-mode operations are considered, the problem ...

View more