PARALLELIZED ROBUSTNESS COMPUTATION FOR CYBER PHYSICALSYSTEMS VERIFICATION
Failures in cyber physical systems can be costly in terms of money and lives. The marsclimate orbiter alone had a mission cost of 327.6 million USD which was almostcompletely wasted do to an uncaught design flaw. This shows the importance of beingable to define formal requirements as well as being a...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
OpenSIUC
2020
|
| Subjects: | |
| Online Access: | https://opensiuc.lib.siu.edu/theses/2668 https://opensiuc.lib.siu.edu/cgi/viewcontent.cgi?article=3682&context=theses |