Finding errors of hybrid systems by optimising an abstraction-based quality estimate

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5668 LNCS, Issue , 2009, Pages 153-168

  Ratschan, Stefan ^a   Smaus, Jan Georg ^b  

^a INSTITUTE OF MATHEMATICS   (Czech Republic)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR TRAJECTORIES; INITIAL POINT; OPTIMISATIONS; QUALITY FUNCTION; RUNNING SIMULATIONS; SAFETY PROPERTY; VERIFICATION ALGORITHMS;

HYBRID COMPUTERS; HYBRID SYSTEMS;

ABSTRACTING;

EID: 70350365903     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02949-3_12     Document Type: Conference Paper

References (22)

1. Alur, R., Dang, T., Ivancic, F.: Predicate abstraction for reachability analysis of hybrid systems. Trans. on Embedded Computing Sys. 5(1), 152-199 (2006)
2. Bemporad, A., Bicchi, A., Buttazzo, G. (eds.): HSCC 2007. LNCS, vol. 4416. Springer, Heidelberg (2007)
3. Bhatia, A., Frazzoli, E.: Incremental search methods for reachability analysis of continuous and hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 142-156. Springer, Heidelberg (2004)
4. Bhatia, A., Frazzoli, E.: Sampling-based resolution-complete algorithms for safety falsification of linear systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 606-609. Springer, Heidelberg (2008)
5. Cheng, P., Kuma, V.: Sampling-based falsification and verification of controllers for continuous dynamic systems. Int. J. of Robotics Research 27(11-12), 1232-1245 (2008)
6. Clarke, E., Fehnker, A., Han, Z., Krogh, B., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int. J. of Foundations of Comp. Sci. 14(4), 583-604 (2003)
7. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
8. Damm, W., Hermanns, H. (eds.): CAV 2007: 19th Int. Conf. on Computer Aided Verification. LNCS, vol. 4590. Springer, Heidelberg (2007)
9. Donzé, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, et al. (eds.) [2], pp. 174-189
10. Girard, A., Pappas, G.: Verification using simulation. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 272-286. Springer, Heidelberg (2006)
11. Gulavani, B.S., Henzinger, T.A., Kannan, Y., Nori, A.V., Rajamani, S.K.: SYNERGY: a new algorithm for property checking. In: Young, M., Devanbu, P.T. (eds.) SIGSOFT '06/FSE-14: Proc. of the 14th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pp. 117-127. ACM, New York (2006)
12. Julius, A.A., Fainekos, G.E., Anand, M., Lee, I., Pappas, G.J.: Robust test generation and coverage for hybrid systems. In: Bemporad, et al. (eds.) [2], pp. 329-242
13. Kolda, T.G., Lewis, R.M., Torczon, V.: Optimization by direct search: New perspectives on some classical and modern methods. SIAM Review 45(3), 385-482 (2003)
14. Lerda, F., Kapinski, J., Maka, H., Clarke, E., Krogh, B.: Model checking in-the-loop: Finding counterexamples by systematic simulation. In: American Control Conf. (2008)
15. Nahhal, T., Dang, T.: Test coverage for continuous and hybrid systems. In: Damm, Hermanns (eds.) [8], pp. 449-462
16. Park, T., Barton, P.I.: State event location in differential-algebraic models. ACM Trans. Model. Comput. Simul. 6(2), 137-165 (1996)
17. Paula, F.M.D., Hu, A.J.: An effective guidance strategy for abstraction-guided simulation. In: DAC 2007: 44th Annual Conf. on Design Automation, pp. 63-68. ACM, New York (2007)
18. Plaku, E., Kavraki, L.E., Vardi, M.Y.: Hybrid systems: From verification to falsification. In: Damm, Hermanns (eds.) [8], pp. 463-476
19. Ratschan, S., She, Z.: Safety verification of hybrid systems by constraint propagation based abstraction refinement. ACM Trans. in Embedded Computing Systems 6(1) (2007)
20. Ratschan, S., Smaus, J.-G.: Finding errors of hybrid systems by optimising an abstraction-based quality estimate. Technical Report 51, AVACS (2009), http://www.avacs.org
21. Sewell, G.: The Numerical Solution of Ordinary and Partial Differential Equations. Academic Press, London (1988)
22. Sutton, R.S., Barto, A.G.: Reinforcement Learning. MIT Press, Cambridge (1998)