{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:39:31Z","timestamp":1743010771715,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030873479"},{"type":"electronic","value":"9783030873486"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-87348-6_9","type":"book-chapter","created":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T18:08:32Z","timestamp":1634494112000},"page":"147-156","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Collision-Free 3D Flocking Using the\u00a0Distributed Simplex Architecture"],"prefix":"10.1007","author":[{"given":"Usama","family":"Mehmood","sequence":"first","affiliation":[]},{"given":"Scott","family":"D. Stoller","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]},{"given":"Scott","family":"A. Smolka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"9_CR1","unstructured":"Mehmood, U., Stoller, S.D., Grosu, R., Roy, S., Damare, A., Smolka, S.A.: A distributed simplex architecture for multi-agent systems. CoRR, vol. abs\/2012.10153 (2020). http:\/\/arxiv.org\/abs\/2012.10153"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Seto, D., Sha, L.: A case study on analytical analysis of the inverted pendulum real-time control system. Technical Report CMU\/SEI-99-TR-023, Software Engineering Institute, Carnegie Mellon University, Pittsburgh (1999)","DOI":"10.21236\/ADA373286"},{"issue":"4","key":"9_CR3","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":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-030-55754-6_6","volume-title":"NASA Formal Methods","author":"DT Phan","year":"2020","unstructured":"Phan, D.T., Grosu, R., Jansen, N., Paoletti, N., Smolka, S.A., Stoller, S.D.: Neural simplex architecture. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 97\u2013114. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_6"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Gurriet, T., Singletary, A., Reher, J., Ciarletta, L., Feron, E., Ames, A.: Towards a framework for realizable safety critical control through active set invariance. In: 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS), pp. 98\u2013106 (2018)","DOI":"10.1109\/ICCPS.2018.00018"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.arcontrol.2018.09.006","volume":"46","author":"M Egerstedt","year":"2018","unstructured":"Egerstedt, M., Pauli, J.N., Notomista, G., Hutchinson, S.: Robot ecology: constraint-based control design for long duration autonomy. Ann. Rev. Control 46, 1\u20137 (2018)","journal-title":"Ann. Rev. Control"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Wang, L., Ames, A.D., Egerstedt, M.: Safety barrier certificates for heterogeneous multi-robot systems. In: 2016 American Control Conference (ACC), pp. 5213\u20135218. IEEE (2016)","DOI":"10.1109\/ACC.2016.7526486"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477\u2013492. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24743-2_32"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.automatica.2005.08.007","volume":"42","author":"S Prajna","year":"2006","unstructured":"Prajna, S.: Barrier certificates for nonlinear model validation. Autom. 42(1), 117\u2013126 (2006)","journal-title":"Autom."},{"issue":"27","key":"9_CR10","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.ifacol.2015.11.154","volume":"48","author":"U Borrmann","year":"2015","unstructured":"Borrmann, U., Wang, L., Ames, A.D., Egerstedt, M.: Control barrier certificates for safe swarm behavior. IFAC-PapersOnLine 48(27), 68\u201373 (2015)","journal-title":"IFAC-PapersOnLine"},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/37402.37406","volume":"21","author":"CW Reynolds","year":"1987","unstructured":"Reynolds, C.W.: Flocks, herds and schools: a distributed behavioral model. SIGGRAPH Comput. Graph. 21(4), 25\u201334 (1987)","journal-title":"SIGGRAPH Comput. Graph."}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Outer Space"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87348-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T18:15:04Z","timestamp":1634494504000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87348-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030873479","9783030873486"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87348-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}