保存此搜索
研究论文 2024年6月 刚刚接受 基于SMT的非线性连续和混合动力学参数可识别组合检测 参数可辨识性是动态系统建模参数估计的一个重要方面。 有几种方法可以利用模型定义和实验数据分析来确定参数集的可识别性。 还有。。。 第条 2024年4月 CESAR:基于天使优化的控制包络合成 摘要 本文提出了一种合成混合系统可证明正确控制包络的方法。 控制信封描述了安全控制器系列的特征,并用于在运行时监视不受信任的控制器。 我们的算法填补了。。。 快速通信 2024年3月 使用有限时间收敛观测器的线性系统基于模型的事件触发控制 摘要 本文提出了一种改进的基于模型的事件触发控制方法,通过集成有限时间收敛观测器来调节网络化线性时不变对象。 利用send-on-delta概念,我们引入了两个。。。 快速通信 2024年3月 极小集一致全局渐近稳定性的Nesterov和重球方法的结合 摘要 我们提出了一种混合控制算法,该算法保证了C1,凸目标函数的唯一极小值的快速收敛和一致全局渐近稳定性。 该算法是使用混合系统工具开发的,使用了统一的。。。 研究论文 2024年2月 混合系统的排队建模与性能分析 摘要 NFV(网络功能虚拟化)是一种通过应用虚拟化来提供网络服务的技术。 虽然虚拟化技术本身提供了灵活的体系结构,但它是一个物理遗留设备。。。 -
第条 2023年12月 事件B的浮点数理论 摘要 静态类型检查有助于在早期处理变量值时捕获错误,大多数规范语言(如Event-B)都是强类型的。 然而,Event-B语言的类型系统相对简单,只提供了一种方法。。。 研究论文 2023年11月 一种基于集成学习的混合系统,用于时间序列预测的残差建模 摘要 时间序列预测文献强调了通过对残差建模将统计线性模型和机器学习(ML)模型相结合的混合系统的准确性。 这些系统分别建模线性和非线性。。。 研究论文 2023年9月 分段线性系统多面体Lyapunov函数的反例引导计算 摘要 本文提出了一种反例制导迭代算法,用于计算连续时间分段线性系统的凸、分段线性(多面体)Lyapunov函数。 多面体李亚普诺夫函数为。。。 研究论文 2023年8月 基于离散时间观测的时滞反馈控制混合随机逻辑系统的持久性、消亡性和pth时刻有界性 摘要 本文利用基于离散时间观测的时滞反馈控制,研究随机物流系统在马尔可夫链下的长期行为。 灭绝、持续和…的必要条件。。。 快速通信 2023年8月 杂交zonotopes :用于混合逻辑动力系统可达性分析的一种新的集合表示 摘要 本文提供了一个新的集合表示,名为 杂交分区 这相当于通过添加N个二元zonotope因子,将2个N约束的zonotope(凸多面体)并集。 …的主要贡献。。。 研究论文 2023年6月 从汽车角度看混合系统安全验证工具的适用性 摘要 传统上,广泛的车辆测试用于确保汽车系统的鲁棒性和安全性。 这种方法因系统复杂性的增加而面临巨大挑战。 形式验证为基于模型的……提供了一个强大的框架。。。 第条 2023年6月 强化学习中混合系统模型的奖励形成 摘要 强化学习越来越多地被用作在自治系统中实现控制任务的一种学习技术。 为了满足严格的安全要求,学习型系统的形式化方法,如闭环神经网络。。。 研究论文 2023年6月 基于可达性分析的混合动力系统最优解的正则性和最优代价 摘要 对于具有混合动力学的动力系统的一般最优控制问题,我们研究了扰动的最优代价对问题约束和映射的依赖性。 前者限制了州的允许值。。。 第条 2023年5月 研究论文 2023年5月 基于搜索的混合系统任务和运动规划 :敏捷自动车辆 摘要 为了在动态场景中实现最佳机器人行为,我们需要以预测的方式考虑复杂的动力学。 在车辆动力学界,众所周知,为了在低摩擦表面上实现时间最优驾驶,车辆。。。 图形摘要 忽略的显示 集锦 在任意形状(如S形曲线)的碎石路上灵活自动驾驶。 自动决定何时进入哪种模式(例如漂移)。 该算法在具有非线性、不稳定动力学的7D状态空间中高效搜索。
研究论文 2023年4月 第条 2023年3月 HHLPy:使用Hoare逻辑对混合系统进行实际验证 摘要 我们提出了一种用于验证HCSP(混合通信顺序过程)序列片段中表示的混合系统的工具。 该工具允许使用前置和后置条件、不变量和证明规则注释HCSP程序。。。 研究论文 2023年2月 混合动力系统的解和可达集 :对初始条件、时间和扰动的半连续依赖性 摘要 混合系统在轻度正则性约束下的序列紧性保证了解对初始条件和扰动的外/上半连续依赖性。 对于混合系统的可达集,这。。。 快速通信 2023年2月 执行器饱和和多速率采样下的控制设计 摘要 研究了在饱和执行器和多速率(异步)非周期状态测量存在的情况下设计稳定反馈控制器的问题。 具体来说,我们考虑一个场景,其中。。。 第条 2023年1月 Thrill-K体系结构:解决基于知识的理解问题 摘要 虽然端到端学习系统正在迅速获得能力和普及,但部署此类系统的计算需求不断增加,同时缺乏灵活性、适应性、可解释性、推理和验证。。。