Verification of Digital Controller Verifications
This thesis presents an analysis framework to verify the stablility property of a closed-loop control system with a software controller implementation. The usual approach to verifying stability for software uses experiments which are costly and can be dangerous. More recently, mathematical models of...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2005
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/681 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1680&context=etd |