MATHEMATICAL METHODS FOR VERIFICATION OF MICROPROCESSOR-BASED PID CONTROLLERS FOR IMPROVING THEIR RELIABILITY

被引：10

作者：

Skruch, Pawel ^{[1
]}

Dlugosz, Marek ^{[1
]}

Mitkowski, Wojciech ^{[1
]}

机构：

[1] AGH Univ Sci & Technol, Dept Automat & Biomed Engn, PL-30059 Krakow, Poland

来源：

EKSPLOATACJA I NIEZAWODNOSC-MAINTENANCE AND RELIABILITY | 2015年 / 17卷 / 03期

关键词：

controller; PID; testing; reliability; TEST-GENERATION; COVERAGE;

D O I：

10.17531/ein.2015.3.1

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

Proportional-Integral-Derivative (PID) control is the most common control algorithm used in industry. The extensive use of electronics and software has resulted in the situation where the digital PID controller using a microprocessor as well as its software implementation replaces existing pneumatic, mechanical and electromechanical solutions. The reliability of the software system is assured by detection and removal of errors that can lead to failures. The paper presents mathematical methods for verification and testing of microprocessor-based PID controllers that can be used to increase the reliability of the system. The presented methodology explores the concept of testing with a model as an oracle.

引用

页码：327 / 333

页数：7