{"62a45171673eb95f236dd4cb8afe2c68simtech":{"DOI":"https://doi.org/10.1016/j.automatica.2025.112732","ISBN":"","ISSN":"0005-1098","URL":"","abstract":"","annote":"","author":[{"family":"Strässer","given":"Robin"},{"family":"Schaller","given":"Manuel"},{"family":"Worthmann","given":"Karl"},{"family":"Berberich","given":"Julian"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:strasser:26b","collection-editor":[],"collection-title":"","container-author":[],"container-title":"Automatica","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2026"]],"literal":"2026"},"event-place":"","id":"62a45171673eb95f236dd4cb8afe2c68simtech","interhash":"1ef30a8de62bb3e71c705ada0940dcac","intrahash":"62a45171673eb95f236dd4cb8afe2c68","issue":"","issued":{"date-parts":[["2026"]],"literal":"2026"},"keyword":"EXC2075 PN4 PN4-2 PN4-2(II) curated","misc":{"issn":"0005-1098","doi":"https://doi.org/10.1016/j.automatica.2025.112732"},"note":"","number":"","page":"112732","page-first":"112732","publisher":"","publisher-place":"","status":"","title":"SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems","type":"article-journal","username":"simtech","version":"","volume":"185"},"29ade14b5b2517722f0f419203ddd527simtech":{"DOI":"10.1016/j.arcontrol.2025.101035","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Strässer","given":"Robin"},{"family":"Worthmann","given":"Karl"},{"family":"Mezić","given":"Igor"},{"family":"Berberich","given":"Julian"},{"family":"Schaller","given":"Manuel"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:strasser:26a","collection-editor":[],"collection-title":"","container-author":[],"container-title":"Annual Reviews in Control","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2026"]],"literal":"2026"},"event-place":"","id":"29ade14b5b2517722f0f419203ddd527simtech","interhash":"4eb17d4da662188e27b9a4c02747f670","intrahash":"29ade14b5b2517722f0f419203ddd527","issue":"","issued":{"date-parts":[["2026"]],"literal":"2026"},"keyword":"EXC2075 PN4 PN4-2 PN4-2(II) curated","misc":{"doi":"10.1016/j.arcontrol.2025.101035"},"note":"","number":"","page":"101035","page-first":"101035","publisher":"Elsevier","publisher-place":"","status":"","title":"An overview of Koopman-based control: From error bounds to closed-loop guarantees","type":"article-journal","username":"simtech","version":"","volume":"61"},"d50d60cd1f959ced75c0d6a8069159d8simtech":{"DOI":"10.1109/LCSYS.2025.3582630","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Strässer","given":"Robin"},{"family":"Schaller","given":"Manuel"},{"family":"Berberich","given":"Julian"},{"family":"Worthmann","given":"Karl"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:strasser:25g","collection-editor":[],"collection-title":"","container-author":[],"container-title":"IEEE Control Systems Letters","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2025"]],"literal":"2025"},"event-place":"","id":"d50d60cd1f959ced75c0d6a8069159d8simtech","interhash":"bf532400e9cc6afcbfb7c374fc1605fe","intrahash":"d50d60cd1f959ced75c0d6a8069159d8","issue":"","issued":{"date-parts":[["2025"]],"literal":"2025"},"keyword":"EXC2075 PN4 PN4-2 PN4-2(II) curated","misc":{"doi":"10.1109/LCSYS.2025.3582630"},"note":"","number":"","number-of-pages":"5","page":"1892-1897","page-first":"1892","publisher":"","publisher-place":"","status":"","title":"Kernel-based error bounds of bilinear Koopman surrogate models for nonlinear data-driven control","type":"article-journal","username":"simtech","version":"","volume":"9"},"18cfae7cdda5b2dada606fd6ea90c812simtech":{"DOI":"10.1016/j.ejcon.2025.101286","ISBN":"","ISSN":"0947-3580","URL":"","abstract":"","annote":"","author":[{"family":"Strässer","given":"Robin"},{"family":"Berberich","given":"Julian"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:strasser25d","collection-editor":[],"collection-title":"","container-author":[],"container-title":"European Journal of Control","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2025"]],"literal":"2025"},"event-place":"","id":"18cfae7cdda5b2dada606fd6ea90c812simtech","interhash":"5f89803cbf2438839340c78d24d85368","intrahash":"18cfae7cdda5b2dada606fd6ea90c812","issue":"","issued":{"date-parts":[["2025"]],"literal":"2025"},"keyword":"EXC2075 PN4 PN4-2 PN4-2(II) curated","misc":{"issn":"0947-3580","doi":"10.1016/j.ejcon.2025.101286"},"note":"","number":"","page":"101286","page-first":"101286","publisher":"","publisher-place":"","status":"","title":"Koopman-based control using sum-of-squares optimization: Improved stability guarantees and data efficiency","type":"article-journal","username":"simtech","version":"","volume":""},"0cf068319a220b2cf203931581083f38simtech":{"DOI":"10.1515/auto-2024-0162","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Strässer","given":"Robin"},{"family":"Berberich","given":"Julian"},{"family":"Schaller","given":"Manuel"},{"family":"Worthmann","given":"Karl"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:strasser25e","collection-editor":[],"collection-title":"","container-author":[],"container-title":"at - Automatisierungstechnik","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2025"]],"literal":"2025"},"event-place":"","id":"0cf068319a220b2cf203931581083f38simtech","interhash":"8bd348a6f927b8b25465c4c5074e9aca","intrahash":"0cf068319a220b2cf203931581083f38","issue":"6","issued":{"date-parts":[["2025"]],"literal":"2025"},"keyword":"PN4-2 PN4 curated EXC2075 PN4-2(II)","misc":{"doi":"10.1515/auto-2024-0162"},"note":"","number":"6","number-of-pages":"15","page":"413--428","page-first":"413","publisher":"","publisher-place":"","status":"","title":"Koopman-based control of nonlinear systems with closed-loop guarantees","type":"article-journal","username":"simtech","version":"","volume":"73"},"17c25f3a03fd8a5365fad1a299cbfb1esimtech":{"DOI":"10.1109/CDC56724.2024.10886773","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Worthmann","given":"Karl"},{"family":"Strässer","given":"Robin"},{"family":"Schaller","given":"Manuel"},{"family":"Berberich","given":"Julian"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:strasser:24b","collection-editor":[],"collection-title":"","container-author":[],"container-title":"Proc. 63rd IEEE Conference on Decision and Control (CDC)","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2024"]],"literal":"2024"},"event-place":"Milan, Italy","id":"17c25f3a03fd8a5365fad1a299cbfb1esimtech","interhash":"1ecd9e7ff7f1a20ae298e08a2ab0b203","intrahash":"17c25f3a03fd8a5365fad1a299cbfb1e","issue":"","issued":{"date-parts":[["2024"]],"literal":"2024"},"keyword":"PN4-2 PN4 curated EXC2075 PN4-2(II)","misc":{"doi":"10.1109/CDC56724.2024.10886773"},"note":"","number":"","number-of-pages":"5","page":"146-151","page-first":"146","publisher":"","publisher-place":"Milan, Italy","status":"","title":"Data-driven MPC with terminal conditions in the Koopman framework","type":"paper-conference","username":"simtech","version":"","volume":""},"657d7fb7b58f037615cabc8581e4b46asimtech":{"DOI":"10.1109/TAC.2024.3425770","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Strässer","given":"Robin"},{"family":"Schaller","given":"Manuel"},{"family":"Worthmann","given":"Karl"},{"family":"Berberich","given":"Julian"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:strasser:25b","collection-editor":[],"collection-title":"","container-author":[],"container-title":"IEEE Transactions on Automatic Control","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2025"]],"literal":"2025"},"event-place":"","id":"657d7fb7b58f037615cabc8581e4b46asimtech","interhash":"c6adcfb27c0201b23a6e1c403454bb2b","intrahash":"657d7fb7b58f037615cabc8581e4b46a","issue":"1","issued":{"date-parts":[["2025"]],"literal":"2025"},"keyword":"EXC2075 PN4 PN4-2 PN4-2(II) curated","misc":{"eprint":"2312.01441","archiveprefix":"arXiv","primaryclass":"eess.SY","doi":"10.1109/TAC.2024.3425770"},"note":"","number":"1","number-of-pages":"15","page":"355-370","page-first":"355","publisher":"","publisher-place":"","status":"","title":"Koopman-based feedback design with stability guarantees","type":"article-journal","username":"simtech","version":"","volume":"70"},"29a8c66582d80f150bf7029beb3430d0simtech":{"DOI":"10.1016/j.automatica.2024.112022","ISBN":"","ISSN":"0005-1098","URL":"","abstract":"","annote":"","author":[{"family":"Strässer","given":"Robin"},{"family":"Schlor","given":"Sebastian"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:strasser:25a","collection-editor":[],"collection-title":"","container-author":[],"container-title":"Automatica","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2025"]],"literal":"2025"},"event-place":"","id":"29a8c66582d80f150bf7029beb3430d0simtech","interhash":"3ec8ae619f0b45f3af0f27717efc067b","intrahash":"29a8c66582d80f150bf7029beb3430d0","issue":"","issued":{"date-parts":[["2025"]],"literal":"2025"},"keyword":"EXC2075 PN4 PN4-2 PN4-2(II) curated","misc":{"issn":"0005-1098","doi":"10.1016/j.automatica.2024.112022"},"note":"","number":"","page":"112022","page-first":"112022","publisher":"","publisher-place":"","status":"","title":"Decrypting Nonlinearity: Koopman Interpretation and Analysis of Cryptosystems","type":"article-journal","username":"simtech","version":"","volume":"173"},"2d57cd526ae562c894ad38e208802298simtech":{"DOI":"10.1109/LCSYS.2020.3037842","ISBN":"","ISSN":"","URL":"https://ieeexplore.ieee.org/document/9257476/","abstract":"","annote":"","author":[{"family":"Martin","given":"T."},{"family":"Allgöwer","given":"F."}],"citation-label":"ist:martin21a","collection-editor":[],"collection-title":"","container-author":[],"container-title":"IEEE Control Systems Letters","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2021"]],"literal":"2021"},"event-place":"","id":"2d57cd526ae562c894ad38e208802298simtech","interhash":"428f24e96f11ecf9e561c65d8ee8f637","intrahash":"2d57cd526ae562c894ad38e208802298","issue":"4","issued":{"date-parts":[["2021"]],"literal":"2021"},"keyword":"EXC2075 PN4 PN4-2 curated","misc":{"doi":"10.1109/LCSYS.2020.3037842"},"note":"","number":"4","number-of-pages":"5","page":"1399-1404","page-first":"1399","publisher":"","publisher-place":"","status":"","title":"Dissipativity verification with guarantees for polynomial systems from noisy input-state data","type":"article-journal","username":"simtech","version":"","volume":"5"},"e92ea8c83f2a035ec2427de1364b42d6simtech":{"DOI":"","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Martin","given":"T."},{"family":"Allgöwer","given":"F."}],"citation-label":"ist:martin22b","collection-editor":[],"collection-title":"","container-author":[],"container-title":"IEEE Trans. Automat. Control (accepted), Preprint:  arXiv:2108.11298","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2022"]],"literal":"2022"},"event-place":"","id":"e92ea8c83f2a035ec2427de1364b42d6simtech","interhash":"fda7c62c738e20bd2790758d85ee2884","intrahash":"e92ea8c83f2a035ec2427de1364b42d6","issue":"","issued":{"date-parts":[["2022"]],"literal":"2022"},"keyword":"EXC2075 PN4 PN4-2 curated","note":"","number":"","page":"","page-first":"","publisher":"","publisher-place":"","status":"","title":"Data-driven system analysis of nonlinear systems using polynomial approximation","type":"article-journal","username":"simtech","version":"","volume":""},"aeb8ac3d39b172be63fa156c9bc228cdsimtech":{"DOI":"10.1016/j.ifacol.2018.11.139","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Romer","given":"A."},{"family":"Montenbruck","given":"J. M."},{"family":"Allgöwer","given":"F."}],"citation-label":"Romer2018b","collection-editor":[],"collection-title":"","container-author":[],"container-title":"Proc. 9th IFAC Symp. Robust Control Design (ROCOND)","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2018"]],"literal":"2018"},"event-place":"Florianópolis, Brazil","id":"aeb8ac3d39b172be63fa156c9bc228cdsimtech","interhash":"849bc1406f04111acb686bd2e54c7c41","intrahash":"aeb8ac3d39b172be63fa156c9bc228cd","issue":"","issued":{"date-parts":[["2018"]],"literal":"2018"},"keyword":"EXC2075 PN4 PN4-2 curated","misc":{"doi":"10.1016/j.ifacol.2018.11.139"},"note":"","number":"","number-of-pages":"5","page":"586-591","page-first":"586","publisher":"","publisher-place":"Florianópolis, Brazil","status":"","title":"Data-driven inference of conic relations via saddle-point dynamics","type":"paper-conference","username":"simtech","version":"","volume":""},"d786668e16f4618d3e37cc3a89b2a794simtech":{"DOI":"10.1109/TAC.2020.2994894","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Koch","given":"A."},{"family":"Montenbruck","given":"J. M."},{"family":"Allgöwer","given":"F."}],"citation-label":"Romer2019c","collection-editor":[],"collection-title":"","container-author":[],"container-title":"IEEE Trans. Automat. Control","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2021"]],"literal":"2021"},"event-place":"","id":"d786668e16f4618d3e37cc3a89b2a794simtech","interhash":"776ba58b894dae74f5113a0f309bb2bf","intrahash":"d786668e16f4618d3e37cc3a89b2a794","issue":"","issued":{"date-parts":[["2021"]],"literal":"2021"},"keyword":"EXC2075 PN4 PN4-2 curated","misc":{"doi":"10.1109/TAC.2020.2994894"},"note":"","number":"","number-of-pages":"15","page":"1144-1159","page-first":"1144","publisher":"","publisher-place":"","status":"","title":"Sampling Strategies for Data-Driven Inference of Input-Output System Properties","type":"article-journal","username":"simtech","version":"","volume":"66"},"847a72a0d138119a6c6c02bc4682edacsimtech":{"DOI":"10.1016/j.ifacol.2020.12.211","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Persson","given":"D."},{"family":"Koch","given":"A."},{"family":"Allgöwer","given":"F."}],"citation-label":"Persson2020","collection-editor":[],"collection-title":"","container-author":[],"container-title":"Proc. 21st IFAC World Congress","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2020"]],"literal":"2020"},"event-place":"Berlin, Germany","id":"847a72a0d138119a6c6c02bc4682edacsimtech","interhash":"816e08393f73b6d4acdf8e767771c801","intrahash":"847a72a0d138119a6c6c02bc4682edac","issue":"","issued":{"date-parts":[["2020"]],"literal":"2020"},"keyword":"EXC2075 PN4 PN4-2 curated","misc":{"doi":"10.1016/j.ifacol.2020.12.211"},"note":"","number":"","number-of-pages":"5","page":"431-436","page-first":"431","publisher":"","publisher-place":"Berlin, Germany","status":"","title":"Probabilistic H2-norm estimation via Gaussian process system identification","type":"paper-conference","username":"simtech","version":"","volume":""},"e159318ee22be5dfff9430af76545ca8simtech":{"DOI":"10.1109/CDC42340.2020.9304380","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Koch","given":"A."},{"family":"Berberich","given":"J."},{"family":"Allgöwer","given":"F."}],"citation-label":"Koch2020a","collection-editor":[],"collection-title":"","container-author":[],"container-title":"Proc. 59th IEEE Conf. on Decision and Control (CDC)","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2020"]],"literal":"2020"},"event-place":"Jeju, South Korea","id":"e159318ee22be5dfff9430af76545ca8simtech","interhash":"719af619bbafac4e93a516cba1ec11c6","intrahash":"e159318ee22be5dfff9430af76545ca8","issue":"","issued":{"date-parts":[["2020"]],"literal":"2020"},"keyword":"PN4-2 PN4 curated EXC2075","misc":{"doi":"10.1109/CDC42340.2020.9304380"},"note":"","number":"","number-of-pages":"5","page":"616-621","page-first":"616","publisher":"","publisher-place":"Jeju, South Korea","status":"","title":"Verifying dissipativity properties from noise-corrupted input-state data","type":"paper-conference","username":"simtech","version":"","volume":""},"82fafb752f25f8c40b40f52498cebc72simtech":{"DOI":"10.1109/LCSYS.2019.2917162","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Romer","given":"A."},{"family":"Berberich","given":"J."},{"family":"Köhler","given":"J."},{"family":"Allgöwer","given":"F."}],"citation-label":"Romer2019a","collection-editor":[],"collection-title":"","container-author":[],"container-title":"IEEE Control Systems Lett.","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2019"]],"literal":"2019"},"event-place":"","id":"82fafb752f25f8c40b40f52498cebc72simtech","interhash":"3ab06e2e0bbc27b8db44fdf51fe87bed","intrahash":"82fafb752f25f8c40b40f52498cebc72","issue":"","issued":{"date-parts":[["2019"]],"literal":"2019"},"keyword":"EXC2075 PN4 PN4-2 curated","misc":{"doi":"10.1109/LCSYS.2019.2917162"},"note":"","number":"","number-of-pages":"5","page":"709-714","page-first":"709","publisher":"","publisher-place":"","status":"","title":"One-shot verification of dissipativity properties from input-output data","type":"article-journal","username":"simtech","version":"","volume":"3"},"0ac51abf04789903cb44dbb1fcc13a72simtech":{"DOI":"","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Wieler","given":"Nils"},{"family":"Berberich","given":"Julian"},{"family":"Koch","given":"Anne"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"Wieler2021","collection-editor":[],"collection-title":"Proceedings of Machine Learning Research","container-author":[],"container-title":"Proceedings of the 3rd Conference on Learning for Dynamics and Control","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2021"]],"literal":"2021"},"event-place":"","id":"0ac51abf04789903cb44dbb1fcc13a72simtech","interhash":"fac2fec5899ef90e422da950f5871eb0","intrahash":"0ac51abf04789903cb44dbb1fcc13a72","issue":"","issued":{"date-parts":[["2021"]],"literal":"2021"},"keyword":"EXC2075 PN4 PN4-2 curated","note":"","number":"","number-of-pages":"11","page":"287--298","page-first":"287","publisher":"PMLR","publisher-place":"","status":"","title":"Data-Driven Controller Design via Finite-Horizon Dissipativity","type":"paper-conference","username":"simtech","version":"","volume":"144"},"1f6cbd4921ef848ba62ce1fa490e75a1simtech":{"DOI":"https://doi.org/10.1016/j.ifacol.2021.08.429","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Müller","given":"Matias I."},{"family":"Koch","given":"Anne"},{"family":"Allgöwer","given":"Frank"},{"family":"Rojas","given":"Cristian R."}],"citation-label":"ist:koch21d","collection-editor":[],"collection-title":"","container-author":[],"container-title":"IFAC-PapersOnLine","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2021"]],"literal":"2021"},"event-place":"","id":"1f6cbd4921ef848ba62ce1fa490e75a1simtech","interhash":"344afdd8c28c3a06e0149ff3aab6c950","intrahash":"1f6cbd4921ef848ba62ce1fa490e75a1","issue":"7","issued":{"date-parts":[["2021"]],"literal":"2021"},"keyword":"EXC2075 PN4 PN4-2 curated","misc":{"doi":"https://doi.org/10.1016/j.ifacol.2021.08.429"},"note":"19th IFAC Symposium on System Identification SYSID 2021","number":"7","number-of-pages":"5","page":"619-624","page-first":"619","publisher":"","publisher-place":"","status":"","title":"Data-Driven Input-Passivity Estimation Using Power Iterations","type":"article-journal","username":"simtech","version":"","volume":"54"},"b8e0742d9f601d55a653414dca76e243simtech":{"DOI":"https://doi.org/10.1016/j.automatica.2021.109906","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Koch","given":"Anne"},{"family":"Berberich","given":"Julian"},{"family":"Köhler","given":"Johannes"},{"family":"Allgöwer","given":"Frank"}],"citation-label":"ist:koch21c","collection-editor":[],"collection-title":"","container-author":[],"container-title":"Automatica","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2021"]],"literal":"2021"},"event-place":"","id":"b8e0742d9f601d55a653414dca76e243simtech","interhash":"c996e059dcc1c98a60f638bf62f19cd1","intrahash":"b8e0742d9f601d55a653414dca76e243","issue":"","issued":{"date-parts":[["2021"]],"literal":"2021"},"keyword":"EXC2075 PN4 PN4-2 curated","misc":{"doi":"https://doi.org/10.1016/j.automatica.2021.109906"},"note":"","number":"","page":"109906","page-first":"109906","publisher":"","publisher-place":"","status":"","title":"Determining optimal input–output properties: A data-driven approach","type":"article-journal","username":"simtech","version":"","volume":"134"},"b41de171667d2e98df8f7bd147a2786asimtech":{"DOI":"10.1109/TAC.2021.3116179","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Koch","given":"A."},{"family":"Berberich","given":"J."},{"family":"Allgöwer","given":"F."}],"citation-label":"ist:koch20c","collection-editor":[],"collection-title":"","container-author":[],"container-title":"IEEE Transactions on Automatic Control","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2021"]],"literal":"2021"},"event-place":"","id":"b41de171667d2e98df8f7bd147a2786asimtech","interhash":"2ccad3eb2a621d64df3beafd651a7453","intrahash":"b41de171667d2e98df8f7bd147a2786a","issue":"8","issued":{"date-parts":[["2021"]],"literal":"2021"},"keyword":"EXC2075 PN4 PN4-2 curated","misc":{"doi":"10.1109/TAC.2021.3116179"},"note":"","number":"8","number-of-pages":"7","page":"4248 - 4255","page-first":"4248","publisher":"","publisher-place":"","status":"","title":"Provably robust verification of dissipativity properties from data","type":"article-journal","username":"simtech","version":"","volume":"67"},"5349ba048c6001c244bb2daa2137a27asimtech":{"DOI":"","ISBN":"","ISSN":"","URL":"","abstract":"","annote":"","author":[{"family":"Alanwar","given":"Amr"},{"family":"Koch","given":"Anne"},{"family":"Allgöwer","given":"Frank"},{"family":"Johansson","given":"Karl Henrik"}],"citation-label":"ist:koch21b","collection-editor":[],"collection-title":"Proceedings of Machine Learning Research","container-author":[],"container-title":"Proceedings of the 3rd Conference on Learning for Dynamics and Control","documents":[],"edition":"","editor":[],"event-date":{"date-parts":[["2021"]],"literal":"2021"},"event-place":"","id":"5349ba048c6001c244bb2daa2137a27asimtech","interhash":"33110cc9995c8b2413f35611dd56deb0","intrahash":"5349ba048c6001c244bb2daa2137a27a","issue":"","issued":{"date-parts":[["2021"]],"literal":"2021"},"keyword":"EXC2075 PN4 PN4-2 curated","note":"","number":"","number-of-pages":"12","page":"163--175","page-first":"163","publisher":"","publisher-place":"","status":"","title":"Data-Driven Reachability Analysis Using Matrix Zonotopes","type":"paper-conference","username":"simtech","version":"","volume":"144"}}