Symbolic robustness analysis

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2009, Pages 355-363

  Majumdar, Rupak ^a   Saha, Indranil ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE CONTROL; CONTINUOUS CONTROL; CONTROL SOFTWARE; DESIGN GOAL; DESIGNING SYSTEMS; KEY FEATURE; NON-LINEAR OPTIMIZATION; ROBUSTNESS ANALYSIS; SMALL PERTURBATIONS; SOFTWARE IMPLEMENTATION; SYMBOLIC EXECUTION; TEST GENERATIONS; TEST VECTORS;

ALGORITHMS; COMPUTER SOFTWARE; REAL TIME SYSTEMS; ROBUST CONTROL;

ROBUSTNESS (CONTROL SYSTEMS);

EID: 77649317341     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2009.17     Document Type: Conference Paper

References (17)

1. S. Boyd, L. E. Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, ser. Series in Applied Mathematics, vol 15. SIAM, 1994.
2. C.-Y. Kao, A. Megretzki, U.Jönsson, and A. Rantzer, "A Matlab toolbox for robustness analysis," in IEEE International Symposium on Computer-Aided Control Systems Design. IEEE, 2004.
3. J. King, "Symbolic execution and program testing," Communications of the ACM, vol. 19(7), pp. 385-394, 1976.
4. P. Godefroid, N. Klarlund, and K. Sen, "Dart: directed automated random testing." in PLDI, 2005.
5. K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," in FSE, 2005.
6. C. Cadar, V. Ganesh, P. Pawlowski, D. Dill, and D. Engler, "Exe: automatically generating inputs of death." in CCS, 2006.
7. R. Xu, P. Godefroid, and R. Majumdar, "Testing for buffer overflows with length abstraction," in ISSTA, 2008, pp. 27-38.
8. LINDO Systems Inc., "LINDO API 6.0 - powerful library of optimization solvers and mathematical programming tools," http://www.lindo.com/.
9. V. Gupta, T. Henzinger, and R. Jagadeesan, "Robust timed automata," in Hybrid and Real-time Systems, ser. Lecture Notes in Computer Science 1201. Springer, 1997, pp. 331-345.
10. E. Frazzoli, M. Dahleh, and E. Feron, "Robust hybrid control for autonomous vehicle motion planning," in IEEE Conference on Decision and Control vol. 1. IEEE, 2000, pp. 821-826.
11. S. Xia, B. D. Vito, and C. Muñoz, "Automated test generation for engineering applications," in ASE 05: Automated Software Engineering. ACM,2005,pp.283-286.
12. S. Xia, B. D. Vito, and C. Muñoz, "Predicate abstraction of programs with non-linear computation," in ATVA 06: Automated Technology for Verification and Analysis, ser. Lecture Notes in Computer Science, vol. 4218. Springer-Verlag, 2006, pp. 352-368.
13. D. Bostic, W. P. Milam, Y. Wang, and J. A. Cook, "Smart vehicle baseline report," 2001, http://vehicle.berkeley.edu/mobies.
14. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer, "Cil: Intermediate language and tools for analysis and transformation of c programs," in CC, 2002.
15. V. Ganesh and D. L. Dill, "A decision procedure for bitvectors and arrays," in CAV, 2007.
16. dSPACE, "TargetLink," http://www.dspaceinc.com/ww/zh/zho /home/products/sw/pcgs/targetli.cfm?nv=bbp.
17. H. Jongen and G.-W. Weber, "On parametric nonlinear programming," Annals of Operations Research, vol. 27, pp. 253-284, 1990.