主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020年专刊出版计划 微信服务介绍 最新一期:2019年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
Bernd Krieg-Brückner,Hui Shi,Robert J Ross.基于会话的安全、鲁棒共享控制方法.软件学报,2004,15(12):1764-1775
基于会话的安全、鲁棒共享控制方法
A Safe and Robust Approach to Shared-Control via Dialogue
投稿时间:2004-06-18  修订日期:2004-09-06
DOI:
中文关键词:  共享控制  认知控制体系结构  面向代理编程  形式化方法  混成设计
英文关键词:shared-control  cognitive control architecture  Agent-oriented programming  formal method  hybriddesign
基金项目:
作者单位
Bernd Krieg-Brückner BISS, Bremen Institute for Safe Systems, Germany 
Hui Shi BISS, Bremen Institute for Safe Systems, Germany 
Robert J Ross BISS, Bremen Institute for Safe Systems, Germany 
摘要点击次数: 2783
全文下载次数: 2701
中文摘要:
      在共享控制系统中,比如智能服务机器人,操作员和自动化专门系统相互配合,共同控制.有效的共享控制需要复杂的系统体系结构,该结构可以提供安全鲁棒的运行,提供对用户友好的界面.满足这两项需求是一个不寻常的任务.介绍了解决这些问题的方法.首先给出一个以会话为中心采用面向代理编程和形式化方法的认知控制体系结构.采用混成设计的SharC认知控制体系结构,可以区分协同代理群体中每一个遥控设备的控制.安全性对共享控制系统来说是极为重要的,因此这种体系结构必须能够保证较高的安全性.最后,描述了作为控制系统核心的形式化建模会话管理器,通过示范平台中自动轮椅的例子说明这些不同的软件范例的应用.
英文摘要:
      In shared-control systems, such as intelligent service robots, a human operator and an automated technical system are interdependently in charge of control. Effective shared control requires complex system architectures that provide safety and robustness in operation, while providing a user-friendly interface--provision of these dual requirements is a non-trivial task. This paper reports on an approach to addressing these issues. A dialogue centric cognitive control architecture is presented, which utilizes both agent-oriented programming and formal methods. The SharC Cognitive Control Architecture is a hybrid design that distributes control of a robot amongst a community of deliberative intentional agents. Since safety is of paramount importance in shared-control systems, high-level safety issues must be addressed within such architectures. To this end, the authors also describe a formally modeled dialogue manager that sits at the heart of the control system. The use of these distinct software paradigms is illustrated, by example, with the demonstration platform: Rolland, the Bremen autonomous wheelchair.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利