没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
非线性连续系统安全性验证的启发式方法
非线性连续系统安全性验证的启发式方法
System
Safety
Verification,
Barrier
Function,
0 下载量
46 浏览量
2021-02-25
16:36:13
上传
评论
收藏
387KB
PDF
举报
温馨提示
立即下载
非线性连续系统安全性验证的启发式方法
资源推荐
资源评论
非线性系统神经网络控制策略安全性验证的公开算法_OVERT An Algorithm for Safety Verificati
浏览：194
非线性系统神经网络控制策略安全性验证的公开算法_OVERT An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.pdf
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
浏览：78
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元
模型驱动的嵌入式系统设计安全性验证方法研究
浏览：131
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语
系统安全性交叉验证方法研究、实现与应用
浏览：43
初步危险分析PHA和功能危险评估FHA是两种常用的安全性分析方法和过程。针对传统的PHA和FHA方法存在的容易遗漏危险和控制措施，以及人工进行安全性分析的易错、效率低下和难以复用等问题，文章提出一种PHA和FHA结合的安全性交叉验证方法，基于此方法设计和开发了可视化的系统安全性自动建模和分析工具，并对具有典型安全性要求的起落架系统进行了示例应用，结果表明从FHA的功能分析和PHA的危险分析
非线性动力系统的现代数学方法及其应用
浏览：152
非线性动力系统的现代数学方法及其应用非线性动力系统
非线性系统习题解(有目录)by Hassan K. Khalil
浏览：181
4星 · 用户满意度95%
基本分析部分介绍了非线性系统的基本概念和基本分析方法；反馈系统分析部分介绍了输入-输出稳定性、无源性和反馈系统的频域分析；现代分析部分介绍了现代稳定性分析的基本概念、扰动系统的稳定性、扰动理论和平均化...
matlab_通过对非线性系统进行线性化，掌握状态反馈线性化方法的过程
浏览：17
5星 · 资源好评率100%
通过对非线性系统进行线性化，掌握状态反馈线性化方法的过程，并通过Simulink仿真过程，验证设计的控制率能否满足设计要求并进一步掌握状态反馈线性化方法
非线性系统线性化.ppt
浏览：29
5星 · 资源好评率100%
4.1 基于动平衡状态理论的非线性系统反馈线性化直接方法 4.2 单变量输入输出反馈线性化直接方法及鲁棒设计 仿射非线性系统输入输出线性化及鲁棒设计 线性时变系统反馈线性化直接方法及鲁棒设计 线性定常系统设计—...
多变量非线性控制的逆系统方法
浏览：58
多变量非线性控制的逆系统方法
非线性控制系统及其应用实例
浏览：148
5星 · 资源好评率100%
主要是对非线性系统的各种控制方法，以及非线性控制运用的一些实例，对于学控制的人，帮助是非常大的，因为这些资料都是从国外著名大学研究生学习的教材。
论文研究-基于径向基函数网络或模糊系统的非线性连续时间系统的自适应调节.pdf
浏览：175
对于一类连续时间的非线性动态系统x=f(x) Bu d,当系统中的非线性函数f(x)满足有界或线性增长条件(具有未知的增长系数)时,首先证明了f(x)中的x落入一紧集中,然后根据...
非线性系统的理论和方法
浏览：47
4星 · 用户满意度95%
非线性系统的理论和方法 非线性系统的理论和方法
论文研究-非线性动态系统建模方法研究.pdf
浏览：200
讨论了一类非线性动态系统建模的新方法。首先，假设原非线性动态系统可以用Hammerstein模型来表示。然后，将Hammerstein模型的非线性传递函数转换为等价的线性形式，从而建立起中间模型。接下来，利用粒子群优化...
强非线性振动
浏览：46
强非线性振动系统的定量分析方法 浙江大学出版社 陈树辉教授
非线性控制系统的反馈线性化
浏览：189
5星 · 资源好评率100%
非线性控制系统的反馈线性化的方法，应用在模型预测控制方面很有用
MATLAB环境下非线性控制系统的建模与仿真.pdf
浏览：36
MATLAB环境下非线性控制系统的建模与仿真.pdf
非线性动力系统的现代数学方法及应用
浏览：5
3星 · 编辑精心推荐
非线性动力系统的现代数学方法及应用 主要内容：非线性系统的定性分析及常用的摄动方法
非线性动力学幅频、相图、分岔常用程序汇总,非线性系统分岔图,matlab源码.zip
浏览：200
5星 · 资源好评率100%
非线性动力学幅频、相图、分岔常用程序汇总,非线性系统分岔图,matlab源码.zip
非线性系统理论与设计
浏览：68
基本分析部分介绍了非线性系统的基本概念和基本分析方法；反馈系统分析部分介绍了输入-输出稳定性、无源性和反馈系统的频域分析；现代分析部分介绍了现代稳定性分析的基本概念、扰动系统的稳定性、扰动理论和平均化...
非线性系统线性化的常规方法.ppt
浏览：53
基于此技术文档，能够很快掌握非线性系统线性化的基本思路与基础理论方法。是学习非线性系统线性化的不二之选。
论文研究-非线性系统辨识方法研究.pdf
浏览：191
讨论了利用小波神经网络对非线性系统辨识的新方法。在辨识过程中，为了提高小波神经网络对非线性系统的辨识性能，使用一种改进粒子群优化算法对BP小波神经网络参数进行训练，求得最优值，达到对非线性系统辨识目的。...
应用无源性分析时变非线性系统的稳定性
浏览：10
应用无源性分析研究时变非线性系统的稳定性。通过引进一个非线性复合微分算子， 和一个时变非线胜复合微分算子 讨论了基于无源系统理论的时变非线性系统的稳定性分析。
非线性系统冲激响应快速检测方法的研究
浏览：87
针对室内声学非线性系统室内冲激响应快速检测的问题，提出了一种基于连续指数正弦扫频信号综合检测的方法。通过简要介绍非线性系统Volterra模型后，着重阐述了作为激励信号的连续指数正弦扫频信号和实现非线性系统...
Qt 5实现串口调试助手 （源工程文件、0积分下载）
浏览：102
5星 · 资源好评率100%
基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
浏览：24
5星 · 资源好评率100%
SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览：53
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览：190
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
NPPJSONViewer.zip
浏览：122
4星 · 用户满意度95%
NodePad++ JSON格式化插件
GD32替换STM32注意事项.pdf
浏览：178
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38570296
粉丝: 5
资源:
938
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
flask框架学习笔记
易语言源码易语言KMP算法模块源码
AAAAAAAAAAAAAAAAA
易语言源码树枝分形算法易语言源码树枝分形算法
易语言源码取重复文本新算法
Linux+用户和组的管理
易语言源码取百度MP3地址算法
易语言源码魔术棒选取算法
MATLAB源码和文档遗传算法优化计算建模自变量降维
MATLAB源码和文档遗传算法优化BP神经网络非线性函数拟合
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
