本发明公开了基于Coq的机器人控制系统时序安全性的验证方法，包括以下步骤：S10，抽象系统行为；S20，制定语义模型；S30，变量的形式化、转移规则的形式化、期望性质的形式化和性质的验证。本发明解决利用定理证明器验证基于C语言的嵌入式系统时序安全性的问题。
📄 2020113904118
📂 G06F8_30
👤 杭州电子科技大学
📅 2020-12-02
本发明涉及机器人技术领域，具体涉及一种除草机器人控制系统及控制方法。该系统包括除草机器人、存储室以及与除草机器人通信的后台端；除草机器人上设有定位模块、扫描模块、处理模块和存储模块；存储室内设有充电装置；存储室开有供除草机器人进出的通道开口；还包括磁导线，所述磁导线从充电装置处开始，沿存储室的室内边界及工作区域边界一周后回到充电装置处，形成一个闭合区域；除草机器人上还设有电磁传感器；后台端内存储有工作地图，所述工作地图为基于基准地图、存储室的室内地图及工作区域的室外地图形成的拓扑地图，所述基准地图为磁导线形成的闭合区域。本申请可避免人工二次修剪的情况，同时能够让除草机器人全程智能化移动。
📄 2022102824956
📂 G05D1_43
👤 重庆理工大学
📅 2022-03-22
本实用新型涉及机器人技术领域，尤其为一种远程操控机器人控制系统，包括机器人本体，所述机器人本体底部的两侧均固定连接有支撑架，两个支撑架的底部分别固定连接有回形架一和回形架二，所述回形架二的左侧固定连接有连接板，所述连接板的顶部设置有电机，所述电机的输出轴贯穿至连接板的底部并固定连接有转动块。该远程操控机器人控制系统具备灵活性能好和适用于多种地形的优点，在实际的使用过程中，该远程操控机器人移动时的灵活性能较好，适用的地形较为广泛，从而提高了机器人的工作效率，解决了现有的机器人大多采用滚轮的方式来实现移动，若机器人的工作场地较为崎岖，会导致机器人移动不便。
📄 2021204599510
📂 B25J9_00
👤 南京晓飞智能科技有限公司
📅 2021-03-03
本发明涉及一种基于VR技术的远程机器人控制系统及方法，所述系统包括摄像头、直流无刷电机驱动器、舵机、主控制器、车载手机设备和手持手机设备；摄像头和主控制器安装于机器人上，直流无刷电机驱动器驱动机器人行走，舵机控制机器人的转向，车载手机设备安装于机器人上，车载手机设备与主控制器通过蓝牙通信，主控制器的输出端分别与直流无刷电机驱动器和舵机相连接，车载手机设备与摄像头相连接。本发明可以远程操作机器人，对于各类人群都有较好的普适性，能够清晰准确的将车载摄像头的图像呈现在手持端的设备中，通过车载手机设备与手持手机设备Android客户端的数据通信完成对机器人的行进控制。
📄 2018114228755
📂 B25J13_00
👤 浙江理工大学
📅 2018-11-27
本发明公开了一种基于单片机控制的幕墙清洗机器人控制系统及控制方法，属于爬壁机器人领域。本发明的幕墙清洗机器人控制系统及控制方法，其幕墙清洗机器人利用内外吸附行走机构交替吸附在幕墙上实现清洗机器人的横纵向移动，利用内吸附行走机构的旋转运动使幕墙清洗机器人自如转向，实现360°全方位移动；同时，内外吸附行走机构中的吸盘均具有伸缩功能，使其具有良好的越障功能，可适用于无框玻璃幕墙和有框玻璃幕墙；其控制系统及控制方法利用单片机程序及控制电路对幕墙清洗机器人中的电机和电磁阀进行逻辑控制，使幕墙清洗机器人能够根据操作指令执行清洗、行走、转向和越障等动作，操作灵活方便，稳定可靠，提高了工作效率和清洗效果。
📄 2017107873587
📂 A47L11_40
👤 常州工学院
📅 2017-09-04
本发明公开了一种基于脑机接口的上肢康复训练机器人控制系统及方法，系统包括视觉刺激模块和脑电信号采集模块，所述脑电信号采集模块与脑电信号分析模块通信，脑电信号分析模块在线分析处理后将控制信号发送给上肢外骨骼控制系统，所述视觉刺激模块通过协议与上肢外骨骼控制系统通信；由稳态视觉诱发电位控制上肢外骨骼的启、停，由运动想象控制上肢外骨骼上臂旋转与肘部屈伸。将脑机接口技术与机器人技术相结合，使得患者的可以主动参与，让患者自由掌握训练时间，可以调动患者的积极性，提高控制准确度的同时最大程度地降低患者训练的疲劳度。而且对于完全瘫痪的患者，通过运动想象疗法，可促使受损运动传导路的修复或重建。
📄 2018100899171
📂 G06F3_01
👤 山东建筑大学
📅 2018-01-30
本发明公开了一种输电杆塔攀爬机器人控制系统及控制方法，它解决了现有技术中机器人无法攀爬杆塔，无法越障的问题，具有方便完成攀爬任务的有益效果，其技术方案为：一种输电杆塔攀爬机器人控制系统，包括视觉识别模块，安装于机器人机身，用于监测机器人周围环境；驱动控制模块，安装于机器人机身机械臂，机械臂包括外展机构和夹持机构，夹持机构与外展机构连接，驱动控制器模块用于控制机器人外展机构和夹持机构的动作；升降控制模块，安装于机器人机身上下相邻两机械臂之间，用于控制机器人的升降动作，以实现机器人的攀爬动作；主控器，视觉识别模块、夹持机构控制模块和升降控制模块分别通过通讯模块与主控器连接。
📄 2019100811818
📂 B62D57_024
👤 山东建筑大学
📅 2019-01-28
本发明提供了一种用于水质检测的水下机器人控制系统，包括：识别模块：识别控制区域内的水下机器人，确定目标机器人，并与所述目标机器人建立通讯链路；定位模块：确定控制区域内的水质检测点，获取所述目标检测点的位置参数；控制模块：将所述位置参数生成信号指令传输至目标机器人，并控制目标机器人前往所述目标监测点；检测模块：所述目标机器人对所述目标监测点的水源进行检测，获取水质检测数据，并对所述水质检测数据进行分析确定水质变化规律；集成模块：接收所述水质变化规律，生成拟合结果并进行判断，生成判断结果传输至控制终端。本发明利用人工智能技术实现对水下机器人高精度控制，有效检测控制区域水源，对水质进行判断，提高了效率。
📄 202211162165X
📂 G05D1_43
👤 北部湾大学
📅 2022-09-23
本发明公开了一种建筑瓷砖智能便携式梳条机器人控制系统，包括西门子ST40模块、限位开关模块、压力传感模块、按钮输入模块、继电器模块、控制器DM542模块、推杆电机模块、其他元件模块和57步进电机模块，所述限位开关模块的信号输出端与西门子ST40模块的信号接收端信号连接，所述压力传感模块的信号输出端与西门子ST40模块的信号接收端信号连接。本发明还公开了一种建筑瓷砖智能便携式梳条机器人控制方法。本发明建筑瓷砖智能便携式机器人通过设置稳定可靠的步进电机电路，为瓷砖翻转框提供动力，与使用全人工铺贴方式相比，建筑瓷砖智能便携式机器人可以在瓷砖翻转时实现省力。
📄 2022105359674
📂 E04F21_02
👤 广州大学
📅 2022-05-17
一种积木机器人控制系统及其控制方法，它涉及一种控制技术，具体涉及一种机器人控制技术，它包含传感器、主控模块、电机驱动模块、直流电机、数据处理模块、蓝牙模块、手机移动终端和云端处理器,所述传感器与主控模块通过无线方式连接，所述的电机驱动模块连接主控模块1与直流电机，所述的主控模块通过蓝牙与手机移动终端连接，所述的主控模块1通过互联网与云端处理器连接，所述的手机移动终端包含摄像头，所述的摄像头用于捕获摄像画面，所述的画面通过互联网有手机移动终端传输至云端处理器，所述的手机移动终端上安装有与主控模块进行数据交互的APP,本发明具有智能化程度高、安装简单，锻炼了儿童逻辑思维能力，提高了儿童的学习兴趣。
📄 2020114690436
📂 G05B19_042
👤 深圳市童心网络有限公司
📅 2020-12-15
本发明提供一种扫地机器人智能控制系统，该扫地机器人具有多个分体，以在接收到清扫任务时同时执行清扫任务，从而使清扫速度和效率大幅提高；此外，本发明根据每个分体的清扫能量为每一个所述分体均衡的分配清扫任务，从而进一步的提高了清扫效率；最后，提供了灵活高效的分体与主体的充电方式，从而实现了多个分体与主体的高效充电。
📄 2018106446391
📂 A47L11_40
👤 北京数驿科技有限公司
📅 2018-06-21
本发明公开了一种播种机器人控制系统，包括升降播种锥杆和控制器，所述控制器控制电动轮毂的运行速度及电机的转速，所述控制器通过控制电动轮毂脉冲式前进确定两窝种子或秧苗的播种间距；所述控制器通过控制电机转动进行播种操作；通过启动控制器开关，电动轮毂带动前行，电机通过转轴上设有电机齿轮带动转动齿轮转动，转动齿轮带动曲轴转动，曲轴通过连杆曲颈及连杆带动升降播种锥杆做上下往复运动；通过控制器控制电机转动，当升降播种锥杆提升过程中，通过升降播种锥杆上的活动挡块推动插板向上将播种入口封堵，在升降播种锥杆上的播种入口与通孔对齐时，从而使种子或秧苗无法通过导管进入播种通道。
📄 2017112520674
📂 A01C7_00
👤 黄丽华
📅 2017-12-01
柿子坊 · 知识产权运营
柿子坊知识产权运营平台