Možnosti spoločného výskumu v oblasti automatizácie a logistiky motorov The paper briefly presents the R&D cooperation of the Department of Materials Handling and Logistics and Departments of Automation. The main fields of cooperation are introduced. Different kind of Linear Motor (hereafter LM) drives are being developed and tested for warehouse and rolling conveyor systems. Modern control str...

Process-oriented systems such as scientific workflows and business processes can be designed and implemented based on advanced transaction models or other formal models for concurrent distributed systems. Advanced transactional modeling approaches trade the classic benefits of isolation and atomicity properties for long lived transactions, giving it the ability of being applicable in systems th...

We develop a decision support system, based on the data warehousing approach. We define a conceptual object-oriented data warehouse model, which describes the data warehouse as a central repository of relevant, complex and temporal data. Our model integrates three concepts: warehouse object, environment and warehouse class. Each warehouse object representing a source entity, is composed of one ...

Multi-robot teams are effective in a variety of task allocation domains such as warehouse automation and surveillance. Robots in such domains have to perform tasks at given locations and specific times. Tasks have to be allocated to optimize given team objectives, such as minimizing the total distance traveled. We propose an efficient, satisficing and centralized Monte Carlo Tree Search (MCTS) ...

Process manufacturing is increasingly being driven by market forces and customer needs and perceptions, resulting in necessity of flexible multi-product manufacturing. The increasing automation and tighter quality constraints related to these processes make the operator's job more and more difficult. This makes decision support systems for the operator more important than ever before. Based on ...

This paper introduces an original framework for planning and acting with hierarchical input/output automata for systems defined by the parallel composition of the models of their components. Typical applications are, for example, in harbor or warehouse automation. The framework extends the usual parallel composition operation of I/O automata with a hierarchical composition operation that can re...

Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures taking into account a conceptual schema representing the information requirements, the source databases, and non-functional requirements. Existing work in this area has mainly focused on aspects like data models, data s...

Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures taking into account a conceptual schema representing the information requirements, the source databases, and non functional (mainly performance) requirements. Existing work in this area has mainly focused into aspects l...

AIMS project attempts to link the logistic requirements of an intelligent warehouse and state of the art core technologies of automation, by providing an awareness of the environment to the autonomous systems and vice versa. In this work we investigate a solution for modeling the infrastructure of a structured environment such as warehouses, by the means of a vision sensor. The model is based o...