咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 66 篇 formal methods i...
  • 14 篇 robots
  • 11 篇 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 篇 univ toulouse on...
  • 1 篇 univ british col...

作者

  • 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 篇 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.
  • 2 篇 hoque khaza anua...

语言

  • 66 篇 英文
检索条件"主题词=Formal methods in robotics and automation"
66 条 记 录,以下是31-40 订阅
排序:
Rigid Body Path Planning Using Mixed-Integer Linear Programming
收藏 引用
IEEE robotics AND automation LETTERS 2024年 第11期9卷 10026-10033页
作者: Yu, Mingxin Fan, Chuchu MIT Dept Aeronaut & Astronaut Cambridge MA 02139 USA
Navigating rigid body objects through crowded environments can be challenging, especially when narrow passages are presented. Existing sampling-based planners and optimization-based methods like mixed integer linear p... 详细信息
来源: 评论
Safe Networked robotics With Probabilistic Verification
收藏 引用
IEEE robotics AND automation LETTERS 2024年 第3期9卷 2917-2924页
作者: Narasimhan, Sai Shankar Bhat, Sharachchandra Chinchali, Sandeep P. Univ Texas Austin Dept Elect & Comp Engn Austin TX 78712 USA
Autonomous robots must utilize rich sensory data to make safe control decisions. To process this data, compute-constrained robots often require assistance from remote computation, or the cloud, that runs compute-inten... 详细信息
来源: 评论
Closed Loop Static Control of Multi-Magnet Soft Continuum Robots
收藏 引用
IEEE robotics AND automation LETTERS 2023年 第7期8卷 3980-3987页
作者: Pittiglio, Giovanni Orekhov, Andrew L. da Veiga, Tomas Calo, Simone Chandler, James H. Simaan, Nabil Valdastri, Pietro Harvard Med Sch Boston Childrens Hosp Dept Cardiovasc Surg Boston MA 02115 USA Univ Leeds Inst Autonomous Syst & Sensing IRASS Sch Elect & Elect Engn STORM Lab Leeds LS2 9JT England Vanderbilt Univ Dept Mech Engn Nashville TN 37235 USA Carnegie Mellon Univ Robot Inst Pittsburgh PA 15289 USA
This letter discusses a novel static control approach applied to magnetic soft continuum robot (MSCR). Our aim is to demonstrate the control of a multi-magnet soft continuum robot (SCR) in 3D. The proposed controller,... 详细信息
来源: 评论
Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks
收藏 引用
IEEE TRANSACTIONS ON robotics 2023年 第6期39卷 4653-4670页
作者: Pacheck, Adam Kress-Gazit, Hadas Cornell Univ Ithaca Ithaca NY 14850 USA
A typical approach to creating complex robot behaviors is to compose atomic controllers, or skills, such that the resulting behavior satisfies a high-level task;however, when a task cannot be accomplished with a given... 详细信息
来源: 评论
Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications
收藏 引用
IEEE robotics AND automation LETTERS 2017年 第4期2卷 2308-2315页
作者: Cho, Kyunghoon Suh, Junghun Tomlin, Claire J. Oh, Songhwai Seoul Natl Univ Dept Elect & Comp Engn Seoul 151742 South Korea Seoul Natl Univ ASRI Seoul 151742 South Korea Univ Calif Berkeley Dept Elect Engn & Comp Sci Berkeley CA 94720 USA
This letter presents a path planning algorithm for generating a cost-efficient path that satisfies mission requirements specified in linear temporal logic (LTL). We assume that a cost function is defined over the conf... 详细信息
来源: 评论
Collaborative Magnetic Manipulation via Two Robotically Actuated Permanent Magnets
收藏 引用
IEEE TRANSACTIONS ON robotics 2023年 第2期39卷 1407-1418页
作者: Pittiglio, Giovanni Brockdorff, Michael da Veiga, Tomas Davy, Joshua Chandler, James Henry Valdastri, Pietro Harvard Med Sch Boston Childrens Hosp Dept Cardiovasc Surg Boston MA 02115 USA Univ Leeds Sch Elect & Elect Engn Inst Autonomous Syst & Sensing STORM Lab Leeds LS2 9JT W Yorkshire England
Magnetically actuated robots have proven effective in several applications, specifically in medicine. However, generating high actuating fields with a high degree of manipulability is still a challenge, especially whe... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods for robotics and Control
收藏 引用
IEEE TRANSACTIONS ON robotics 2023年 第3期39卷 1749-1767页
作者: Dawson, Charles Gao, Sicun Fan, Chuchu MIT Dept Aeronaut & Astronaut Cambridge MA 02139 USA Univ Calif San Diego Dept Comp Sci & Engn La Jolla CA 92093 USA
Learning-enabled control systems have demonstrated impressive empirical performance on challenging control problems in robotics, but this performance comes at the cost of reduced transparency and lack of guarantees on... 详细信息
来源: 评论
Learning-Based Bayesian Inference for Testing of Autonomous Systems
收藏 引用
IEEE robotics AND automation LETTERS 2024年 第10期9卷 9063-9070页
作者: Parashar, Anjali Yin, Ji Dawson, Charles Tsiotras, Panagiotis Fan, Chuchu MIT Lab Informat & Decis Syst LIDS Cambridge MA 02139 USA Georgia Inst Technol Sch Aerosp Engn Atlanta GA 30332 USA
For the safe operation of robotic systems, it is important to accurately understand its failure modes using prior testing. Hardware testing of robotic infrastructure is known to be slow and costly. Instead, failure pr... 详细信息
来源: 评论
Online Modifications for Event-Based Signal Temporal Logic Specifications
收藏 引用
IEEE robotics AND automation LETTERS 2024年 第8期9卷 6864-6871页
作者: Gundanaand, David Kress-Gazit, Hadas Cornell Univ Sibley Sch Mech & Aerosp Engn Ithaca NY 14853 USA
In this letter we present a grammar and control synthesis framework for online modification of Event-based Signal Temporal Logic (STL) specifications, during execution. These modifications allow a user to change the r... 详细信息
来源: 评论