{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:38:35Z","timestamp":1725791915603},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319064093"},{"type":"electronic","value":"9783319064109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06410-9_16","type":"book-chapter","created":{"date-parts":[[2014,4,18]],"date-time":"2014-04-18T17:03:01Z","timestamp":1397840581000},"page":"215-229","source":"Crossref","is-referenced-by-count":11,"title":["Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol"],"prefix":"10.1007","author":[{"given":"Parasara Sridhar","family":"Duggirala","sequence":"first","affiliation":[]},{"given":"Le","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[]},{"given":"C\u00e9sar","family":"Mu\u00f1oz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1093390.1093393","volume":"10","author":"G.E. Collins","year":"1976","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition: A synopsis. SIGSAM Bull.\u00a010(1), 10\u201312 (1976)","journal-title":"SIGSAM Bull."},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-40196-1_13","volume-title":"Quantitative Evaluation of Systems","author":"Y. Deng","year":"2013","unstructured":"Deng, Y., Rajhans, A., Julius, A.A.: STRONG: A trajectory-based verification toolbox for hybrid systems. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol.\u00a08054, pp. 165\u2013168. Springer, Heidelberg (2013)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, A toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 167\u2013170. Springer, Heidelberg (2010)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-71493-4_16","volume-title":"Hybrid Systems: Computation and Control","author":"A. Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 174\u2013189. Springer, Heidelberg (2007)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2013), Montreal, Canada (2013)","DOI":"10.1109\/EMSOFT.2013.6658604"},{"key":"16_CR7","unstructured":"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)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Liberzon, D.: Switching in Systems and Control. In: Systems and Control: Foundations and Applications. Birkhauser, Boston (2003)","DOI":"10.1007\/978-1-4612-0017-8"},{"issue":"6","key":"16_CR9","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1016\/S0005-1098(98)00019-3","volume":"32","author":"W. Lohmiller","year":"1998","unstructured":"Lohmiller, W., Slotine, J.J.E.: On contraction analysis for non-linear systems. Automatica\u00a032(6), 683\u2013696 (1998)","journal-title":"Automatica"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/41840.41857"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Nghiem, T., Sankaranarayanan, S., Fainekos, G., Ivanci\u0107, 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\u2013220. ACM (2010)","DOI":"10.1145\/1755952.1755983"},{"key":"16_CR12","unstructured":"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)"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00229304","volume":"8","author":"G. Wood","year":"1996","unstructured":"Wood, G., Zhang, B.: Estimation of the Lipschitz constant of a function. Journal of Global Optimization\u00a08, 91\u2013103 (1996)","journal-title":"Journal of Global Optimization"}],"container-title":["Lecture Notes in Computer Science","FM 2014: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06410-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T13:03:27Z","timestamp":1558875807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06410-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319064093","9783319064109"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}