Differentially Private Controller Synthesis With Metric Temporal Logic Specifications
暂无分享,去创建一个
Ufuk Topcu | Kasra Yazdani | Matthew T. Hale | Zhe Xu | Zhe Xu | U. Topcu | M. Hale | Kasra Yazdani
[1] Sandipan Mishra,et al. Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots , 2019, IEEE Transactions on Automation Science and Engineering.
[2] Hai Lin,et al. Privacy Verification and Enforcement via Belief Abstraction , 2018, IEEE Control Systems Letters.
[3] George J. Pappas,et al. Robustness of temporal logic specifications for continuous-time signals , 2009, Theor. Comput. Sci..
[4] George J. Pappas,et al. Probabilistic testing for stochastic hybrid systems , 2008, 2008 47th IEEE Conference on Decision and Control.
[5] John S. Baras,et al. Optimal mission planner with timed temporal logic constraints , 2015, 2015 European Control Conference (ECC).
[6] A. Agung Julius,et al. Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems , 2019, IEEE Systems Journal.
[7] Joe H. Chow,et al. Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications , 2019, IEEE Systems Journal.
[8] George J. Pappas,et al. Differentially Private Filtering , 2012, IEEE Transactions on Automatic Control.
[9] Bruce Hajek,et al. Random Processes for Engineers , 2015 .
[10] Ufuk Topcu,et al. The Dirichlet Mechanism for Differential Privacy on the Unit Simplex , 2020, 2020 American Control Conference (ACC).
[11] Ufuk Topcu,et al. Privacy Verification and Enforcement via Belief Manipulation , 2019 .
[12] Austin Jones,et al. Differentially Private LQ Control , 2018, IEEE Transactions on Automatic Control.
[13] Aaron Roth,et al. The Algorithmic Foundations of Differential Privacy , 2014, Found. Trends Theor. Comput. Sci..
[14] Ufuk Topcu,et al. Transfer of Temporal Logic Formulas in Reinforcement Learning , 2019, IJCAI.
[15] Ufuk Topcu,et al. Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach , 2019, 2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
[16] Joe H. Chow,et al. Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications , 2018, 2018 Annual American Control Conference (ACC).
[17] D. Bernstein. Matrix Mathematics: Theory, Facts, and Formulas , 2009 .
[18] George J. Pappas,et al. Robustness of Temporal Logic Specifications , 2006, FATES/RV.