HybridSAL relational abstracter

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

Volumn 7358 LNCS, Issue , 2012, Pages 725-731

  Tiwari, Ashish ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDED MODEL; DISCRETE STATE TRANSITION SYSTEMS; DISCRETE SYSTEMS; HYBRID DYNAMICAL SYSTEMS; OUTPUT PROPERTY; SAFETY PROPERTY; TOOLSUITE;

COMPUTER AIDED ANALYSIS; HYBRID SYSTEMS; MODEL CHECKING; POSITION CONTROL;

ROBUSTNESS (CONTROL SYSTEMS);

EID: 84864046117     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31424-7_56     Document Type: Conference Paper

References (10)

1. Alur, R., Dang, T., Ivančíc, F.: Counter-Example Guided Predicate Abstraction of Hybrid Systems. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 208-223. Springer, Heidelberg (2003)
2. Chutinan, A., Butts, K.R.: SmartVehicle baseline report: Dynamic analysis of hybrid system models for design validation. Ford Motor Co., Tech. report, Open Experimental Platform for DARPA MoBIES, Contract F33615-00-C-1698 (2002)
3. Clarke, E., Fehnker, A., Han, Z., Krogh, B.H., Stursberg, O., Theobald, M.: Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 192-207. Springer, Heidelberg (2003)
4. Fehnker, A., Ivančić, F.: Benchmarks for Hybrid Systems Verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 326-341. Springer, Heidelberg (2004)
5. Frehse, G., Le Guernic, C., Donzé, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: Scalable Verification of Hybrid Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379-395. Springer, Heidelberg (2011)
6. Hybridsal: Modeling and abstracting hybrid systems, http://www.csl.sri. com/users/tiwari/HybridSalDoc.ps
7. The SAL intermediate language, Computer Science Laboratory, SRI International, Menlo Park, CA (2003), http://sal.csl.sri.com/
8. Sankaranarayanan, S., Tiwari, A.: Relational Abstractions for Continuous and Hybrid Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 686-702. Springer, Heidelberg (2011)
9. Sturm, T., Tiwari, A.: Verification and synthesis using real quantifier elimination. In: ISSAC 2011, pp. 329-336 (2011)
10. Tiwari, A.: Hybridsal relational abstracter, http://www.csl.sri.com/ ~tiwari/relational-abstraction/