Formal Verification in Automated Manufacturing
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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Online |
| Jazyk: | angličtina |
| Vydáno: |
FAU University Press
2025
|
| Témata: | |
| On-line přístup: | ONIX_20251215T160010_9783961477449_33 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| _version_ | 1869517855977897984 |
|---|---|
| author | Tang, Yiheng |
| author_browse | Tang, Yiheng |
| author_facet | Tang, Yiheng |
| author_sort | Tang, Yiheng |
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-170230 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | FAU University Press |
| publisherStr | FAU University Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1702302025-12-16T05:30:15Z Formal Verification in Automated Manufacturing Tang, Yiheng control technology formale Methode Automation formal method Steuerungstechnik automation finite automaton endlicher Automat thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPC Computer aided manufacture (CAM) 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. 2025-12-16T05:30:13Z 2025-12-16T05:30:13Z 2025-12-15T15:03:54Z 2024 book ONIX_20251215T160010_9783961477449_33 https://library.oapen.org/handle/20.500.12657/109153 9783961477449 9783961477432 https://directory.doabooks.org/handle/20.500.12854/170230 eng FAU Studien aus der Elektrotechnik open access image/jpeg Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/109153/1/9783961477449.pdf FAU University Press 10.25593/978-3-96147-744-9 10.25593/978-3-96147-744-9 2c600dea-eece-4066-87be-da335e323fdb 9783961477449 9783961477432 180 Erlangen open access |
| spellingShingle | control technology formale Methode Automation formal method Steuerungstechnik automation finite automaton endlicher Automat thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPC Computer aided manufacture (CAM) Tang, Yiheng Formal Verification in Automated Manufacturing |
| title | Formal Verification in Automated Manufacturing |
| title_full | Formal Verification in Automated Manufacturing |
| title_fullStr | Formal Verification in Automated Manufacturing |
| title_full_unstemmed | Formal Verification in Automated Manufacturing |
| title_short | Formal Verification in Automated Manufacturing |
| title_sort | formal verification in automated manufacturing |
| topic | control technology formale Methode Automation formal method Steuerungstechnik automation finite automaton endlicher Automat thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPC Computer aided manufacture (CAM) |
| topic_facet | control technology formale Methode Automation formal method Steuerungstechnik automation finite automaton endlicher Automat thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPC Computer aided manufacture (CAM) |
| url | ONIX_20251215T160010_9783961477449_33 |
| work_keys_str_mv | AT tangyiheng formalverificationinautomatedmanufacturing |