Collaboration and task planning of turtle-inspired multiple amphibious spherical robots
Amphibious Spherical Robots (ASRs) use an electric field to communicate and collaborate
effectively in a turbid water of confined spaces where other mode communication modalities …
effectively in a turbid water of confined spaces where other mode communication modalities …
[PDF][PDF] Optimal planning modulo theories
F Leofante - 2020 - publications.rwth-aachen.de
Planning for real-world applications requires algorithms and tools with the ability to handle
the complexity such scenarios entail. However, meeting the needs of such applications …
the complexity such scenarios entail. However, meeting the needs of such applications …
SMT-as-a-Service for Fog-Supported Cyber-Physical Systems
S Holzer, P Frangoudis, C Tsigkanos… - Proceedings of the 25th …, 2024 - dl.acm.org
Various properties related with the safe, correct, and efficient operation of Cyber-Physical
Systems (CPS) can be expressed via formal languages and checked at runtime or offline by …
Systems (CPS) can be expressed via formal languages and checked at runtime or offline by …
Learning Process Steps as Dynamical Systems for a Sub-Symbolic Approach of Process Planning in Cyber-Physical Production Systems
Approaches in AI planning for Cyber-Physical Production Systems (CPPS) are mainly
symbolic and depend on comprehensive formalizations of system domains and planning …
symbolic and depend on comprehensive formalizations of system domains and planning …
Action planning for robots using the first order logic calculus of positively constructed formulas
A Davydov, A Larionov - 2020 7th International Conference on …, 2020 - ieeexplore.ieee.org
The paper presents an approach to constructing plans for a group of Lego MindStorm
robots, moving small blocks to the target area. The approach is based on non-Horn logical …
robots, moving small blocks to the target area. The approach is based on non-Horn logical …
Automated Process Planning Based on a Semantic Capability Model and SMT
In research of manufacturing systems and autonomous robots, the term capability is used for
a machine-interpretable specification of a system function. Approaches in this research area …
a machine-interpretable specification of a system function. Approaches in this research area …
Evaluation of high level methods for efficient planning as satisfiability
Fast planning algorithms play a key role in intelligent automation systems where control
sequences are constantly calculated. In order to determine which algorithms increase …
sequences are constantly calculated. In order to determine which algorithms increase …
Integrating Machine Learning into an SMT-Based Planning Approach for Production Planning in Cyber-Physical Production Systems
Abstract Cyber-Physical Production Systems (CPPS) are highly complex systems, making
the application of AI planning approaches for production planning challenging. Most AI …
the application of AI planning approaches for production planning challenging. Most AI …
[PDF][PDF] On intelligent automation systems
E Erős - 2024 - research.chalmers.se
Developing automation systems that are capable of handling dynamic and unpredictable
situations is a challenging task, as it requires adapting to a changing environment and …
situations is a challenging task, as it requires adapting to a changing environment and …
[图书][B] On Intelligent Automation Systems: Methods for Preparation, Control, and Testing
E Erös - 2024 - search.proquest.com
Developing automation systems that are capable of handling dynamic and unpredictable
situations is a challenging task, as it requires adapting to a changing environment and …
situations is a challenging task, as it requires adapting to a changing environment and …