Search Results - "Formal methods in robotics and automation"
-
1
Authors: et al.
Source: IEEE Transactions on Robotics. :1-18
Subject Terms: FOS: Computer and information sciences, Ingenieurwissenschaften, Artificial Intelligence (cs.AI), Artificial Intelligence, Robotics, ddc:620, Motion and path planning, formal methods in robotics and automation, intelligent transportation systems, trajectory repair, Robotics (cs.RO)
File Description: application/pdf
-
2
Authors:
Source: IEEE Transactions on robotics. 37(6):1973-1991
Subject Terms: Formal methods in robotics and automation, intelligent and flexible manufacturing, multirobot systems, planning, scheduling and coordination
File Description: print
-
3
Authors:
Source: IEEE Robotics and Automation Letters. 9:3554-3561
Subject Terms: Collaborative Robots in Manufacturing, Mathematical models, 0209 industrial biotechnology, Temperature measurement, Service robots, Robot Manipulators, Predictive Maintenance, Formal Methods in Robotics and Automation, 02 engineering and technology, Stress, Maintenance engineering, formal methods in robotics and automation, predictive maintenance, Torque, 0203 mechanical engineering, Industrial Automation, robot manipulators, industrial automation, Collaborative robots in manufacturing, Robots
-
4
Authors:
Source: IEEE Robotics and Automation Letters. 9(1):247-254
Subject Terms: formal methods in robotics and automation, kinematics, Motion and path planning
File Description: print
-
5
Authors: et al.
Contributors: et al.
Source: IEEE Transactions on Robotics. 40:3406-3424
Subject Terms: [INFO.INFO-SY] Computer Science [cs]/Systems and Control [cs.SY], Stability Analysis, [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Formal Methods in Robotics and Automation, Visual Servoing, Sensor-based Control
File Description: application/pdf
-
6
Authors:
Source: 2023 7th International Conference on Automation, Control and Robots (ICACR). :31-38
-
7
Authors:
Source: IEEE Robotics and Automation Letters. 8:8050-8057
Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, 0209 industrial biotechnology, Computer Science - Artificial Intelligence, 05 social sciences, 02 engineering and technology, ddc, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), Computer Science - Robotics, Artificial Intelligence (cs.AI), 0502 economics and business, Formal methods in robotics and automation, integrated planning and learning, signal temporal logic, model predictive robustness, Gaussian process regression, Robotics (cs.RO)
File Description: application/pdf
-
8
Authors: et al.
Subject Terms: Ingenieurwissenschaften, ddc:620, Motion and path planning, formal methods in robotics and automation, intelligent transportation systems, trajectory repair
File Description: application/pdf
Access URL: https://mediatum.ub.tum.de/1796410
-
9
Authors: et al.
Source: IEEE Robotics and Automation Letters. 8:2930-2937
Subject Terms: 0209 industrial biotechnology, Robots, Task analysis, Skeleton, Syntactics, Search problems, Reactive power, Cost accounting, Formal methods in robotics and automation, autonomous agents, failure detection and recovery, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
File Description: application/pdf
-
10
Authors: et al.
Source: IEEE Access, Vol 11, Pp 118395-118413 (2023)
-
11
Authors: et al.
Contributors: et al.
Source: idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
IEEE Access, Vol 11, Pp 81361-81377 (2023)
IEEE AccessSubject Terms: Optimization, FOS: Computer and information sciences, Autonomous aerial vehicles, 0209 industrial biotechnology, multi-robot systems, Payloads, Trajectory, Aerial systems: applications, 02 engineering and technology, formal methods in robotics and automation, TK1-9971, Birds, Planning, Computer Science - Robotics, task and motion planning, Task analysis, Mobile robots, Motion planning, Electrical engineering. Electronics. Nuclear engineering, Robotics (cs.RO)
File Description: application/pdf
-
12
Authors: et al.
Source: 2021 IEEE International Conference on Robotics and Automation (ICRA) Proceedings - IEEE International Conference on Robotics and Automation. :11262-11268
Subject Terms: Autonomous vehicle navigation, Formal methods in robotics and automation, Human factors, Human-in-the-loop
File Description: electronic
-
13
Authors:
Contributors:
Subject Terms: Motion and path planning, formal methods in robotics and automation, intelligent transportation systems, trajectory repair, automated software repair, Technik, Bewegungs- und Pfadplanung, formale Methoden in Robotik und Automatisierung, intelligente Transportsysteme, Trajektorienreparatur, automatisierte Softwarereparatur, ddc:600
File Description: application/pdf
-
14
Authors: et al.
Source: Front Robot AI
Frontiers in Robotics and AI, Vol 10 (2023)Subject Terms: Robotics and AI, 0301 basic medicine, reinforcement learning, 0209 industrial biotechnology, QA75.5-76.95, 02 engineering and technology, formal methods in robotics and automation, 03 medical and health sciences, task and motion planning, Electronic computers. Computer science, TJ1-1570, autonomous agents, Mechanical engineering and machinery, hierarchical reinforcement learning
-
15
Authors:
Source: Heredia, J, Schlette, C & Kjaergaard, M B 2021, ' Data-Driven Energy Estimation of Individual Instructions in User-Defined Robot Programs for Collaborative Robots ', IEEE Robotics and Automation Letters, vol. 6, no. 4, pp. 6836-6843 . https://doi.org/10.1109/LRA.2021.3094781
Subject Terms: 0209 industrial biotechnology, 0203 mechanical engineering, simulation and animation, 11. Sustainability, dynamics, Energy and environment-aware automation, 02 engineering and technology, calibration and identification, 7. Clean energy, formal methods in robotics and automation, 12. Responsible consumption
Access URL: https://portal.findresearcher.sdu.dk/en/publications/data-driven-energy-estimation-of-individual-instructions-in-user-
https://portal.findresearcher.sdu.dk/da/publications/70dfbe4e-8ac4-4305-a783-c0f18eb525a5
https://doi.org/10.1109/LRA.2021.3094781
https://portal.findresearcher.sdu.dk/da/publications/70dfbe4e-8ac4-4305-a783-c0f18eb525a5 -
16
Authors:
Source: IEEE Transactions on Robotics
Subject Terms: 0209 industrial biotechnology, Formal methods in robotics and automation, Kinematics, Manipulators, motion control, multirobot systems, path planning for multiple mobile robots or agents, Robot kinematics, Standards, Task analysis, Trajectory, 02 engineering and technology
File Description: application/pdf
-
17
Authors: et al.
Subject Terms: aerial systems, applications, formal methods in robotics and automation, task and motion planning, multi-robot systems
Relation: https://zenodo.org/communities/ctu-mrs/; https://zenodo.org/records/15593342; oai:zenodo.org:15593342; https://doi.org/10.1016/j.robot.2024.104905
-
18
Authors: et al.
Source: IEEE Robotics and Automation Letters. 4:3121-3128
Subject Terms: 0209 industrial biotechnology, 4. Education, Computer Vision for Medical Robotics, Formal Methods in Robotics and Automation, Calibration and Identification, 02 engineering and technology
Access URL: https://discovery.ucl.ac.uk/10077198/1/Pachtrachai_Hand-eye%20calibration%20with%20a%20remote%20centre%20of%20motion_AAM.pdf
https://discovery.ucl.ac.uk/id/eprint/10077198/
https://dblp.uni-trier.de/db/journals/ral/ral4.html#PachtrachaiVDHS19
https://ieeexplore.ieee.org/document/8744556
https://discovery-pp.ucl.ac.uk/id/eprint/10077198/ -
19
Authors: et al.
Source: IEEE Robotics and Automation Letters. 4(4):3332-3339
Subject Terms: Mapping, motion and path planning, formal methods in robotics and automation, search and rescue robots
File Description: print
-
20
Authors:
Source: IEEE Robotics and Automation Letters. 4(4):3232-3239
Subject Terms: Multi-robot systems, planning, scheduling and coordination, formal methods in robotics and automation
File Description: print
Full Text Finder 
Nájsť tento článok vo Web of Science 
Full Text