LEARNING
基于信号时序逻辑的非线性系统学习参数综合
Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arack
- 发表年份
- 2026
- 访问权限
- 开放获取
摘要
本文提出了一种针对非线性系统的参数综合方法，通过梯度优化和集合可达性验证，确保在不确定初始条件下鲁棒满足连续时间信号时序逻辑规范。该方法在高维参数空间中具有高效性和可扩展性，并在三个系统上进行了验证。
关键词
Signal Temporal Logicparameter synthesisnonlinear systemsreachability verificationgradient-based optimization
相关论文
LEARNING
📊 8,465 引用
The Organization of Behavior
D. O. Hebb
2005
LEARNING
📊 7,678 引用
Fractional Brownian Motions, Fractional Noises and Applications
Benoît B. Mandelbrot, John W. Van Ness
1968
LEARNING
开放获取📊 7,484 引用
Review of deep learning: concepts, CNN architectures, challenges, applications, future directions
Laith Alzubaidi, Jinglan Zhang, Amjad J. Humaidi 等 10 位作者
2021
LEARNING
📊 4,608 引用
A guide to deep learning in healthcare
Andre Esteva, Alexandre Robicquet, Bharath Ramsundar 等 10 位作者
2018