Suchergebnisse - "Formal Methods in Robotics and Automation"

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis

Autoren: Yuanfei Lin Zekun Xing Xuyuan Han et al.

Quelle: IEEE Transactions on Robotics. :1-18

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2412.15837
https://mediatum.ub.tum.de/1796410

On Provably Safe and Live Multirobot Coordination with Online Goal Posting

Autoren: Mannucci, Anna Pallottino, Lucia Pecora, Federico

Quelle: IEEE Transactions on robotics. 37(6):1973-1991

Schlagwörter: Formal methods in robotics and automation, intelligent and flexible manufacturing, multirobot systems, planning, scheduling and coordination

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-90584
https://doi.org/10.1109/TRO.2021.3075371

Joint Stress Estimation and Remaining Useful Life Prediction for Collaborative Robots to Support Predictive Maintenance

Autoren: Emil Stubbe Kolvig-Raun Mikkel Baun Kjærgaard Ralph Brorsen

Quelle: IEEE Robotics and Automation Letters. 9:3554-3561

Schlagwörter: 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

Zugangs-URL: https://portal.findresearcher.sdu.dk/da/publications/597e22aa-cc38-42ad-889f-4dc6c34a2b12
https://doi.org/10.1109/LRA.2024.3368296

Kinodynamic Motion Planning via Branch-And-Cut over Probabilistic Roadmaps

Autoren: Ramirez, Miquel Selvaratnam, Daniel Manzie, Chris

Quelle: IEEE Robotics and Automation Letters. 9(1):247-254

Schlagwörter: formal methods in robotics and automation, kinematics, Motion and path planning

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-340837

Determination of All Stable and Unstable Equilibria for Image-Point-Based Visual Servoing

Autoren: Colotti, Alessandro García Fontán, Jorge Goldsztejn, Alexandre et al.

Weitere Verfasser: Colotti, Alessandro García Fontán, Jorge Goldsztejn, Alexandre et al.

Quelle: IEEE Transactions on Robotics. 40:3406-3424

Schlagwörter: [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

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-04628273v1
https://hal.science/hal-04628273v1/document
https://doi.org/10.1109/tro.2024.3422050

Sizing up Energy Consumption in Lightweight Robots: A Comprehensive Assessment: A Comprehensive Assessment

Autoren: Heredia, Juan Schlette, Christian Kjærgaard, Mikkel Baun

Quelle: 2023 7th International Conference on Automation, Control and Robots (ICACR). :31-38

Schlagwörter: Collaborative Robots in Manufacturing, 11. Sustainability, Formal Methods in Robotics and Automation, 7. Clean energy, 12. Responsible consumption, Sustainability and Green Automation

Model Predictive Robustness of Signal Temporal Logic Predicates

Autoren: Yuanfei Lin Haoxuan Li Matthias Althoff

Quelle: IEEE Robotics and Automation Letters. 8:8050-8057

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2209.07881
https://mediatum.ub.tum.de/1724410

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis

Autoren: Lin, Yuanfei Xing, Zekun Han, Xuyuan et al.

Schlagwörter: Ingenieurwissenschaften, ddc:620, Motion and path planning, formal methods in robotics and automation, intelligent transportation systems, trajectory repair

Dateibeschreibung: application/pdf

Zugangs-URL: https://mediatum.ub.tum.de/1796410

Learning Linear Temporal Properties for Autonomous Robotic Systems

Autoren: Enrico Ghiorzi Michele Colledanchise Gianluca Piquet et al.

Quelle: IEEE Robotics and Automation Letters. 8:2930-2937

Schlagwörter: 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

Dateibeschreibung: application/pdf

Collision Tests in Human-Robot Collaboration: Experiments on the Influence of Additional Impact Parameters on Safety

Autoren: Clara Fischer Michael Neuhold Martin Steiner et al.

Quelle: IEEE Access, Vol 11, Pp 118395-118413 (2023)

Schlagwörter: human-robot collaboration (HRC), robot collision evaluation, power and force limitation, Electrical engineering. Electronics. Nuclear engineering, Industrial robot safety, formal methods in robotics and automation, TK1-9971

Zugangs-URL: https://doaj.org/article/f5a436a660c64af0aeec5206a395f157

A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks With Multi-Robot Aerial Systems

Autoren: Alvaro Caballero Giuseppe Silano Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática et al.

Weitere Verfasser: Alvaro Caballero Giuseppe Silano Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática et al.

Quelle: idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
IEEE Access, Vol 11, Pp 81361-81377 (2023)
IEEE Access

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2210.09750
https://hdl.handle.net/11441/148647
https://doaj.org/article/c87e75e7ca2b42b0b008a77736dc3bf3
https://idus.us.es/handle//11441/148647

Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles

Autoren: Karlsson, Jesper van Waveren, Sanne Pek, Christian et al.

Quelle: 2021 IEEE International Conference on Robotics and Automation (ICRA) Proceedings - IEEE International Conference on Robotics and Automation. :11262-11268

Schlagwörter: Autonomous vehicle navigation, Formal methods in robotics and automation, Human factors, Human-in-the-loop

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-310389
https://kth.diva-portal.org/smash/get/diva2:1649271/FULLTEXT01.pdf

Trajectory and Planner Repair for Automated Vehicles to Comply With Traffic Rules

Autoren: Lin, Yuanfei Althoff, Matthias (Prof. Dr.) Lienkamp, Markus (Prof. Dr.)

Weitere Verfasser: Lin, Yuanfei Althoff, Matthias (Prof. Dr.) Lienkamp, Markus (Prof. Dr.)

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://mediatum.ub.tum.de/doc/1771312/document.pdf

Decomposing user-defined tasks in a reinforcement learning setup using TextWorld

Autoren: Thanos Petsanis Christoforos Keroglou Athanasios Ch. Kapoutsis et al.

Quelle: Front Robot AI
Frontiers in Robotics and AI, Vol 10 (2023)

Schlagwörter: 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

Zugangs-URL: https://pubmed.ncbi.nlm.nih.gov/38187474
https://doaj.org/article/816ddadbba88447998404982588c6077

Data-Driven Energy Estimation of Individual Instructions in User-Defined Robot Programs for Collaborative Robots

Autoren: Juan Heredia Christian Schlette Mikkel Baun Kjaergaard

Quelle: 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

Schlagwörter: 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

Zugangs-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

On Null Space-Based Inverse Kinematics Techniques for Fleet Management: Toward Time-Varying Task Activation

Autoren: Anna Mannucci Danilo Caporale Lucia Pallottino

Quelle: IEEE Transactions on Robotics

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://ieeexplore.ieee.org/document/9194321
https://dblp.uni-trier.de/db/journals/trob/trob37.html#MannucciCP21
https://doi.org/10.1109/TRO.2020.3018642
https://hdl.handle.net/11568/1056817
https://ieeexplore.ieee.org/document/9194321
https://doi.org/10.1109/TRO.2020.3018642

A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study

Autoren: Silano, Giuseppe orcid:0000-0002-6816- Caballero, Alvaro et al.

Schlagwörter: 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

Verfügbarkeit: https://doi.org/10.1016/j.robot.2024.104905
https://zenodo.org/records/15593342

Hand-Eye Calibration With a Remote Centre of Motion

Autoren: Krittin Pachtrachai Francisco Vasconcelos George Dwyer et al.

Quelle: IEEE Robotics and Automation Letters. 4:3121-3128

Schlagwörter: 0209 industrial biotechnology, 4. Education, Computer Vision for Medical Robotics, Formal Methods in Robotics and Automation, Calibration and Identification, 02 engineering and technology

Zugangs-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/

Guiding Autonomous Exploration with Signal Temporal Logic

Autoren: Barbosa, Fernando S. Duberg, Daniel Jensfelt, Patric et al.

Quelle: IEEE Robotics and Automation Letters. 4(4):3332-3339

Schlagwörter: Mapping, motion and path planning, formal methods in robotics and automation, search and rescue robots

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-255721

Provably Safe Multi-Robot Coordination With Unreliable Communication

Autoren: Mannucci, Anna Pallottino, Lucia Pecora, Federico

Quelle: IEEE Robotics and Automation Letters. 4(4):3232-3239

Schlagwörter: Multi-robot systems, planning, scheduling and coordination, formal methods in robotics and automation

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-75700