{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:44:47Z","timestamp":1778121887128,"version":"3.51.4"},"reference-count":27,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T00:00:00Z","timestamp":1570492800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS 1739936, CNS 193572"],"award-info":[{"award-number":["CNS 1739936, CNS 193572"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2019,10,31]]},"abstract":"<jats:p>\n            Reachable set computation is one of the primary techniques for safety verification of linear dynamical systems. In reality the underlying dynamics have uncertainties like parameter variations or modeling uncertainties. Therefore, the reachable set computation must consider the uncertainties in the dynamics to be useful\n            <jats:italic>i.e<\/jats:italic>\n            . the computed reachable set should be over or under approximation if not exact. This paper presents a technique to compute reachable set of linear dynamical systems with uncertainties. First, we introduce a construct called support of a matrix. Using this construct, we present a set of sufficient conditions for which reachable set for uncertain linear system can be computed efficiently; and safety verification can be performed using bi-linear programming. Finally, given a linear dynamical system, we compute robust reachable set, which accounts for all possible uncertainties that can be handled by the sufficient conditions presented. Experimental evaluation on benchmarks reveal that our algorithm is computationally very efficient.\n          <\/jats:p>","DOI":"10.1145\/3358229","type":"journal-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T13:13:05Z","timestamp":1570713185000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Robust Reachable Set"],"prefix":"10.1145","volume":"18","author":[{"given":"Bineet","family":"Ghosh","sequence":"first","affiliation":[{"name":"University of North Carolina at Chapel Hill"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parasara Sridhar","family":"Duggirala","sequence":"additional","affiliation":[{"name":"University of North Carolina at Chapel Hill"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,8]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Modeling, Design, and Simulation of Systems with Uncertainties","author":"Althoff Matthias","unstructured":"Matthias Althoff , Bruce H. Krogh , and Olaf Stursberg . 2011. Analyzing reachability of linear dynamic systems with parametric uncertainties . In Modeling, Design, and Simulation of Systems with Uncertainties . Springer , 69--94. Matthias Althoff, Bruce H. Krogh, and Olaf Stursberg. 2011. Analyzing reachability of linear dynamic systems with parametric uncertainties. In Modeling, Design, and Simulation of Systems with Uncertainties. Springer, 69--94."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434084"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"e_1_2_1_4_1","unstructured":"Hongxu Chen Sayan Mitra and Guangyu Tian. 2014. Motor-transmission drive system: A benchmark example for safety verification. In ARCH@CPSWeek. 9--18.  Hongxu Chen Sayan Mitra and Guangyu Tian. 2014. Motor-transmission drive system: A benchmark example for safety verification. In ARCH@CPSWeek. 9--18."},{"key":"e_1_2_1_5_1","volume-title":"CAV 2013. Proceedings.","author":"Chen Xin","year":"2013","unstructured":"Xin Chen , Erika \u00c1brah\u00e1m , and Sriram Sankaranarayanan . 2013 . Flow*: An analyzer for non-linear hybrid systems. In Computer Aided Verification - 25th International Conference , CAV 2013. Proceedings. Xin Chen, Erika \u00c1brah\u00e1m, and Sriram Sankaranarayanan. 2013. Flow*: An analyzer for non-linear hybrid systems. In Computer Aided Verification - 25th International Conference, CAV 2013. Proceedings."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"e_1_2_1_7_1","volume-title":"IFAC Proceedings Volumes 44, 1 (2011), 4525--4533. 18th IFAC World Congress.","author":"Combastel C.","unstructured":"C. Combastel and S. A. Raka . 2011. On computing envelopes for discrete-time linear systems with affine parametric uncertainties and bounded inputs . IFAC Proceedings Volumes 44, 1 (2011), 4525--4533. 18th IFAC World Congress. C. Combastel and S. A. Raka. 2011. On computing envelopes for discrete-time linear systems with affine parametric uncertainties and bounded inputs. IFAC Proceedings Volumes 44, 1 (2011), 4525--4533. 18th IFAC World Congress."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049824"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_5"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_26"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011224403708"},{"key":"e_1_2_1_14_1","unstructured":"Victor Gan Guy A. Dumont and Ian Mitchell. 2014. Benchmark problem: A PK\/PD model and safety constraints for anesthesia delivery. In ARCH@CPSWeek. 1--8.  Victor Gan Guy A. Dumont and Ian Mitchell. 2014. Benchmark problem: A PK\/PD model and safety constraints for anesthesia delivery. In ARCH@CPSWeek. 1--8."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01099648"},{"key":"e_1_2_1_17_1","volume-title":"Limebeer","author":"Green Michael","year":"2012","unstructured":"Michael Green and David J. N . Limebeer . 2012 . Linear Robust Control. Courier Corporation . Michael Green and David J. N. Limebeer. 2012. Linear Robust Control. Courier Corporation."},{"key":"e_1_2_1_18_1","volume-title":"Workshop on Applied Verification for Continuous and Hybrid Systems.","author":"Kaynama Shahab","unstructured":"Shahab Kaynama and C. Tomlin . 2014. Benchmark: Flight envelope protection in autonomous quadrotors . In Workshop on Applied Verification for Continuous and Hybrid Systems. Shahab Kaynama and C. Tomlin. 2014. Benchmark: Flight envelope protection in autonomous quadrotors. In Workshop on Applied Verification for Continuous and Hybrid Systems."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.50357"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02307379"},{"key":"e_1_2_1_21_1","volume-title":"Kurzhanski and Pravin Varaiya","author":"Alexander","year":"2000","unstructured":"Alexander B. Kurzhanski and Pravin Varaiya . 2000 . Ellipsoidal techniques for reachability analysis: Internal approximation. Systems 8 Control Letters 41, 3 (2000), 201--211. Alexander B. Kurzhanski and Pravin Varaiya. 2000. Ellipsoidal techniques for reachability analysis: Internal approximation. Systems 8 Control Letters 41, 3 (2000), 201--211."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2830865.2830891"},{"key":"e_1_2_1_23_1","unstructured":"Ibtissem Ben Makhlouf and Stefan Kowalewski. 2014. Networked cooperative platoon of vehicles for testing methods and verification tools. In ARCH@CPSWeek. 37--42.  Ibtissem Ben Makhlouf and Stefan Kowalewski. 2014. Networked cooperative platoon of vehicles for testing methods and verification tools. In ARCH@CPSWeek. 37--42."},{"key":"e_1_2_1_24_1","volume-title":"TIRA: Toolbox for interval reachability analysis. arXiv preprint arXiv:1902.05204","author":"Meyer Pierre-Jean","year":"2019","unstructured":"Pierre-Jean Meyer , Alex Devonport , and Murat Arcak . 2019 . TIRA: Toolbox for interval reachability analysis. arXiv preprint arXiv:1902.05204 (2019). Pierre-Jean Meyer, Alex Devonport, and Murat Arcak. 2019. TIRA: Toolbox for interval reachability analysis. arXiv preprint arXiv:1902.05204 (2019)."},{"key":"e_1_2_1_25_1","volume-title":"Methods and Applications of Interval Analysis","author":"Moore Ramon E.","unstructured":"Ramon E. Moore . 1979. Methods and Applications of Interval Analysis . Vol. 2 . Siam . Ramon E. Moore. 1979. Methods and Applications of Interval Analysis. Vol. 2. Siam."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619276"},{"key":"e_1_2_1_27_1","volume-title":"Keith Glover, et al.","author":"Zhou Kemin","year":"1996","unstructured":"Kemin Zhou , John Comstock Doyle , Keith Glover, et al. 1996 . Robust and Optimal Control. Vol. 40 . Prentice hall New Jersey . Kemin Zhou, John Comstock Doyle, Keith Glover, et al. 1996. Robust and Optimal Control. Vol. 40. Prentice hall New Jersey."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358229","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3358229","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3358229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:07Z","timestamp":1750202587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358229"}},"subtitle":["Accounting for Uncertainties in Linear Dynamical Systems"],"short-title":[],"issued":{"date-parts":[[2019,10,8]]},"references-count":27,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2019,10,31]]}},"alternative-id":["10.1145\/3358229"],"URL":"https:\/\/doi.org\/10.1145\/3358229","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,8]]},"assertion":[{"value":"2019-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-10-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}