首页 > 最新文献

Proceedings of 1995 IEEE International Conference on Robotics and Automation最新文献

英文 中文
A failure-to-safety "Kyozon" system with simple contact detection and stop capabilities for safe human-autonomous robot coexistence 故障转向安全的“Kyozon”系统,具有简单的接触检测和停止功能,可实现人类自主机器人的安全共存
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525724
K. Suita, Yoji Yamada, N. Tsuchida, K. Imai, H. Ikeda, N. Sugimoto
In this paper, we discuss a method to achieve safe autonomous robot system coexistence (or Kyozon in Japanese). First, we clarify human pain tolerance and point out that a robot working next to an operator should be covered with a soft material. Thus, we propose a concept and a design method of covering a robot with a viscoelastic material to achieve both impact force attenuation and contact sensitivity, keeping within the human pain tolerance limit. We stress the necessity of a simple robot system from the viewpoint of reliability. We provide a method of sensing contact force without any force sensors by monitoring the direct drive motor current and velocity of the robot. Finally, we covered a two-link arm manipulator with the optimum soft covering material, and applied the developed manipulator system to practical coexistence tasks.
本文讨论了一种实现安全自主机器人系统共存(日语:Kyozon)的方法。首先,我们澄清了人类的疼痛耐受性,并指出在操作员旁边工作的机器人应该用柔软的材料覆盖。因此,我们提出了一种用粘弹性材料覆盖机器人的概念和设计方法,以实现冲击力衰减和接触灵敏度,同时保持在人类的疼痛容忍极限内。从可靠性的角度出发,我们强调了简单机器人系统的必要性。我们提供了一种不需要任何力传感器的传感接触力的方法,通过监测机器人的直接驱动电机电流和速度。最后,设计了一种具有最佳软覆盖材料的双连杆机械臂,并将所开发的机械臂系统应用于实际的共存任务中。
{"title":"A failure-to-safety \"Kyozon\" system with simple contact detection and stop capabilities for safe human-autonomous robot coexistence","authors":"K. Suita, Yoji Yamada, N. Tsuchida, K. Imai, H. Ikeda, N. Sugimoto","doi":"10.1109/ROBOT.1995.525724","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525724","url":null,"abstract":"In this paper, we discuss a method to achieve safe autonomous robot system coexistence (or Kyozon in Japanese). First, we clarify human pain tolerance and point out that a robot working next to an operator should be covered with a soft material. Thus, we propose a concept and a design method of covering a robot with a viscoelastic material to achieve both impact force attenuation and contact sensitivity, keeping within the human pain tolerance limit. We stress the necessity of a simple robot system from the viewpoint of reliability. We provide a method of sensing contact force without any force sensors by monitoring the direct drive motor current and velocity of the robot. Finally, we covered a two-link arm manipulator with the optimum soft covering material, and applied the developed manipulator system to practical coexistence tasks.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117145763","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 134
Modeling contact/impact of flexible manipulators with a fixed rigid surface 具有固定刚性表面的柔性机械臂接触/碰撞建模
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525353
T. Wasfy
A new technique for modeling contact/impact of flexible manipulators with a fixed rigid surface is presented. The manipulator is discretized using the finite element method. The technique is based on the use of the conservation of energy and momentum principles as a local velocity constraint on the nodes in contact with the rigid surface to obtain the post-impact velocities of those nodes. Two friction parameters one for the tangential momentum and one for energy can be used. A slight variation of the technique is to use the momentum conservation principle along with Newton's collision rule as the velocity constraint also with two friction parameters one for the tangential momentum and the coefficient of restitution. Momentum conservation/Newton collision rule constraint and momentum/energy conservation constraint are equivalent if friction effects are neglected. Numerical examples are solved to show the accuracy and versatility of the new technique.
提出了一种具有固定刚性表面的柔性机械臂接触/碰撞建模新方法。采用有限元法对机械臂进行离散化。该技术基于使用能量守恒和动量原理作为与刚性表面接触的节点的局部速度约束,以获得这些节点的碰撞后速度。两个摩擦参数一个是切向动量,一个是能量。该技术的一个微小变化是使用动量守恒原理和牛顿碰撞规则作为速度约束,并具有两个摩擦参数,一个是切向动量和恢复系数。如果忽略摩擦效应,动量守恒/牛顿碰撞规则约束和动量/能量守恒约束是等效的。算例表明了该方法的准确性和通用性。
{"title":"Modeling contact/impact of flexible manipulators with a fixed rigid surface","authors":"T. Wasfy","doi":"10.1109/ROBOT.1995.525353","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525353","url":null,"abstract":"A new technique for modeling contact/impact of flexible manipulators with a fixed rigid surface is presented. The manipulator is discretized using the finite element method. The technique is based on the use of the conservation of energy and momentum principles as a local velocity constraint on the nodes in contact with the rigid surface to obtain the post-impact velocities of those nodes. Two friction parameters one for the tangential momentum and one for energy can be used. A slight variation of the technique is to use the momentum conservation principle along with Newton's collision rule as the velocity constraint also with two friction parameters one for the tangential momentum and the coefficient of restitution. Momentum conservation/Newton collision rule constraint and momentum/energy conservation constraint are equivalent if friction effects are neglected. Numerical examples are solved to show the accuracy and versatility of the new technique.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117149628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Realtime multiple object tracking based on optical flows 基于光流的实时多目标跟踪
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525608
Shinya Yamamoto, Y. Mae, Y. Shirai, J. Miura
This paper describes real time object tracking by extracting optical flows from a sequence of images. Optical flows are calculated based on the generalized gradient model. Our method detects a moving object, and tracks it from the optical flow data. Assuming that pixels corresponding to the same object have similar flow vectors, we extract a connected region with similar flow vectors. We apply this method to multiple object tracking. When two objects overlap, foreground object is recognized, and each object is tracked without confusion. Optical flow extraction and object tracking are executed in realtime by a special image processor.
本文通过从一系列图像中提取光流来描述实时目标跟踪。基于广义梯度模型计算光流。我们的方法检测运动物体,并根据光流数据对其进行跟踪。假设同一物体对应的像素具有相似的流矢量,我们提取具有相似流矢量的连通区域。我们将该方法应用于多目标跟踪。当两个目标重叠时,识别前景目标,并跟踪每个目标而不会混淆。光流提取和目标跟踪由专用图像处理器实时完成。
{"title":"Realtime multiple object tracking based on optical flows","authors":"Shinya Yamamoto, Y. Mae, Y. Shirai, J. Miura","doi":"10.1109/ROBOT.1995.525608","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525608","url":null,"abstract":"This paper describes real time object tracking by extracting optical flows from a sequence of images. Optical flows are calculated based on the generalized gradient model. Our method detects a moving object, and tracks it from the optical flow data. Assuming that pixels corresponding to the same object have similar flow vectors, we extract a connected region with similar flow vectors. We apply this method to multiple object tracking. When two objects overlap, foreground object is recognized, and each object is tracked without confusion. Optical flow extraction and object tracking are executed in realtime by a special image processor.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123998722","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 59
Assembly planning using case adaptation methods 使用案例适应方法进行装配规划
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525410
P. Pu, Lisa Purvis
In our previous paper, we have shown that case-based reasoning (CBR) techniques can be used as a viable formulation for solving assembly sequence generation problems. The issues covered in that paper were case base organization, case selection and matching, and case indexing. The part on case adaptation was not addressed in a formal way to allow satisfactory generalization of the method to a large class of assembly planning problems. We present in this paper a methodology which formalizes the adaptation process of CBR using constraint satisfaction techniques. Combining CBR with constraint satisfaction provides a generalized formalism for assembly planning problem solving.
在我们之前的论文中,我们已经证明了基于案例的推理(CBR)技术可以作为解决装配序列生成问题的可行公式。该论文涉及的问题是案例基础组织、案例选择和匹配以及案例索引。关于案例适应的部分没有以正式的方式进行处理,以使该方法能够令人满意地推广到大类装配规划问题。本文提出了一种利用约束满足技术形式化CBR适应过程的方法。将CBR与约束满足相结合,为求解装配规划问题提供了一种通用的形式化方法。
{"title":"Assembly planning using case adaptation methods","authors":"P. Pu, Lisa Purvis","doi":"10.1109/ROBOT.1995.525410","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525410","url":null,"abstract":"In our previous paper, we have shown that case-based reasoning (CBR) techniques can be used as a viable formulation for solving assembly sequence generation problems. The issues covered in that paper were case base organization, case selection and matching, and case indexing. The part on case adaptation was not addressed in a formal way to allow satisfactory generalization of the method to a large class of assembly planning problems. We present in this paper a methodology which formalizes the adaptation process of CBR using constraint satisfaction techniques. Combining CBR with constraint satisfaction provides a generalized formalism for assembly planning problem solving.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125996571","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Khepera: The Optimal Tool for Development in Mobile Robotics Khepera:移动机器人开发的最佳工具
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525757
F. Mondada, E. Franzi, A. Guilgnard, J. Nicoud
Keywords: [MOBOTS] ; Khepera robot Reference EPFL-CONF-200915doi:10.1109/ROBOT.1995.525757 Record created on 2014-08-20, modified on 2017-05-10
关键词:[MOBOTS];Khepera机器人参考文献EPFL-CONF-200915doi:10.1109/ robot .1995.525757记录创建于2014-08-20,修改于2017-05-10
{"title":"Khepera: The Optimal Tool for Development in Mobile Robotics","authors":"F. Mondada, E. Franzi, A. Guilgnard, J. Nicoud","doi":"10.1109/ROBOT.1995.525757","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525757","url":null,"abstract":"Keywords: [MOBOTS] ; Khepera robot Reference EPFL-CONF-200915doi:10.1109/ROBOT.1995.525757 Record created on 2014-08-20, modified on 2017-05-10","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126131600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A reduced complexity vision system for autonomous helicopter navigation 一种用于直升机自主导航的低复杂度视觉系统
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525377
P. Batavia, M. Lewis, G. Bekey
Many current avenues of vision research involve fully analyzing an image with expensive, high powered computers. This approach has major implications in terms of cost, size, and power consumption. Other methods have involved sub-sampling an image to reduce cost and complexity. This has the disadvantage of information loss. We present a low cost, low powered, reduced complexity vision system capable of intelligently sampling an image to reduce this information loss. The design philosophy and methodology is discussed, along with sample applications. Primarily we demonstrate how the reduced complexity vision system will be used to aid in navigation of an autonomous flying vehicle. This is quantified by showing how having multiple sampling schemes result in increased robustness and accuracy of our helicopter line tracking algorithm.
目前许多视觉研究的途径都涉及到使用昂贵、高性能的计算机对图像进行全面分析。这种方法在成本、大小和功耗方面具有重要影响。其他方法包括对图像进行次采样以降低成本和复杂性。这样做的缺点是信息丢失。我们提出了一种低成本,低功耗,降低复杂性的视觉系统,能够智能地对图像进行采样,以减少这种信息损失。讨论了设计哲学和方法,以及示例应用程序。首先,我们展示了如何使用降低复杂性的视觉系统来帮助自主飞行器的导航。通过展示多个采样方案如何提高直升机线路跟踪算法的鲁棒性和准确性来量化这一点。
{"title":"A reduced complexity vision system for autonomous helicopter navigation","authors":"P. Batavia, M. Lewis, G. Bekey","doi":"10.1109/ROBOT.1995.525377","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525377","url":null,"abstract":"Many current avenues of vision research involve fully analyzing an image with expensive, high powered computers. This approach has major implications in terms of cost, size, and power consumption. Other methods have involved sub-sampling an image to reduce cost and complexity. This has the disadvantage of information loss. We present a low cost, low powered, reduced complexity vision system capable of intelligently sampling an image to reduce this information loss. The design philosophy and methodology is discussed, along with sample applications. Primarily we demonstrate how the reduced complexity vision system will be used to aid in navigation of an autonomous flying vehicle. This is quantified by showing how having multiple sampling schemes result in increased robustness and accuracy of our helicopter line tracking algorithm.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124668691","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Adaptive hybrid position/force control for robotic manipulators with compliant links 柔性机械臂的自适应位置/力混合控制
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525350
Jung-Hua Yang, Feng‐Li Lian, L. Fu
In this paper, we tackle the problem of nonlinear adaptive hybrid control of constrained robots with flexible links. According to the physical properties of a flexible manipulator, a two time-scale approach, namely singular perturbation approach, is further utilized for thorough analysis and general controller design. It is shown that asymptotic motion tracking can be effectively achieved, whereas the force regulation errors can be made arbitrarily small. For demonstration of the controller performance, experiments of a two-link flexible manipulator were performed for the proposed controller and satisfactory results observed.
研究了具有柔性连杆约束的机器人的非线性自适应混合控制问题。根据柔性机械臂的物理特性,进一步采用双时间尺度奇异摄动法进行深入分析和总体控制器设计。结果表明,该方法可以有效地实现渐近运动跟踪,而力调节误差可以任意小。为验证该控制器的性能,对两连杆柔性机械臂进行了实验,取得了满意的结果。
{"title":"Adaptive hybrid position/force control for robotic manipulators with compliant links","authors":"Jung-Hua Yang, Feng‐Li Lian, L. Fu","doi":"10.1109/ROBOT.1995.525350","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525350","url":null,"abstract":"In this paper, we tackle the problem of nonlinear adaptive hybrid control of constrained robots with flexible links. According to the physical properties of a flexible manipulator, a two time-scale approach, namely singular perturbation approach, is further utilized for thorough analysis and general controller design. It is shown that asymptotic motion tracking can be effectively achieved, whereas the force regulation errors can be made arbitrarily small. For demonstration of the controller performance, experiments of a two-link flexible manipulator were performed for the proposed controller and satisfactory results observed.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124793085","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Multi-Grasp Manipulation Multi-Grasp操纵
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525746
David Williams, O. Khatib
This video presents recent results in multi-arm manipulation with simultaneous control of internal forces. The approach is based on the integration of two basic concepts: The {augmented object} and the {virtual linkage}. The virtual linkage [l] characterizes internal forces, while the augmented object [2] describes the system’s closed-chain dynamics. Using these concepts, we have developed a model of the dynamic behavior of both the multi-arm system and the internal forces acting on the manipulated object. This model has been used to develop a control structure that decouples this behavior, allowing object manipulation with accurate control of internal forces [3]. The experiments shown in this video illustra,te the effectiveness of the new control structure in various compliant motion tasks performed by two and three cooperating PUMA 560 manipulators. This type of control requires accurate application of joint torques, which is very difficult to achieve with current industrial manipulators. The second part of the video shows the significant improvement that can be obtained with a new force control methodology. In this implementation, the manipulator’s wrist force sensor is used to resolve joint torques corresponding to the force control subspace. These torques are then used as input for local joint feedback controllers based on the joint actuator/transmission models.
这个视频介绍了最近的结果在多臂操纵与同时控制内力。该方法基于两个基本概念的整合:{增强对象}和{虚拟链接}。虚拟连杆[1]表征内力,增广对象[2]描述系统的闭环动力学。利用这些概念,我们建立了一个多臂系统和作用在被操纵物体上的内力的动态行为模型。该模型已被用于开发一种控制结构,该结构解耦了这种行为,允许对内力进行精确控制的对象操作[3]。本视频中的实验说明了新控制结构在两个和三个合作PUMA 560机械手执行各种柔性运动任务时的有效性。这种类型的控制要求关节扭矩的精确应用,这是目前工业机械手很难实现的。视频的第二部分显示了可以通过新的力控制方法获得的显着改进。在此实现中,机械手的腕部力传感器用于解析力控制子空间对应的关节力矩。然后将这些扭矩用作基于关节执行器/传动模型的局部关节反馈控制器的输入。
{"title":"Multi-Grasp Manipulation","authors":"David Williams, O. Khatib","doi":"10.1109/ROBOT.1995.525746","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525746","url":null,"abstract":"This video presents recent results in multi-arm manipulation with simultaneous control of internal forces. The approach is based on the integration of two basic concepts: The {augmented object} and the {virtual linkage}. The virtual linkage [l] characterizes internal forces, while the augmented object [2] describes the system’s closed-chain dynamics. Using these concepts, we have developed a model of the dynamic behavior of both the multi-arm system and the internal forces acting on the manipulated object. This model has been used to develop a control structure that decouples this behavior, allowing object manipulation with accurate control of internal forces [3]. The experiments shown in this video illustra,te the effectiveness of the new control structure in various compliant motion tasks performed by two and three cooperating PUMA 560 manipulators. This type of control requires accurate application of joint torques, which is very difficult to achieve with current industrial manipulators. The second part of the video shows the significant improvement that can be obtained with a new force control methodology. In this implementation, the manipulator’s wrist force sensor is used to resolve joint torques corresponding to the force control subspace. These torques are then used as input for local joint feedback controllers based on the joint actuator/transmission models.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129474166","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Distributed traffic regulation and control for multiple autonomous mobile robots operating in discrete space 离散空间中多自主移动机器人的分布式交通管制与控制
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525506
Jing Wang, S. Premvuti
A fully distributed algorithm is presented, which when executed by each robot, collectively allows multiple autonomous mobile robots to travel through a discrete traffic network composed of passage segments, intersections, and terminals, all of which are of only finite capacity. Each robot may establish dynamically its own route not known to others. Treating passage segments, intersections and terminals as shared, discrete resources, the algorithm guarantees ordered traffic flow in a discrete network such that (i) finite capacity constrains of passage segments and terminals are always enforced; (ii) no collision occurs at any intersection; (iii) deadlocks are detected and resolved. The system operates under the model of Distributed Robotic Systems (DRS), assuming no centralized mechanism, synchronized clock, shared memory or ground support. Interrobot communication is only required among spatially adjacent robotic units. The algorithm is implementable with today's technology.
提出了一种全分布式算法,当每个机器人执行该算法时,多个自主移动机器人可以共同通过由通道段、交叉口和终端组成的离散交通网络,这些网络的容量都是有限的。每个机器人可以动态地建立自己不为其他机器人所知的路线。该算法将通道段、交叉口和终端视为共享的离散资源,保证了离散网络中的有序交通流,使得(1)通道段和终端的有限容量约束始终被强制执行;(二)交叉口未发生碰撞;(iii)检测并解决死锁。该系统在分布式机器人系统(DRS)模型下运行,假设没有集中机制、同步时钟、共享内存或地面支持。机器人间的通信只需要在空间相邻的机器人单元之间进行。该算法在当今的技术条件下是可以实现的。
{"title":"Distributed traffic regulation and control for multiple autonomous mobile robots operating in discrete space","authors":"Jing Wang, S. Premvuti","doi":"10.1109/ROBOT.1995.525506","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525506","url":null,"abstract":"A fully distributed algorithm is presented, which when executed by each robot, collectively allows multiple autonomous mobile robots to travel through a discrete traffic network composed of passage segments, intersections, and terminals, all of which are of only finite capacity. Each robot may establish dynamically its own route not known to others. Treating passage segments, intersections and terminals as shared, discrete resources, the algorithm guarantees ordered traffic flow in a discrete network such that (i) finite capacity constrains of passage segments and terminals are always enforced; (ii) no collision occurs at any intersection; (iii) deadlocks are detected and resolved. The system operates under the model of Distributed Robotic Systems (DRS), assuming no centralized mechanism, synchronized clock, shared memory or ground support. Interrobot communication is only required among spatially adjacent robotic units. The algorithm is implementable with today's technology.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129838371","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 40
A temporal logic approach to discrete event control 离散事件控制的时间逻辑方法
Pub Date : 1995-05-21 DOI: 10.1109/ROBOT.1995.525479
K. T. Seow, R. Devanathan
This paper presents a temporal logic formulation of discrete event control which forms a new theoretical basis for control analysis and synthesis of a class of discrete event systems (DES). Specifically, the new basic notions of controllability, control invariance and /spl Sigma//sub u/-invariance are characterized for a safety temporal logic formula, and the necessary and sufficient condition for the existence of its supervisor is established. The existing result based on the predicate approach is shown to be generalized under our formulation. A control synthesis procedure is given for a class of DES based on a specialized safety formula, known as the forbidden state specification. Two simple examples illustrate the proposed axiomatic approach.
本文提出了离散事件控制的时间逻辑公式,为一类离散事件系统的控制分析和综合提供了新的理论基础。具体地,对一个安全时间逻辑公式给出了可控性、控制不变性和/spl σ //sub u/-不变性的新的基本概念,并给出了其监督存在的充分必要条件。现有的基于谓词方法的结果在我们的公式下是一般化的。给出了基于专用安全公式(即禁止状态规范)的一类DES的控制综合过程。两个简单的例子说明了所提出的公理化方法。
{"title":"A temporal logic approach to discrete event control","authors":"K. T. Seow, R. Devanathan","doi":"10.1109/ROBOT.1995.525479","DOIUrl":"https://doi.org/10.1109/ROBOT.1995.525479","url":null,"abstract":"This paper presents a temporal logic formulation of discrete event control which forms a new theoretical basis for control analysis and synthesis of a class of discrete event systems (DES). Specifically, the new basic notions of controllability, control invariance and /spl Sigma//sub u/-invariance are characterized for a safety temporal logic formula, and the necessary and sufficient condition for the existence of its supervisor is established. The existing result based on the predicate approach is shown to be generalized under our formulation. A control synthesis procedure is given for a class of DES based on a specialized safety formula, known as the forbidden state specification. Two simple examples illustrate the proposed axiomatic approach.","PeriodicalId":432931,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Robotics and Automation","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129649794","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
期刊
Proceedings of 1995 IEEE International Conference on Robotics and Automation
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1