文/mike
一、总体流程
先由驱动层drive,再到中间层sensor,再到应用层ekf2,最后发布数据给其他应用。控制系统最重要的是带宽,位置环的带宽,到速度环的带宽,再到传感器的更新率,所以,做控制,看程序的时候一定要注意几个时间的概念。举个例子,位置环50hz,速度环200hz,传感器数据的更新率一定要高于200hz。如果自己写程序,里面的这几个时间一定要打印出来看一看,或者翻转一个电平用示波器观察以下。这是一个控制系统的基本要素,带宽的概念。
为什么位置环是50hz呢,速度环是200hz呢?这个问题,我们可以再开一篇文章进行讨论,这里说个大概,具体的控制频率是取决于应用环境的环境变化速率。比如飞机在空中悬停着,我们就需要对自然环境给飞机绕动进行建模。比如飞机的机体低频震动(高频需要滤波,带宽做高成本较大),比如一阵风吹过来,比如手动打舵的更新率等。一般控制带宽要高于使用环境绕动或给定带宽的3到5倍。不要问我为什么,这是经验公式,一定要有理论出处,那就是采样定理,采样定理说,只要2倍于一个信号带宽就可以还原这个信号,但是我们一般都在做工程,一是要留一点冗余量,二是采样频率越高,对信号还原的失真度越低。大家一定还记得我们开始学控制原理的时候,是用一个pid去跟踪几个基本信号,正弦信号,斜坡信号,阶越信号等。这里可以反向看作是对这几种信号的采样还原。
如果再需要理论化一点,一般一套控制系统,开始需要建模,对各种扰动信号进行建模,建立了系统的控制模型后,在matlab里面有个工具,叫simulink,里面有一些基础模型,另外,这个工具可以对建立的模型进行分析,自控里面的两大分析方法,根轨迹法和频率分析法。一般做大型工程是需要按套路从理论到软仿,到半实物仿真,到原理样机实测,一步步来的。但是消费电子,为快不破,特别是现在很多开源的工程,前面的基础工作已经有人做过了,论证过了,更何况有些项目已经被无数爱好者试验过N多次了。我们就可以直接站在巨人的肩膀上了。有些年轻人,一进来就要去研究高深的理论算法,系统仿真。仿佛不说几个牛逼的理论,不足以证明自己也很牛逼似的,结果扎如了浩瀚的推导和公司,久久不能出局。就像笔者开始研究linux的时候,一头扎进了系统内核的各种函数,仿佛进入了一片浩瀚的海洋,找不到方向,久而久之消磨了热情。
能够按照控制系统工程,从头开始干一遍的,不是军工企业就是国有企业,如果都不是,一定是牛逼的上市公司,大型公司。他们有足够的资金来搭建这些系统,软件系统,硬件系统,半实物仿真系统,人员系统,人员系统尤其昂贵,做仿真的可能就是一个科室几十号人,另外做研究做到这个层面基本都是硕士以上了,并且普通高校培养的人员可能技术层面上还略有欠缺,所以可以按照整个控制系统工程来做一遍的企业一定不简单。有点扯远了,还是来说我们的pixhawk。对于这个世界上的大多数工程和应用,人类凭借自己的经验就可以成功,比如生产一把菜刀,绝壁没有人来对菜刀进行有限元应力分析,在多大削砍速度下,砍在什么样的材料上,刀身各处的强度分布是怎么样的……,什么情况下会卷韧会折断……,有功夫算这些东西的,别人已经基于人类菜刀几千年的经验传承,做了一把刀把生活中要砍之物全部砍了个遍。说到这里,好像讲到了哲学里面的两个派系,经验派,逻辑派,哈哈,也有点像笑傲江湖里面剑宗和气宗。又扯远了,这里我其实想说的是,对于大多数的工程应用级别的,我们做好应用就行了,侧重点放在框架,流程,接口,全貌,弄清楚了这些,还有精力的话,可以深入研究下里面的部分算法,这就叫行有余力而学文。让哪些研究所,开源机构,大型公司去做理论分析。你看,google弄好的的牛逼的AI引擎tensorflow不也开源了吗?保持对这个世界好奇,找准自己的定位,什么人做什么事,争取到不惑之年真达到孔夫子讲的那个境界。本来想讲个传感器数据的流向问题(一个飞控用传感器的数据,怎么产生,然后它经历了什么,最后到了哪里,发挥了什么作用,这个数据的整个生命周期多长,有哪几个关键的阶段,每个阶段大概多久),结果手指随心所欲,想到哪里键盘就敲到了哪里,各位凑合这看吧。有问题,我们可以在交流。
陀螺的数据,定时器回调函数自动的采集,采集之后会进行积分,积分之后在sensor.cpp 里面会根据积分时间在进行平均,又得到了角速度,然后有一个get_best的函数,会从几组陀螺仪里面,选出最好的一组速据,然后发布在sensor_combine主题里面。
/*
* Using data that has been integrated in the driver before downsampling is preferred
* becasue it reduces aliasing errors. Correct the raw sensor data for scale factor errors
* and offsets due to temperature variation. It is assumed that any filtering of input
* data required is performed in the sensor driver, preferably before downsampling.
*/
上面是源码里面的注释,他说用那些在降采样之前的积分数据是非常好的,因为他减少了混跌误差,修正了原始数据的比例因子的误差还有由于温度振荡带来的漂移。
二、驱动层
在驱动层,以mpu6000为例(mpu6000.cpp),进入start函数,start在启动脚本(rcs)根据不同的硬件版本进行启动,此处不赘述。进入start函数后可以看到,传感器数据是通过定时器定时回调进行测量的。
hrt_call_every(&_call,
1000,
_call_interval - MPU6000_TIMER_REDUCTION,
(hrt_callout)&MPU6000::measure_trampoline, this);
在measure_trampoline里面,通过spi总线读取了陀螺和加速度计的值,最后通过sensor_accel和sensor_gyro主题发布了读到的数据。
三、中间应用层
这层,主要是一个sensors.cpp,里面有陀螺,加速度计,气压,空速等传感器的值。这个函数对所有的传感器的原始值进行了滤波,然后发布。发布在sensor_combine主题里面,供其他函数调用。这个sensors.cpp里面关键的几个函数
_voted_sensors_update.sensors_poll(raw);
这个函数在拉取数据的同时,对数据进行了滤波,滤波就是上面提到的那个注释,其实这里还做了一个事情,就是机体坐标系的调整,也就是你的飞控在飞机里面的安装方向的问题。然后调用了下面的函数,选出几组传感器里面最好的数据。
_accel.voter.get_best(hrt_absolute_time(), &best_index);
最后通过
orb_publish(ORB_ID(sensor_combined), _sensor_pub, &raw);
将所有传感器的数据发布出去了。
四、应用层
为什么要把上面的sensors.cpp归类为中间层,我的理解是,他还是在为核心应用准备数据。核心应用层,这里以EKF2为例,进了主函数后,首先订阅了sensor_combined 数据。数据比较多,这里还是以陀螺和加速度计为例子,下面有一段很清晰的代码,外国兄弟把注释都写的很清楚的。
// push imu data into estimator float gyro_integral[3]; gyro_integral[0] = sensors.gyro_rad[0] * sensors.gyro_integral_dt; gyro_integral[1] = sensors.gyro_rad[1] * sensors.gyro_integral_dt; gyro_integral[2] = sensors.gyro_rad[2] * sensors.gyro_integral_dt; float accel_integral[3]; accel_integral[0] = sensors.accelerometer_m_s2[0] * sensors.accelerometer_integral_dt; accel_integral[1] = sensors.accelerometer_m_s2[1] * sensors.accelerometer_integral_dt; accel_integral[2] = sensors.accelerometer_m_s2[2] * sensors.accelerometer_integral_dt; _ekf.setIMUData(now, sensors.gyro_integral_dt * 1.e6f, sensors.accelerometer_integral_dt * 1.e6f, gyro_integral, accel_integral);
把陀螺和加速度的数据推入评估器。哈哈,推进去干什么呢?推进去当然是融合,怎么融合呢?说起来很简单,卡尔曼五步法,细节很复杂,我也没有完全弄透,关于卡尔曼的,一本书可以推荐(《最优状态估计》)。下面我们关心我们更想要的东西。那就是用来做控制用的ctrl_state。后面的所有的控制都会订阅这个的,程序在这里,最新发布版本1.6.3里面 ekf2_main.cpp的第775行。
if (_ekf.update()) { // integrate time to monitor time slippage if (start_time_us == 0) { start_time_us = now; } else if (start_time_us > 0) { integrated_time_us += (uint64_t)((double)sensors.gyro_integral_dt * 1.0e6); } matrix::Quaternion
到这里,传感器的数据到处理,到融合到发布,基本都说完了。现在的控制状态的数据是可以直接拿去做控制的了。
最后说一点,如果你是一般的无人机公司,一般研究到这个程度,侧重于调试,以及结合实际的应用场景更改完善飞机的逻辑,修改程序的bug,是完全够用了。如果你是一家比较大的无人机公司,想加点自己的传感器,也不是问题(直接uart,spi对接fmu,还不行,写写底层驱动也不是什么大事,各种协议实现都是通的),如果你想把传感器的数据推入到卡尔曼里面,一起融合,那就要研究的更深入了,当然了没有什么过不去的坑,只是精力和时间的分配是否值得的问题。
下一篇,跟随笔者一起研究下,pixhawk里面的几个关键dt,直接影响控制精度的。关于这个dt的概念,通过笔者下一篇的介绍,大家就可以知道,pixhawk能不能用来做火箭,做导弹(导引头),太空飞船……,我不太喜欢这些规则的约束,太累,说不准下一篇,说点别的,后会有期。