首页 | 本学科首页   官方微博 | 高级检索  
     

基于会话的安全、鲁棒共享控制方法
引用本文:Bernd Krieg-Brückner,Hui Shi,Robert J Ross.基于会话的安全、鲁棒共享控制方法[J].软件学报,2004,15(12):1764-1775.
作者姓名:Bernd Krieg-Brückner  Hui Shi  Robert J Ross
作者单位:BISS,BremenInstituteforSafeSystems,Germany
基金项目:Supported by the Deutschen Forschungsgemeinschaft (DFG) through the SFB/TR8 Spatial Cognition-Subproject I3-SharC
摘    要:在共享控制系统中,比如智能服务机器人,操作员和自动化专门系统相互配合,共同控制.有效的共享控制需要复杂的系统体系结构,该结构可以提供安全鲁棒的运行,提供对用户友好的界面.满足这两项需求是一个不寻常的任务.介绍了解决这些问题的方法.首先给出一个以会话为中心采用面向代理编程和形式化方法的认知控制体系结构.采用混成设计的SharC认知控制体系结构,可以区分协同代理群体中每一个遥控设备的控制.安全性对共享控制系统来说是极为重要的,因此这种体系结构必须能够保证较高的安全性.最后,描述了作为控制系统核心的形式化建模会话管理器,通过示范平台中自动轮椅的例子说明这些不同的软件范例的应用。

关 键 词:共享控制  认知控制体系结构  面向代理编程  形式化方法  混成设计
收稿时间:2004/6/18 0:00:00
修稿时间:9/6/2004 12:00:00 AM

A Safe and Robust Approach to Shared-Control via Dialogue
Bernd Krieg-Brückner,Hui Shi,Robert J Ross.A Safe and Robust Approach to Shared-Control via Dialogue[J].Journal of Software,2004,15(12):1764-1775.
Authors:Bernd Krieg-Brückner  Hui Shi  Robert J Ross
Abstract: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.
Keywords:shared-control  cognitive control architecture  Agent-oriented programming  formal method  hybrid design
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号