Explore
Formal Verification in Automated Manufacturing
Yiheng Tang
2024
0 Ungluers have
Faved this Work
Login to Fave
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.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 2 times via unglue.it ebook links.
- 2 - pdf (CC BY) at OAPEN Library.
Keywords
- Automation
- control technology
- endlicher Automat
- finite automaton
- formal method
- Formale Methode
- Steuerungstechnik
Links
DOI: 10.25593/978-3-96147-744-9Editions