In recent decades, discrete-event modelling has been widely utilised to address control engineering problems. Comparing with conventional dynamic system modelling where physical behaviour is explicitly to describe, discrete-event modelling focuses on a more abstract level where logical behaviour is of interest. In this dissertation, we focus on the formal verification of the logical closedloop behaviour of control systems. To satisfy safety and\/or liveness requirements according to given technical specifications, we exploit the formal semantics of control programmes to represent the entire closed-loop behaviour in a discrete-event model, from which the properties of interest can be formally verified through an efficient method.<\/p>","protected":false},"excerpt":{"rendered":"
In den letzten Jahrzehnten wurde die ereignisdiskrete Modellierung immer \u00f6fter angewandt, um regelungstechnische Probleme zu behandeln. Im Vergleich zur konventionellen Modellierung von dynamischen Systemen, wobei physikalisches Verhalten explizit zu beschreiben ist, konzentriert sich die ereignisdiskrete Modellierung auf eine abstraktere Ebene, auf der logisches Verhalten von Interesse ist. In dieser Dissertation konzentrieren wir uns auf die […]<\/p>\n","protected":false},"featured_media":5222,"comment_status":"open","ping_status":"closed","template":"","meta":{"_acf_changed":false},"product_brand":[],"product_cat":[53],"product_tag":[],"class_list":{"0":"post-5221","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-fau-studien-aus-der-elektrotechnik","7":"has-post-title","8":"has-post-date","9":"has-post-category","10":"has-post-tag","11":"has-post-comment","12":"has-post-author","13":"","15":"first","16":"instock","17":"taxable","18":"shipping-taxable","19":"purchasable","20":"product-type-simple"},"acf":{"autor":"Tang, Yiheng","orcid":"0009-0003-0396-2619","ror":"00f7hpc57","herausgeber":"","orcid_hrsg":"","rorhrsg":"","bearbeiter":"","sonstige_beteiligte_personen":"","untertitel":"","zusatz":"","jahr":"2024","zeitschrift":"","serie":"","serie_name":false,"serie_band":"","serie_jahr":"","serie_titel_band":"","vortrage":"","issn":"","isbn":"","isbn13":"978-3-96147-743-2","seiten":"x, 180","sonstiges":"","band":25,"auflage":"","opus":"","dspace":"31223","e-isbn_pdf":"978-3-96147-744-9","doi":"https:\/\/doi.org\/10.25593\/978-3-96147-744-9","epub":"","e-isbn_epub":"","doi_epub":"","html":"","e-isbn_html":"","doi_html":"","e-isbn_reader":"","doi_reader":"","digibib":"","urn":"urn:nbn:de:101:1-2406070505305.583901238689","supplementary_material":"","sprache":["Englisch"],"ausgabe":"Softcover","suche":" 9783961477432 9783961477449 ","lizenz":"BY-4","bemerkung":"1\tFAU Press\r\n1\tHB\r\n4\tBSB \/ DNB\r\n1\tTNZB\r\n1\tTIB"},"builder_content":"","_links":{"self":[{"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product\/5221","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/types\/product"}],"replies":[{"embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/comments?post=5221"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/media\/5222"}],"wp:attachment":[{"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/media?parent=5221"}],"wp:term":[{"taxonomy":"product_brand","embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product_brand?post=5221"},{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product_cat?post=5221"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/www.university-press.fau.de\/en\/wp-json\/wp\/v2\/product_tag?post=5221"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}