Journal article
Formal Verification of Dynamical Control Systems (Addressing Integral Windup Phenomena Using Model-Checking)
Publication Details
Authors: | Tloul, M.; Schwarz, M.; Börcsök, J. |
Publisher: | World Scientific and Engineering Academy and Society (WSEAS) |
Publication year: | 2023 |
Journal: | WSEAS Transactions on Systems and Control |
Pages range : | 393-400 |
Volume number: | 18 |
ISSN: | 1991-8763 |
eISSN: | 2224-2856 |
DOI-Link der Erstveröffentlichung: |
URN / URL: |
