Výsledky vyhledávání - Formal methods in robotics and automation

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

Autoři: Yuanfei Lin Zekun Xing Xuyuan Han a další

Zdroj: IEEE Transactions on Robotics. :1-18

Témata: 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 souboru: application/pdf

Pří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

Autoři: Mannucci, Anna Pallottino, Lucia Pecora, Federico

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

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

Popis souboru: print

Pří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

Autoři: Emil Stubbe Kolvig-Raun Mikkel Baun Kjærgaard Ralph Brorsen

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

Témata: 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

Přístupová URL adresa: https://portal.findresearcher.sdu.dk/da/publications/597e22aa-cc38-42ad-889f-4dc6c34a2b12
https://doi.org/10.1109/LRA.2024.3368296

Learning Linear Temporal Properties for Autonomous Robotic Systems

Autoři: Enrico Ghiorzi Michele Colledanchise Gianluca Piquet a další

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

Témata: 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 souboru: application/pdf

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Autoři: Andre Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

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

Autoři: Colotti, Alessandro García Fontán, Jorge Goldsztejn, Alexandre a další

Přispěvatelé: Colotti, Alessandro García Fontán, Jorge Goldsztejn, Alexandre a další

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

Témata: [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 souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04628273v1
https://hal.science/hal-04628273v1/document
https://doi.org/10.1109/tro.2024.3422050

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

Autoři: Ramirez, Miquel Selvaratnam, Daniel Manzie, Chris

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

Témata: formal methods in robotics and automation, kinematics, Motion and path planning

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-340837

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

Autoři: Heredia, Juan Schlette, Christian Kjærgaard, Mikkel Baun

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

Témata: 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

Autoři: Yuanfei Lin Haoxuan Li Matthias Althoff

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

Témata: 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 souboru: application/pdf

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

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

Autoři: Zhou, Zhangli Chen, Ziyang Cai, Mingyu a další

Zdroj: IEEE Transactions on Industrial Electronics, vol PP. (99)

Témata: Data Management and Data Science, Information and Computing Sciences, Artificial Intelligence, Computer vision, formal methods in automation and robotics, linear temporal logic, online motion planning, quadruped robot, Engineering, Electrical & Electronic Engineering, Information and computing sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/02p805kr
https://escholarship.org/content/qt02p805kr/qt02p805kr.pdf

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

Autoři: Lin, Yuanfei Xing, Zekun Han, Xuyuan a další

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

Popis souboru: application/pdf

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

Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles

Autoři: Karlsson, Jesper van Waveren, Sanne Pek, Christian a další

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

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

Popis souboru: electronic

Pří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

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

Autoři: Clara Fischer Michael Neuhold Martin Steiner a další

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

Témata: 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

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

Specification, stochastic modeling and analysis of interactive service robotic applications

Autoři: Lestingi, Livia Zerla, Davide Bersani, Marcello M. a další

Přispěvatelé: Lestingi, Livia Zerla, Davide Bersani, Marcello M. a další

Témata: Service robotics, Human–robot interaction, Formal methods for robotics, Statistical model-checking, Model-driven engineering, Domain-specific languages for robotics, Stochastic hybrid automata, Models of human behavior

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000952928300001; volume:163; firstpage:1; lastpage:34; numberofpages:34; journal:ROBOTICS AND AUTONOMOUS SYSTEMS; https://hdl.handle.net/11311/1231048; https://www.sciencedirect.com/science/article/pii/S092188902300026X

Dostupnost: https://hdl.handle.net/11311/1231048
https://doi.org/10.1016/j.robot.2023.104387
https://www.sciencedirect.com/science/article/pii/S092188902300026X

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

Autoři: Alvaro Caballero Giuseppe Silano Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática a další

Přispěvatelé: Alvaro Caballero Giuseppe Silano Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática a další

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

Témata: 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 souboru: application/pdf

Pří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

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

Autoři: Thanos Petsanis Christoforos Keroglou Athanasios Ch. Kapoutsis a další

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

Témata: 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

Přístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/38187474
https://doaj.org/article/816ddadbba88447998404982588c6077

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

Autoři: Lin, Yuanfei Althoff, Matthias (Prof. Dr.) Lienkamp, Markus (Prof. Dr.)

Přispěvatelé: Lin, Yuanfei Althoff, Matthias (Prof. Dr.) Lienkamp, Markus (Prof. Dr.)

Témata: 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 souboru: application/pdf

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

Robust Feedback Motion Primitives for Exploration of Unknown Terrains

Autoři: Chernik, Charles Tajvar, Pouria Tumova, Jana

Zdroj: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). :8173-8179

Témata: 0209 industrial biotechnology, Motion Control, Robotik och automation, Robotics and automation, 02 engineering and technology, Formal Methods in Robotics, Autonomous Agents

Popis souboru: application/pdf

Přístupová URL adresa: http://kth.diva-portal.org/smash/get/diva2:1607653/FULLTEXT01
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-304336

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

Autoři: 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

Témata: 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

Pří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

Autoři: Anna Mannucci Danilo Caporale Lucia Pallottino

Zdroj: IEEE Transactions on Robotics

Témata: 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 souboru: application/pdf

Pří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