S-Taliro: A Tool for Temporal Logic Falsification for Hybrid Systems
abstract: S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against us...
| Other Authors: | |
|---|---|
| Format: | Dissertation |
| Language: | English |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2286/R.I.14382 |