咨询与建议

限定检索结果

文献类型

  • 65 篇 期刊文献
  • 2 篇 会议

馆藏范围

  • 67 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 67 篇 工学
    • 63 篇 控制科学与工程
    • 61 篇 电气工程
    • 6 篇 计算机科学与技术...
    • 2 篇 信息与通信工程
    • 1 篇 软件工程
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...
  • 1 篇 理学
    • 1 篇 数学

主题

  • 67 篇 formal methods i...
  • 14 篇 robots
  • 12 篇 motion and path ...
  • 11 篇 multi-robot syst...
  • 9 篇 planning
  • 8 篇 kinematics
  • 7 篇 task analysis
  • 6 篇 safety
  • 6 篇 trajectory
  • 6 篇 robot safety
  • 5 篇 hybrid logical/d...
  • 5 篇 robot kinematics
  • 5 篇 task planning
  • 4 篇 scheduling and c...
  • 4 篇 calibration and ...
  • 4 篇 computational mo...
  • 4 篇 optimization and...
  • 3 篇 motion planning
  • 3 篇 path planning fo...
  • 3 篇 robot sensing sy...

机构

  • 3 篇 cornell univ sib...
  • 2 篇 mit lincoln lab ...
  • 2 篇 georgia inst tec...
  • 2 篇 mit dept aeronau...
  • 2 篇 univ pisa dipart...
  • 2 篇 rice univ dept c...
  • 2 篇 zhejiang univ co...
  • 2 篇 harvard med sch ...
  • 2 篇 lehigh univ mech...
  • 2 篇 univ missouri de...
  • 1 篇 univ sci & techn...
  • 1 篇 univ pisa res ct...
  • 1 篇 university of sc...
  • 1 篇 princeton univ i...
  • 1 篇 leibniz univ han...
  • 1 篇 univ texas austi...
  • 1 篇 univ texas austi...
  • 1 篇 univ virginia sc...
  • 1 篇 northeastern uni...
  • 1 篇 univ toulouse on...

作者

  • 5 篇 kress-gazit hada...
  • 3 篇 fan chuchu
  • 3 篇 luo xusheng
  • 3 篇 cai mingyu
  • 3 篇 mannucci anna
  • 3 篇 vasile cristian-...
  • 3 篇 pallottino lucia
  • 2 篇 nikolaidis stefa...
  • 2 篇 caballero alvaro
  • 2 篇 aksaray derya
  • 2 篇 tsiotras panagio...
  • 2 篇 zavlanos michael...
  • 2 篇 dawson charles
  • 2 篇 tumova jana
  • 2 篇 kjaergaard mikke...
  • 2 篇 bonnah ernest
  • 2 篇 pecora federico
  • 2 篇 leahy kevin
  • 2 篇 pittiglio giovan...
  • 2 篇 kavraki lydia e.

语言

  • 67 篇 英文
检索条件"主题词=Formal Methods in Robotics and Automation"
67 条 记 录,以下是41-50 订阅
排序:
Temporal Logic Task Allocation in Heterogeneous Multirobot Systems
收藏 引用
IEEE TRANSACTIONS ON robotics 2022年 第6期38卷 3602-3621页
作者: Luo, Xusheng Zavlanos, Michael M. Duke Univ Dept Mechan Engn & Mat Sci Durham NC 27708 USA
We consider the problem of optimally allocating tasks, expressed as global linear temporal logic (LTL) specifications, to teams of heterogeneous mobile robots of different types. Each task may require robots of multip... 详细信息
来源: 评论
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
收藏 引用
IEEE robotics AND automation LETTERS 2022年 第2期7卷 1190-1197页
作者: Cai, Mingyu Leahy, Kevin Serlin, Zachary Vasile, Cristian-Ioan Lehigh Univ Mech Engn Bethlehem PA 18015 USA MIT Lincoln Lab Lexington MA 02421 USA
This letter explores coordination of heterogeneous teams of agents from high-level specifications. We employ Capability Temporal Logic (CaTL) to express rich, temporal-spatial tasks that require cooperation between ma... 详细信息
来源: 评论
Coloured Petri Nets for Temporal Performance Evaluation of Distributed Control Systems-Application to a FIFO Queue
收藏 引用
IEEE robotics AND automation LETTERS 2022年 第4期7卷 11268-11274页
作者: Bal Dit Sollier, Louis Ourghanlian, Alain Amari, Said EDF R&D PRISME F-78400 Chatou France ENS Paris Saclay LURPA F-91190 Gif Sur Yvette France
Temporal performances (like response time) of distributed control systems must he measurable for critical systems. The delay and reliability requirements require us to develop an exhaustive method to evaluate these pe... 详细信息
来源: 评论
Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments
收藏 引用
IEEE robotics AND automation LETTERS 2022年 第4期7卷 10001-10008页
作者: Gundana, David Kress-Gazit, Hadas Cornell Univ Sibley Sch Mech & Aerosp Engn Ithaca NY 14853 USA
In this work, we synthesize control for high-level, reactive robot tasks that include timing constraints and choices over goals and constraints. We enrich Event-based Signal Temporal Logic by adding disjunctions, and ... 详细信息
来源: 评论
A framework for formal verification of robot kinematics
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC methods IN PROGRAMMING 2024年 139卷
作者: Xie, Guojun Yang, Huanhuan Chen, Gang Nanjing Univ Aeronaut & Astronaut Coll Comp Sci & Technol Nanjing 211106 Jiangsu Peoples R China Natl Univ Def Technol Coll Comp Changsha 410073 Hunan Peoples R China
As robotic applications continue to expand and task complexity increases, the adoption of more advanced and sophisticated control algorithms and models becomes critical. Traditional methods, relying on manual abstract... 详细信息
来源: 评论
An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis
收藏 引用
IEEE TRANSACTIONS ON robotics 2021年 第5期37卷 1487-1507页
作者: Luo, Xusheng Kantaros, Yiannis Zavlanos, Michael M. Duke Univ Dept Mech Engn & Mat Sci Durham NC 27708 USA
The majority of existing linear temporal logic (LTL) planning methods rely on the construction of a discrete product automaton, which combines a discrete abstraction of robot mobility and a Buchi automaton that captur... 详细信息
来源: 评论
Data-Driven Energy Estimation of Individual Instructions in User-Defined Robot Programs for Collaborative Robots
收藏 引用
IEEE robotics AND automation LETTERS 2021年 第4期6卷 6836-6843页
作者: Heredia, Juan Schlette, Christian Kjaergaard, Mikkel Baun Univ Southern Denmark Maersk Mc Kinney Moller Inst Campusvej 55 DK-5230 Odense Denmark
Traditionally, the objective of industrial production focuses on fast and low-cost production, regardless of resources and energy consumption (EC). However, in alignment with the UN Sustainable Development Goals (SDG)... 详细信息
来源: 评论
Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates
收藏 引用
IEEE robotics AND automation LETTERS 2021年 第2期6卷 1375-1382页
作者: Buyukkocak, Ali Tevfik Aksaray, Derya Yazcoglu, Yasin Univ Minnesota Dept Aerosp Engn & Mech Minneapolis MN 55455 USA Univ Minnesota Dept Elect & Comp Engn Minneapolis MN 55455 USA
We address the problem of coordinating the trajectories of heterogeneous multi-agent systems under spatio-temporal specifications. In particular, we consider global Signal Temporal Logic (STL) constraints to express t... 详细信息
来源: 评论
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks
收藏 引用
IEEE robotics AND automation LETTERS 2021年 第2期6卷 3687-3694页
作者: Gundana, David Kress-Gazit, Hadas Cornell Univ Sibley Sch Mech & Aerosp Engn Ithaca NY 14853 USA
We propose a new specification language and control synthesis technique for single and multi-robot high-level tasks;these tasks include timing constraints and reaction to environmental events. Specifically, we define ... 详细信息
来源: 评论
Interval-Based Visua LiDAR Sensor Fusion
收藏 引用
IEEE robotics AND automation LETTERS 2021年 第2期6卷 1304-1311页
作者: Voges, Raphael Wagner, Bernardo Leibniz Univ Hannover Inst Syst Engn Real Time Syst Grp RTS D-30167 Hannover Germany
Since cameras and Light Detection and Ranging (LiDAR) sensors provide complementary information about the environment, it is beneficial for mobile robot localization to fuse their information by assigning distances me... 详细信息
来源: 评论