...
机译:离散时间分段仿射系统的形式分析
Department of Biomedical Engineering, Boston University, Boston, Brookline, MA, USA;
Abstraction; formal analysis; genetic networks; model checking; piecewise affine (PWA) systems; uncertain systems;
机译:不确定离散时间分段仿射系统的稳定性和不变性分析
机译:离散时间分段仿射系统的多项式时间概率可控性分析
机译:具有逻辑状态的离散分段仿射系统的Lagrange稳定性和性能分析
机译:利用可达性分析控制离散时间分段仿射概率系统
机译:电子物理系统基于FPGA的分段仿射卡尔曼滤波器的设计与实现。
机译:基于可观性分析的分段线性系统虚拟估计器
机译:离散时间分段仿射系统稳定性分析综述