University of California at Berkeley Dept. of Electrical Engineering and Computer Sciences;
机译:简化的分段仿射混合系统的可达性和控制综合
机译:多边形混合系统的算法分析-第一部分:可达性
机译:使用进化算法对通过图变换指定的复杂软件系统进行可达性分析
机译:生物分段 - 仿射混合系统的可达性算法
机译:混合系统的用户界面:通过混合可达性进行分析和设计。
机译:重症监护医学决策支持算法的开发:时间序列分析和知识库系统的混合系统
机译:多边形混合系统的算法分析,第一部分:可达性