TY - GEN
T1 - S-TaLiRo
T2 - 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011
AU - Annpureddy, Yashwanth
AU - Liu, Che
AU - Fainekos, Georgios
AU - Sankaranarayanan, Sriram
N1 - Funding Information:
This work was partially supported by a grant from the NSF Industry/University Cooperative Research Center (I/UCRC) on Embedded Systems at Arizona State University and NSF awards CNS-1017074 and CNS-1016994.
PY - 2011
Y1 - 2011
N2 - S-TaLiRo is a Matlab (TM) toolbox that searches for trajectories of minimal robustness in Simulink/Stateflow diagrams. It can analyze arbitrary Simulink models or user defined functions that model the system. At the heart of the tool, we use randomized testing based on stochastic optimization techniques including Monte-Carlo methods and Ant-Colony Optimization. Among the advantages of the toolbox is the seamless integration inside the Matlab environment, which is widely used in the industry for model-based development of control software. We present the architecture of S-TaLiRo and its working on an application example.
AB - S-TaLiRo is a Matlab (TM) toolbox that searches for trajectories of minimal robustness in Simulink/Stateflow diagrams. It can analyze arbitrary Simulink models or user defined functions that model the system. At the heart of the tool, we use randomized testing based on stochastic optimization techniques including Monte-Carlo methods and Ant-Colony Optimization. Among the advantages of the toolbox is the seamless integration inside the Matlab environment, which is widely used in the industry for model-based development of control software. We present the architecture of S-TaLiRo and its working on an application example.
UR - http://www.scopus.com/inward/record.url?scp=79953193117&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79953193117&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-19835-9_21
DO - 10.1007/978-3-642-19835-9_21
M3 - Conference contribution
AN - SCOPUS:79953193117
SN - 9783642198342
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 254
EP - 257
BT - Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2011, Proceedings
Y2 - 26 March 2011 through 3 April 2011
ER -