当前状态机模型中不支持使用求导（der）函数，可以自定义变量a=time，然后将其输出至数值导数模块中。