Formal Synthesis of Safety Controllers Via $K$-Inductive Control Barrier Certificates
IEEE Transactions on Reliability（2024）
关键词
Control systems,Discrete-time systems,Training,Polynomials,Neural networks,Supervised learning,discrete-time dynamical systems,formal verification,mixed integer linear programs,k-inductive control barrier certificates (k-ICBCs),safety controllers
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要