Aufsatz in einer Fachzeitschrift
Formal Verification of Dynamical Control Systems (Addressing Integral Windup Phenomena Using Model-Checking)
Details zur Publikation
Autor(inn)en: | Tloul, M.; Schwarz, M.; Börcsök, J. |
Verlag: | World Scientific and Engineering Academy and Society (WSEAS) |
Publikationsjahr: | 2023 |
Zeitschrift: | WSEAS Transactions on Systems and Control |
Seitenbereich: | 393-400 |
Jahrgang/Band : | 18 |
ISSN: | 1991-8763 |
eISSN: | 2224-2856 |
DOI-Link der Erstveröffentlichung: |
URN / URL: |
