Pub Date : 2025-01-22DOI: 10.1109/tac.2025.3532541
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}
Pub Date : 2025-01-20DOI: 10.1109/tac.2025.3530878
Kyle J. Craft, Kyle J. DeMars
{"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}
Pub Date : 2025-01-20DOI: 10.1109/tac.2025.3532178
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}
Pub Date : 2025-01-20DOI: 10.1109/tac.2025.3532182
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}
Pub Date : 2025-01-17DOI: 10.1109/tac.2025.3530855
Jiamin Wang, Jian Liu, Feng Xiao, Yuanshi Zheng
{"title":"Robustness and Scalability of Consensus Networks: The Role of Memory Information","authors":"Jiamin Wang, Jian Liu, Feng Xiao, Yuanshi Zheng","doi":"10.1109/tac.2025.3530855","DOIUrl":"https://doi.org/10.1109/tac.2025.3530855","url":null,"abstract":"","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"9 1","pages":""},"PeriodicalIF":6.8,"publicationDate":"2025-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142988888","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}
Pub Date : 2025-01-17DOI: 10.1109/tac.2025.3531774
Mohammed Alyaseen, Nikolay Atanasov, Jorge Cortés
{"title":"Continuity and Boundedness of Minimum-Norm CBF-Safe Controllers","authors":"Mohammed Alyaseen, Nikolay Atanasov, Jorge Cortés","doi":"10.1109/tac.2025.3531774","DOIUrl":"https://doi.org/10.1109/tac.2025.3531774","url":null,"abstract":"","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"27 1","pages":""},"PeriodicalIF":6.8,"publicationDate":"2025-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142988828","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}