John Skovbekk, Luca Laurenti, Eric Frew, Morteza Lahijanian
{"title":"Formal Verification of Unknown Dynamical Systems Via Gaussian Process Regression","authors":"John Skovbekk, Luca Laurenti, Eric Frew, Morteza Lahijanian","doi":"10.1109/tac.2025.3532812","DOIUrl":"https://doi.org/10.1109/tac.2025.3532812","url":null,"abstract":"","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"8 1","pages":""},"PeriodicalIF":6.8,"publicationDate":"2025-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143020389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
{"title":"Secure-by-Construction Synthesis for Control Systems","authors":"Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani","doi":"10.1109/tac.2025.3532541","DOIUrl":"https://doi.org/10.1109/tac.2025.3532541","url":null,"abstract":"","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"14 1","pages":""},"PeriodicalIF":6.8,"publicationDate":"2025-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143020390","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Homotopic Gaussian Mixture Filtering for Applied Bayesian Inference","authors":"Kyle J. Craft, Kyle J. DeMars","doi":"10.1109/tac.2025.3530878","DOIUrl":"https://doi.org/10.1109/tac.2025.3530878","url":null,"abstract":"","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"121 1","pages":""},"PeriodicalIF":6.8,"publicationDate":"2025-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142991265","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert
{"title":"Ergodic control of a heterogeneous population and application to electricity pricing","authors":"Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert","doi":"10.1109/tac.2025.3532178","DOIUrl":"https://doi.org/10.1109/tac.2025.3532178","url":null,"abstract":"","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"32 1","pages":""},"PeriodicalIF":6.8,"publicationDate":"2025-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142991263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Kedi Xie, Martin Guay, Maobin Lu, Shimin Wang, Fang Deng
{"title":"Optimal Output Feedback Learning Control for Continuous-Time Linear Quadratic Regulation","authors":"Kedi Xie, Martin Guay, Maobin Lu, Shimin Wang, Fang Deng","doi":"10.1109/tac.2025.3532182","DOIUrl":"https://doi.org/10.1109/tac.2025.3532182","url":null,"abstract":"","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"7 1","pages":""},"PeriodicalIF":6.8,"publicationDate":"2025-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142991261","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}