Temporal precedence checking for switched models and its application to a parallel landing protocol

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

Volumn 8442 LNCS, Issue , 2014, Pages 215-229

  Duggirala, Parasara Sridhar ^a   Wang, Le ^a   Mitra, Sayan ^a   Viswanathan, Mahesh ^a   Muñoz, César ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b NASA HEADQUARTERS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS;

ALERTING SYSTEMS; CLOSELY SPACED PARALLEL RUNWAYS; DIFFERENT OPERATING CONDITIONS; INITIAL VELOCITIES; ITS APPLICATIONS; NONLINEAR SWITCHED SYSTEMS; SOUND AND COMPLETE; TRANSPORTATION SYSTEM;

MODEL CHECKING;

EID: 84958522953     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-06410-9_16     Document Type: Conference Paper

References (13)

1. Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition: A synopsis. SIGSAM Bull. 10(1), 10-12 (1976)
2. de Moura, L., Bjørner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
3. Deng, Y., Rajhans, A., Julius, A.A.: STRONG: A trajectory-based verification toolbox for hybrid systems. In: Joshi, K., Siegle, M., Stoelinga, M., D'Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 165-168. Springer, Heidelberg (2013)
4. Donzé, A.: Breach, A toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 167-170. Springer, Heidelberg (2010)
5. Donzé, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174-189. Springer, Heidelberg (2007)
6. Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: Proceedings of the 13th International Conference on Embedded Software (EM-SOFT 2013), Montreal, Canada (2013)
7. Johnson, S.C., Lohr, G.W., McKissick, B.T., Guerreiro, N.M., Volk, P.: Simplified aircraft-based paired approach: Concept definition and initial analysis. Technical Report NASA/TP-2013-217994, NASA, Langley Research Center (2013)
8. Liberzon, D.: Switching in Systems and Control. In: Systems and Control: Foundations and Applications. Birkhauser, Boston (2003)
9. Lohmiller, W., Slotine, J.J.E.: On contraction analysis for non-linear systems. Automat-ica 32(6), 683-696 (1998)
10. Manna, Z., Pnueli, A.: A hierarchy of temporal properties. In: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing (PODC 1987), Vancouver, British Columbia, Canada, p. 205. ACM (1987)
11. Nghiem, T., Sankaranarayanan, S., Fainekos, G., Ivancić, F., Gupta, A., Pappas, G.J.: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2010), Stockholm, Sweden, pp. 211-220. ACM (2010)
12. Perry, R.B., Madden, M.M., Torres-Pomales, W., Butler, R.W.: The simplified aircraft-based paired approach with the ALAS alerting algorithm. Technical Report NASA/TM-2013-217804, NASA, Langley Research Center (2013)
13. Wood, G., Zhang, B.: Estimation of the Lipschitz constant of a function. Journal of Global Optimization 8, 91-103 (1996)