Szczegóły publikacji
Opis bibliograficzny
Mathematical methods for verification of microprocessor-based PID controllers for improving their reliability — Matematyczne metody testowania mikroprocesorowych regulatorów PID umożliwiające zwiększenie ich niezawodności / Paweł SKRUCH, Marek DŁUGOSZ, Wojciech MITKOWSKI // Eksploatacja i Niezawodność = Maintenance and Reliability / Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne ; ISSN 1507-2711. — 2015 — vol. 17 no. 3, s. 327–333. — Bibliogr. s. 332–333. — Wersja polska http://www.ein.org.pl/sites/default/files/2015-03-01p.pdf
Autorzy (3)
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 90583 |
|---|---|
| Data dodania do BaDAP | 2015-07-07 |
| Tekst źródłowy | URL |
| DOI | 10.17531/ein.2015.3.1 |
| Rok publikacji | 2015 |
| Typ publikacji | artykuł w czasopiśmie |
| Otwarty dostęp |  |
| Creative Commons | |
| Czasopismo/seria | Eksploatacja i Niezawodność = Maintenance and Reliability |
Abstract
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.
Streszczenie
Regulator PID (regulator proporcjonalno-całkująco-różniczkujący) jest najbardziej rozpowszechnionym i najczęściej stosowanym typem regulatora w przemyśle. Intensywny rozwój elektroniki i informatyki spowodował, że cyfrowe regulatory PID budowane na bazie mikroprocesora z odpowiednim oprogramowaniem zastąpiły dotychczasowe rozwiązania pneumatyczne, mechaniczne i elektromechaniczne. Zagwarantowanie niezawodności układu elektronicznego z oprogramowaniem polega między innymi na wykrywaniu i usuwaniu błędów, które mogą prowadzić do awarii. W pracy przedstawiono matematyczne metody weryfikacji mikroprocesorowych regulatorów PID mające na celu wykrycie błędów w systemie i w konsekwencji zwiększenie jego niezawodności poprzez zmniejszenie prawdopodobieństwa wystąpienia awarii. Metody testowania opierają się na tak zwanym podejściu modelowym, to znaczy, wykorzystują model systemu jako wzorzec zachowania.
