针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,本文基于形式化的可达性方法分析车辆自主决策行为......

Multi-link cable-driven robots (MCDRs) have potential advantages in confined spaces exploration because of their redunda......

The lower bound for the volume of the zonotope for John-basis had been given by Ball. In this paper, a simple proof of B......

为为 John 基础的 zonotope 的体积的更低的界限被球给了。在这份报纸，球鈥檚 不平等的一个简单证明首先被提供，然后，球的结果从 John......

针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态......

The problem of how to identify the piecewise affine system is studied in this paper, where this considered piecewise aff......