Simulation and the Monte Carlo Method (Wiley Series in Probability and Statistics)
Simulation and the Monte Carlo Method (Wiley Series in Probability and Statistics)
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Falsification of LTL Safety Properties in Hybrid Systems
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Breach, a toolbox for verification and parameter synthesis of hybrid systems
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Falsification of temporal properties of hybrid systems using the cross-entropy method
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Computing bounded reach sets from sampled simulation traces
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Mining requirements from closed-loop control models
Proceedings of the 16th international conference on Hybrid systems: computation and control
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
Efficient robust monitoring for STL
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
STRONG: a trajectory-based verification toolbox for hybrid systems
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Hi-index | 0.00 |
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.