点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：Proc. IEEE Int. Conf. Saf. Prod. Informatiz., IICSPI

摘要：In our previous work, we have introduced a formal definition of Laplace transform in Coq, and proved a group of basic properties of Laplace transform, including linear property, frequency shifting and first order differentiation. However, in many control systems, Laplace transforms are often applied on functions containing second-order derivatives and integrals with variable upper bound. This paper extends our previous results by adding formal Coq proofs on properties of these two kinds of Laplace transforms. Finally, as an application of these formal properties, we presents a formal derivation of the transfer function of a DC motor control system for robots. © 2018 IEEE.

是否译文：否

发表时间：2019-04-12

合写作者：陈钢

通讯作者：王一飞