一種針對安全可達動態(tài)系統(tǒng)的形式化學(xué)習(xí)方法

打開文本圖片集

摘 要：在動態(tài)系統(tǒng)建模問題中，深度學(xué)習(xí)為建模提供了更便捷和靈活的方法，但其難以解釋的特點降低了模型的可靠性。針對具有安全性和可達性的動態(tài)系統(tǒng)，提出了一種形式化模型學(xué)習(xí)方法，將安全性和可達性引入到對目標(biāo)系統(tǒng)的學(xué)習(xí)過程中，使模型滿足這兩個性質(zhì)。為保證所學(xué)系統(tǒng)在定義域上嚴(yán)格滿足這兩個性質(zhì)，該方法基于現(xiàn)代控制理論中的Lyapunov方法和Barrier函數(shù)設(shè)計了可驗證的Lyapunov Barrier函數(shù)（LBF），通過將其與動態(tài)系統(tǒng)聯(lián)合學(xué)習(xí)，使得LBF能夠為所學(xué)系統(tǒng)提供安全性和可達性保障。（剩余12986字）