Sign In

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics

μž‘μ„±μž
  • Haebom
μΉ΄ν…Œκ³ λ¦¬
Empty

μ €μž

Ben Wooding, Hongchao Zhang, Taylor T. Johnson, Abolfazl Lavaei

πŸ’‘ κ°œμš”

λ³Έ 논문은 기쑴의 μ—„κ²©ν•œ μ•ˆμ „ μ œμ•½ 쑰건을 μ™„ν™”ν•˜λŠ” k-귀납적 신경망 μž₯λ²½ 인증 기법을 μ œμ•ˆν•œλ‹€. 이λ₯Ό μœ„ν•΄ λΆ€λΆ„μ μœΌλ‘œ μ•Œλ €μ§€μ§€ μ•Šμ€ λΉ„μ„ ν˜• μ‹œμŠ€ν…œμ— 적용 κ°€λŠ₯ν•œ k-귀납적 신경망 μž₯λ²½ 인증(k-NBC)을 신경망과 SMT 기반 검증 ν”„λ ˆμž„μ›Œν¬λ₯Ό 톡해 μ„€κ³„ν•œλ‹€. 특히, μ‹œμŠ€ν…œ 동역학 정보λ₯Ό μ•Œμ§€ λͺ»ν•˜λŠ” ν™˜κ²½μ—μ„œλ„ 단일 μƒνƒœ ꢀ적을 ν™œμš©ν•˜μ—¬ 정확성을 μœ μ§€ν•˜λ©΄μ„œ 데이터 기반 λͺ¨λΈμ„ κ΅¬μΆ•ν•¨μœΌλ‘œμ¨ SMT 검증을 κ°€λŠ₯ν•˜κ²Œ ν•œλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
기쑴의 1-귀납적 μž₯λ²½ 인증의 엄격함을 μ™„ν™”ν•˜μ—¬ 더 μœ μ—°ν•œ μ•ˆμ „ μ œμ•½μ„ 섀계할 수 μžˆλ‹€.
β€’
λΆ€λΆ„μ μœΌλ‘œ μ•Œλ €μ§€μ§€ μ•Šμ€ λΉ„μ„ ν˜• μ‹œμŠ€ν…œμ—μ„œλ„ 적용 κ°€λŠ₯ν•œ 데이터 기반 λͺ¨λΈ ꡬ좕 및 검증 방법을 μ œμ‹œν•œλ‹€.
β€’
μ‹ κ²½λ§μ˜ 섀계 μœ μ—°μ„±κ³Ό SMT 기반 κ²€μ¦μ˜ ν˜•μ‹μ  보μž₯을 κ²°ν•©ν•˜μ—¬ ν™•μž₯ κ°€λŠ₯ν•˜κ³  μ‹ λ’°ν•  수 μžˆλŠ” μ•ˆμ „ 인증을 μ œκ³΅ν•œλ‹€.
β€’
λ³Έ μ—°κ΅¬λŠ” k-NBC의 μ„±λŠ₯을 ν–₯μƒμ‹œν‚€κΈ° μœ„ν•œ 좔가적인 μ΅œμ ν™” 및 λ‹€μ–‘ν•œ μ‹œμŠ€ν…œμ— λŒ€ν•œ μΌλ°˜ν™” κ°€λŠ₯μ„± 탐ꡬ가 ν•„μš”ν•˜λ‹€.
πŸ‘
Made with Slashpage