{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:18:42Z","timestamp":1726053522206},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030320782"},{"type":"electronic","value":"9783030320799"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-32079-9_20","type":"book-chapter","created":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T14:05:05Z","timestamp":1570111505000},"page":"349-367","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs"],"prefix":"10.1007","author":[{"given":"Hansol","family":"Yoon","sequence":"first","affiliation":[]},{"given":"Yi","family":"Chou","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Frew","sequence":"additional","affiliation":[]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,1]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Alshiekh, M., Bloem, R., Ehlers, R., K\u00f6nighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: Thirty-Second AAAI Conference on Artificial Intelligence (2018)","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"20_CR2","unstructured":"Althoff, M.: An introduction to CORA 2015. In: Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 120\u2013151 (2015)"},{"key":"20_CR3","unstructured":"BBC News: Heathrow airport: Drone sighting halts departures, bBC News 8 January 2019: Cf. https:\/\/www.bbc.com\/news\/uk-46803713"},{"key":"20_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441","volume-title":"Convex Optimization","author":"S Boyd","year":"2004","unstructured":"Boyd, S., Vandenberghe, S.: Convex Optimization. Cambridge University Press, Cambridge (2004)"},{"key":"20_CR5","series-title":"Springer Series in Statistics","volume-title":"Time Series: Theory and Methods","author":"PJ Brockwell","year":"2009","unstructured":"Brockwell, P.J., Davis, R.A.: Time Series: Theory and Methods. Springer Series in Statistics, 2nd edn. Springer, New York (2009)","edition":"2"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Chati, Y.S., Balakrishnan, H.: A gaussian process regression approach to model aircraft engine fuel flow rate. In: Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, pp. 131\u2013140 (2017)","DOI":"10.1145\/3055004.3055025"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S.: Decomposed reachability analysis for nonlinear systems. In: 2016 IEEE Real-Time Systems Symposium (RTSS), pp. 13\u201324. IEEE Press, November 2016","DOI":"10.1109\/RTSS.2016.011"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Taylor model flowpipe construction for nonlinear hybrid systems. In: Proceedings RTSS 2012, pp. 183\u2013192. IEEE (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S.: Model-predictive real-time monitoring of linear systems. In: IEEE Real-Time Systems Symposium (RTSS), pp. 297\u2013306. IEEE Press (2017)","DOI":"10.1109\/RTSS.2017.00035"},{"key":"20_CR11","unstructured":"Chv\u00e1tal, V.: Linear Programming. Freeman (1983)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Potok, M., Mitra, S., Viswanathan, M.: C2E2: a tool for verifying annotated hybrid systems. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015, Seattle, WA, USA, 14\u201316 April 2015, pp. 307\u2013308 (2015)","DOI":"10.1145\/2728606.2728646"},{"issue":"1","key":"20_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1080\/00401706.1970.10488634","volume":"12","author":"AE Hoerl","year":"1970","unstructured":"Hoerl, A.E., Kennard, R.W.: Ridge regression: biased estimation for nonorthogonal problems. Technometrics 12(1), 55\u201367 (1970)","journal-title":"Technometrics"},{"issue":"2","key":"20_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/2723871","volume":"15","author":"TT Johnson","year":"2016","unstructured":"Johnson, T.T., Bak, S., Caccamo, M., Sha, L.: Real-time reachability for verified simplex design. ACM Trans. Embedd. Comput. Syst. 15(2), 29 (2016)","journal-title":"ACM Trans. Embedd. Comput. Syst."},{"issue":"2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/s10703-017-0276-9","volume":"51","author":"B K\u00f6nighofer","year":"2017","unstructured":"K\u00f6nighofer, B., et al.: Shield synthesis. Formal Methods Syst. Des. 51(2), 332\u2013361 (2017)","journal-title":"Formal Methods Syst. Des."},{"key":"20_CR16","unstructured":"Lygeros, J., Prandini, M.: Aircraft and weather models for probabilistic collision avoidance in air traffic control. In: Proceedings of the 41st IEEE Conference on Decision and Control, 2002, vol. 3, pp. 2427\u20132432, December 2002"},{"issue":"3","key":"20_CR17","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MCS.2011.940571","volume":"31","author":"J Mattingley","year":"2011","unstructured":"Mattingley, J., Wang, Y., Boyd, S.: Receding horizon control: automatic generation of high-speed solvers. IEEE Control Syst. Mag. 31(3), 52\u201365 (2011)","journal-title":"IEEE Control Syst. Mag."},{"issue":"4","key":"20_CR18","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1111\/j.1467-9892.1983.tb00373.x","volume":"4","author":"AI McLeod","year":"1983","unstructured":"McLeod, A.I., Li, W.K.: Diagnostic checking arma time series models using squared-residual autocorrelations. J. Time Series Anal. 4(4), 1467\u20139892 (1983)","journal-title":"J. Time Series Anal."},{"key":"20_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10703-017-0275-x","volume":"1","author":"P Moosbrugger","year":"2017","unstructured":"Moosbrugger, P., Rozier, K.Y., Schumann, J.: R2u2: monitoring and diagnosis of security threats for unmanned aerial systems. Formal Methods Syst. Des. 1, 31\u201361 (2017)","journal-title":"Formal Methods Syst. Des."},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/978-3-030-01090-4_25","volume-title":"Automated Technology for Verification and Analysis","author":"D Phan","year":"2018","unstructured":"Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S.A., Stoller, S.D.: Neural state classification for hybrid systems. In: Lahiri, S.K., Wang, C. (eds.) ATVA 2018. LNCS, vol. 11138, pp. 422\u2013440. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_25"},{"key":"20_CR21","unstructured":"Pixhawk: Independent open-hardware autopilot (2018), cf. pixhawk.org . Accessed October 2018"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Prandini, M., Lygeros, J., Nilim, A., Sastry, S.: Randomized algorithms for probabilistic aircraft conflict detection. In: Proceedings of the IEEE Conference on Decision and Control, vol. 3, pp. 2444\u20132449, February 1999","DOI":"10.2514\/6.1999-4144"},{"issue":"4","key":"20_CR23","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L Sha","year":"2001","unstructured":"Sha, L.: Using simplicity to control complexity. IEEE Softw. 18(4), 20\u201328 (2001)","journal-title":"IEEE Softw."},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Stevens, M.N., Atkins, E.M.: Multi-mode guidance for an independent multicopter geofencing system. In: 16th AIAA Aviation Technology, Integration, and Operations Conference, p. 3150. AIAA (2016)","DOI":"10.2514\/6.2016-3150"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Stevens, M.N., Rastgoftar, H., Atkins, E.M.: Specification and evaluation of geofence boundary violation detection algorithms. In: International Conference on Unmanned Aircraft Systems (ICUAS), pp. 1588\u20131596. IEEE (2017)","DOI":"10.1109\/ICUAS.2017.7991472"},{"key":"20_CR26","unstructured":"Vinod, A.: Scalable Stochastic Reachability: Theory, Computation, and Control. Ph.D. thesis, University of New Mexico (2018)"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Vinod, A.P., Gleason, J.D., Oishi, M.M.K.: SReachTools: A MATLAB Stochastic Reachability Toolbox, 16\u201318 April 2019. https:\/\/sreachtools.github.io","DOI":"10.1145\/3302504.3313352"},{"key":"20_CR28","unstructured":"Watza, S.Z.: Assessment of an online RF propagation hybrid architecture for communication-aware small unmanned aircraft systems (2018)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32079-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,30]],"date-time":"2022-09-30T21:55:48Z","timestamp":1664574948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32079-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030320782","9783030320799"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32079-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.react.uni-saarland.de\/rv2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"37% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}