{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T08:16:16Z","timestamp":1770797776586,"version":"3.50.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716863.3718036","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:20:33Z","timestamp":1747808433000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-9411-5009","authenticated-orcid":false,"given":"Jamie","family":"Gardner","sequence":"first","affiliation":[{"name":"School of Computing, Newcastle University"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1713-717X","authenticated-orcid":false,"given":"Ben","family":"Wooding","sequence":"additional","affiliation":[{"name":"School of Computing, Newcastle University"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9065-1282","authenticated-orcid":false,"given":"Amy","family":"Nejati","sequence":"additional","affiliation":[{"name":"School of Computing, Newcastle University"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4993-3170","authenticated-orcid":false,"given":"Abolfazl","family":"Lavaei","sequence":"additional","affiliation":[{"name":"School of Computing, Newcastle University"}]}],"member":"320","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092893.3092899"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.07.014"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3148374"},{"key":"e_1_3_2_1_4_1","unstructured":"H. Khalil \"Nonlinear systems \" 2002."},{"key":"e_1_3_2_1_5_1","first-page":"477","volume-title":"Safety verification of hybrid systems using barrier certificates,\" in Hybrid Systems: Computation and Control","author":"Prajna S.","year":"2004","unstructured":"S. Prajna and A. Jadbabaie, \"Safety verification of hybrid systems using barrier certificates,\" in Hybrid Systems: Computation and Control. Springer Berlin Heidelberg, 2004, pp. 477--492."},{"key":"e_1_3_2_1_6_1","first-page":"3420","volume-title":"IEEE","author":"Ames A. D.","year":"2019","unstructured":"A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada, \"Control Barrier Functions: Theory and Applications,\" in 2019 18th European Control Conference (ECC). IEEE, 2019, pp. 3420--3431."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-27576-0"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875041"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.07.001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2330702"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2959924"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2004.09.003"},{"key":"e_1_3_2_1_13_1","volume-title":"Data driven stability analysis of black-box switched linear systems,\" Automatica","author":"Kenanian J.","year":"2019","unstructured":"J. Kenanian, A. Balkan, R. M. Jungers, and P. Tabuada, \"Data driven stability analysis of black-box switched linear systems,\" Automatica, vol. 109, 2019."},{"key":"e_1_3_2_1_14_1","first-page":"1341","article-title":"Learning stability certificates from data","author":"Boffi N.","year":"2021","unstructured":"N. Boffi, S. Tu, N. Matni, J. J. Slotine, and V. Sindhwani, \"Learning stability certificates from data,\" in Proceedings of Conference on Robot Learning, 2021, pp. 1341--1350.","journal-title":"Proceedings of Conference on Robot Learning"},{"key":"e_1_3_2_1_15_1","first-page":"7296","volume-title":"Data-driven stability verification of homogeneous nonlinear systems with unknown dynamics,\" in 61st Conference on Decision and Control (CDC)","author":"Lavaei A.","year":"2022","unstructured":"A. Lavaei, P. M. Esfahani, and M. Zamani, \"Data-driven stability verification of homogeneous nonlinear systems with unknown dynamics,\" in 61st Conference on Decision and Control (CDC), 2022, pp. 7296--7301."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3285753"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3255141"},{"key":"e_1_3_2_1_18_1","first-page":"1351","volume-title":"Learning hybrid control barrier functions from data,\" in Conference on robot learning","author":"Lindemann L.","year":"2021","unstructured":"L. Lindemann, H. Hu, A. Robey, H. Zhang, D. Dimarogonas, S. Tu, and N. Matni, \"Learning hybrid control barrier functions from data,\" in Conference on robot learning, 2021, pp. 1351--1370."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3285785"},{"key":"e_1_3_2_1_20_1","volume-title":"A physics-informed scenario approach with data mitigation for safety verification of nonlinear systems,\" arXiv:2412.03932","author":"Aminzadeh A.","year":"2024","unstructured":"A. Aminzadeh, M. Ashoori, A. Nejati, and A. Lavaei, \"A physics-informed scenario approach with data mitigation for safety verification of nonlinear systems,\" arXiv:2412.03932, 2024."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2024.101467"},{"key":"e_1_3_2_1_22_1","article-title":"Data-driven models of monotone systems","author":"Makdesi A.","year":"2023","unstructured":"A. Makdesi, A. Girard, and L. Fribourg, \"Data-driven models of monotone systems,\" IEEE Transactions on Automatic Control, 2023.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"e_1_3_2_1_23_1","first-page":"599","volume-title":"Symbolic abstractions from data: A pac learning approach,\" in 2021 60th IEEE Conference on Decision and Control (CDC)","author":"Devonport A.","year":"2021","unstructured":"A. Devonport, A. Saoud, and M. Arcak, \"Symbolic abstractions from data: A pac learning approach,\" in 2021 60th IEEE Conference on Decision and Control (CDC), 2021, pp. 599--604."},{"key":"e_1_3_2_1_24_1","volume-title":"Data-driven abstractions for verification of deterministic systems,\" arXiv:2211.01793","author":"Coppola R.","year":"2022","unstructured":"R. Coppola, A. Peruffo, and M. Mazo, \"Data-driven abstractions for verification of deterministic systems,\" arXiv:2211.01793, 2022."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3331385"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3000182"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2023.10.1793"},{"key":"e_1_3_2_1_28_1","article-title":"Data-driven design of safe control for polynomial systems","volume":"75","author":"Luppi A.","unstructured":"A. Luppi, A. Bisoffi, C. De Persis, and P. Tesi, \"Data-driven design of safe control for polynomial systems,\" European Journal of Control, vol. 75.","journal-title":"European Journal of Control"},{"key":"e_1_3_2_1_29_1","volume-title":"Certified learning of incremental iss controllers for unknown nonlinear polynomial dynamics,\" arXiv:2412.03901","author":"Zaker M.","year":"2024","unstructured":"M. Zaker, D. Angeli, and A. Lavaei, \"Certified learning of incremental iss controllers for unknown nonlinear polynomial dynamics,\" arXiv:2412.03901, 2024."},{"key":"e_1_3_2_1_30_1","first-page":"763","article-title":"Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates","author":"Nejati A.","year":"2022","unstructured":"A. Nejati, B. Zhong, M. Caccamo, and M. Zamani, \"Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates,\" in Learning for Dynamics and Control Conference, 2022, pp. 763--776.","journal-title":"Learning for Dynamics and Control Conference"},{"key":"e_1_3_2_1_31_1","first-page":"3123","volume-title":"From a single trajectory to safety controller synthesis of discrete-time nonlinear polynomial systems","author":"Samari B.","year":"2024","unstructured":"B. Samari, O. Akbarzadeh, M. Zaker, and A. Lavaei, \"From a single trajectory to safety controller synthesis of discrete-time nonlinear polynomial systems,\" vol. 8, pp. 3123--3128, 2024."},{"key":"e_1_3_2_1_32_1","volume-title":"Learning k-inductive control barrier certificates for unknown nonlinear dynamics beyond polynomials,\" arXiv:2412.07232","author":"Wooding B.","year":"2024","unstructured":"B. Wooding and A. Lavaei, \"Learning k-inductive control barrier certificates for unknown nonlinear dynamics beyond polynomials,\" arXiv:2412.07232, 2024."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.09.284"},{"key":"e_1_3_2_1_34_1","first-page":"1","article-title":"TOOL LyZNet: A lightweight python tool for learning and verifying neural lyapunov functions and regions of attraction,\" in Proceedings of the 27th ACM International Conference on Hybrid Systems","volume":"2024","author":"Liu J.","unstructured":"J. Liu, Y. Meng, M. Fitzsimmons, and R. Zhou, \"TOOL LyZNet: A lightweight python tool for learning and verifying neural lyapunov functions and regions of attraction,\" in Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024 pp. 1--8.","journal-title":"Computation and Control"},{"key":"e_1_3_2_1_35_1","first-page":"1","article-title":"Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,\" in Proceedings of the 27th ACM International Conference on Hybrid Systems","author":"Edwards A.","year":"2024","unstructured":"A. Edwards, A. Peruffo, and A. Abate, \"Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,\" in Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024, pp. 1--10.","journal-title":"Computation and Control"},{"key":"e_1_3_2_1_36_1","volume-title":"PRoTECT: Parallelized construction of safety barrier certificates for nonlinear polynomial systems,\" arXiv preprint arXiv:2404.14804","author":"Wooding B.","year":"2024","unstructured":"B. Wooding, V. Horbanov, and A. Lavaei, \"PRoTECT: Parallelized construction of safety barrier certificates for nonlinear polynomial systems,\" arXiv preprint arXiv:2404.14804, 2024."},{"key":"e_1_3_2_1_37_1","first-page":"741","volume-title":"Introducing SOSTOOLS: A general purpose sum of squares programming solver,\" in Proceedings of the 41st IEEE Conference on Decision and Control","author":"Prajna S.","year":"2002","unstructured":"S. Prajna, A. Papachristodoulou, and P. A. Parrilo, \"Introducing SOSTOOLS: A general purpose sum of squares programming solver,\" in Proceedings of the 41st IEEE Conference on Decision and Control, 2002., vol. 1, 2002, pp. 741--746."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-2370-2_20"},{"key":"e_1_3_2_1_39_1","volume-title":"Test driven development: By example","author":"Beck K.","year":"2022","unstructured":"K. Beck, Test driven development: By example. Addison-Wesley Professional, 2022."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3234889"},{"key":"e_1_3_2_1_41_1","first-page":"2436","volume-title":"Learning control for polynomial systems using sum of squares relaxations,\" in 2020 59th IEEE conference on decision and control (CDC)","author":"Guo M.","year":"2020","unstructured":"M. Guo, C. De Persis, and P. Tesi, \"Learning control for polynomial systems using sum of squares relaxations,\" in 2020 59th IEEE conference on decision and control (CDC), 2020, pp. 2436--2441."},{"key":"e_1_3_2_1_42_1","volume-title":"Real algebraic geometry","author":"Bochnak J.","year":"2013","unstructured":"J. Bochnak, M. Coste, and M.-F. Roy, Real algebraic geometry. Springer Science & Business Media, 2013, vol. 36."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"H. Wang K. Margellos A. Papachristodoulou and C. De Persis \"Convex co-design of control barrier functions and feedback controllers for linear systems \" 2024.","DOI":"10.1109\/CDC56724.2024.10886664"},{"key":"e_1_3_2_1_44_1","volume-title":"a MATLAB toolbox for optimization over symmetric cones,\" Optimization methods and software","author":"Sturm J. F.","unstructured":"J. F. Sturm, \"Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones,\" Optimization methods and software, vol. 11, no. 1--4, pp. 625--653, 1999."},{"key":"e_1_3_2_1_45_1","first-page":"315","article-title":"SOSTOOLS: Control applications and new developments","author":"Prajna S.","year":"2004","unstructured":"S. Prajna, A. Papachristodoulou, P. Seiler, and P. A. Parrilo, \"SOSTOOLS: Control applications and new developments,\" in Proceedings of IEEE International Conference on Robotics and Automation, 2004, pp. 315--320.","journal-title":"Proceedings of IEEE International Conference on Robotics and Automation"},{"key":"e_1_3_2_1_46_1","unstructured":"C. Yuan \"SumOfSquares.py.\" [Online]. Available: https:\/\/github.com\/yuanchenyang\/SumOfSquares.py"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.es.09.110178.001201"},{"key":"e_1_3_2_1_48_1","volume-title":"ARCH-COMP20 Category Report: Stochastic Models","author":"Abate A.","year":"2020","unstructured":"A. Abate, H. Blom, N. Cauchi, J. Delicaris, A. Hartmanns, M. Khaled, A. Lavaei, C. Pilch, A. Remke, S. Schupp, F. Shmarov, S. Soudjani, A. Vinod, B. Wooding, M. Zamani, and P. Zuliani, \"ARCH-COMP20 Category Report: Stochastic Models,\" 2020."},{"key":"e_1_3_2_1_49_1","volume-title":"A case between pid controller and fuzzy logic controller,\" international journal of multidisciplinary sciences and engineering","author":"Adewuyi P. A.","unstructured":"P. A. Adewuyi, \"Dc motor speed control: A case between pid controller and fuzzy logic controller,\" international journal of multidisciplinary sciences and engineering, vol. 4, no. 4, pp. 36--40, 2013."},{"key":"e_1_3_2_1_50_1","first-page":"1","article-title":"FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks,\" in Proceedings of the 24th International Conference on Hybrid Systems","author":"Abate A.","year":"2021","unstructured":"A. Abate, D. Ahmed, A. Edwards, M. Giacobbe, and A. Peruffo, \"FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks,\" in Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2021, pp. 1--11.","journal-title":"Computation and Control"},{"key":"e_1_3_2_1_51_1","first-page":"2838","volume-title":"IEEE","author":"Ramos J. A.","year":"2007","unstructured":"J. A. Ramos and P. L. Dos Santos, \"Mathematical modeling, system identification, and controller design of a two tank system,\" in 2007 46th IEEE Conference on Decision and Control. IEEE, 2007, pp. 2838--2843."}],"event":{"name":"HSCC '25: Computation and Control","location":"Irvine CA USA","acronym":"HSCC '25","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718036","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718036","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:46:19Z","timestamp":1756993579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":51,"alternative-id":["10.1145\/3716863.3718036","10.1145\/3716863"],"URL":"https:\/\/doi.org\/10.1145\/3716863.3718036","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}