保存此搜索
研究论文 2013年4月 部分未知环境下混合系统的迭代时间运动规划 本文研究了在给定时序逻辑规范的部分未知环境下,具有复杂非线性动力学的混合机器人系统的运动规划问题。 我们采用多层协同框架,可以处理。。。 研究论文 2013年4月 有界状态多模系统的安全可调度性 有界状态多模式系统(BMS)是一种可以在有限模式集之间自由切换的混合系统,其动力学由有限数量的实值变量指定,这些实值变量的模式依赖率可以在给定的有界集内变化。。。 研究论文 2013年4月 循环控制系统管道 本文提出了一种新的流水线技术,专门设计用于在减少扫描周期时间和/或执行额外工作量方面改进循环控制系统和应用程序的执行。 根据观察。。。 研究论文 2013年4月 泽卢斯 :带有ODE的同步语言 Zélus是一种新的编程语言,用于混合离散逻辑时间和连续时间行为的系统建模。 从用户的角度来看,它的主要创意是用普通差分扩展现有的类Lustre同步语言。。。 研究论文 2013年4月 从闭环控制模型中挖掘需求 基于软件的工业控制系统的正式验证面临的一个重大挑战是,系统需求往往是不精确的、非模块化的、不断发展的,甚至是未知的。 我们提出了一个从封闭的。。。 -
诉讼程序 2013年4月 HSCC’13:第16届混合系统国际会议论文集:计算和控制 很高兴欢迎您加入 2013年ACM混合系统国际会议:计算与控制——HSCC’13 今年的会议延续了其作为基础和应用。。。