Výsledky vyhľadávania - "formal methods in robotics and automation"

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

Autori: Yuanfei Lin Zekun Xing Xuyuan Han a ďalší

Zdroj: IEEE Transactions on Robotics. :1-18

Predmety: 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)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2412.15837
https://mediatum.ub.tum.de/1796410

On Provably Safe and Live Multirobot Coordination with Online Goal Posting

Autori: Mannucci, Anna Pallottino, Lucia Pecora, Federico

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

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

Popis súboru: print

Prístupová URL adresa: 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

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

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

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

Prístupová URL adresa: 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

Autori: Ramirez, Miquel Selvaratnam, Daniel Manzie, Chris

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

Predmety: formal methods in robotics and automation, kinematics, Motion and path planning

Popis súboru: print

Prístupová URL adresa: 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

Autori: Colotti, Alessandro García Fontán, Jorge Goldsztejn, Alexandre a ďalší

Prispievatelia: Colotti, Alessandro García Fontán, Jorge Goldsztejn, Alexandre a ďalší

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

Predmety: [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

Popis súboru: application/pdf

Prístupová URL adresa: 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

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

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

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

Autori: Yuanfei Lin Haoxuan Li Matthias Althoff

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

Predmety: 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)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2209.07881
https://mediatum.ub.tum.de/1724410

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

Autori: Lin, Yuanfei Xing, Zekun Han, Xuyuan a ďalší

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

Popis súboru: application/pdf

Prístupová URL adresa: https://mediatum.ub.tum.de/1796410

Learning Linear Temporal Properties for Autonomous Robotic Systems

Autori: Enrico Ghiorzi Michele Colledanchise Gianluca Piquet a ďalší

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

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

Popis súboru: application/pdf

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

Autori: Clara Fischer Michael Neuhold Martin Steiner a ďalší

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

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

Prístupová URL adresa: https://doaj.org/article/f5a436a660c64af0aeec5206a395f157

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

Autori: Alvaro Caballero Giuseppe Silano Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática a ďalší

Prispievatelia: Alvaro Caballero Giuseppe Silano Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática a ďalší

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

Predmety: 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)

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Karlsson, Jesper van Waveren, Sanne Pek, Christian a ďalší

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

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

Popis súboru: electronic

Prístupová URL adresa: 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

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

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

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

Popis súboru: application/pdf

Prístupová URL adresa: https://mediatum.ub.tum.de/doc/1771312/document.pdf

RAM Special Issue on Formal Methods for Robotics and Automation

Zdroj: IEEE Robotics & Automation Magazine. 17:100-100

RAM Special Issue: Formal Methods for Robotics and Automation

Zdroj: IEEE Robotics & Automation Magazine. 17:102-102

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

Autori: Thanos Petsanis Christoforos Keroglou Athanasios Ch. Kapoutsis a ďalší

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

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

Prístupová URL adresa: 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

Autori: Juan Heredia Christian Schlette Mikkel Baun Kjaergaard

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

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

Prístupová URL adresa: 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

Autori: Anna Mannucci Danilo Caporale Lucia Pallottino

Zdroj: IEEE Transactions on Robotics

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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Silano, Giuseppe orcid:0000-0002-6816- Caballero, Alvaro a ďalší

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

Dostupnosť: https://doi.org/10.1016/j.robot.2024.104905
https://zenodo.org/records/15593342

Hand-Eye Calibration With a Remote Centre of Motion

Autori: Krittin Pachtrachai Francisco Vasconcelos George Dwyer a ďalší

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

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

Prístupová URL adresa: 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/