Skip to main content

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 user specifications. In this work we use Metric Temporal Logic (MTL) to describe the user specifications for the hybrid systems. We then try to falsify the MTL specification using global minimization of robustness metric. Global minimization is carried out using stochastic optimization algorithms like Monte-Carlo (MC) and Extended Ant Colony Optimization (EACO) algorithms. Irrespective of the type of the model we provide as an input to S-Taliro, the user nee... (more)
Created Date 2011
Contributor Annapureddy, Yashwanth Singh Rahul (Author) / Fainekos, Georgios (Advisor) / Lee, Yann-Hang (Committee member) / Gupta, Sandeep (Committee member) / Arizona State University (Publisher)
Subject Computer science
Type Masters Thesis
Extent 68 pages
Language English
Reuse Permissions All Rights Reserved
Note M.S. Computer Science 2011
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS

  Full Text
810.2 KB application/pdf
Download Count: 819

Description Dissertation/Thesis