z-logo
open-access-imgOpen Access
Mathematical methods for verification of microprocessor-based PID controllers for improving their reliability
Author(s) -
Paweł Skruch,
Marek Długosz,
Wojciech Mitkowski
Publication year - 2015
Publication title -
eksploatacja i niezawodnosc - maintenance and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.47
H-Index - 27
eISSN - 2956-3860
pISSN - 1507-2711
DOI - 10.17531/ein.2015.3.1
Subject(s) - pid controller , microprocessor , reliability (semiconductor) , computer science , control engineering , reliability engineering , control theory (sociology) , engineering , embedded system , control (management) , artificial intelligence , temperature control , power (physics) , physics , quantum mechanics
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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom