首页> 外文OA文献 >Scenario-Based Set Invariance Verification for Black-Box Nonlinear Systems

【2h】

Scenario-Based Set Invariance Verification for Black-Box Nonlinear Systems

机译：基于场景的黑匣子非线性系统集的不变性验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zheming Wang; Raphael M. Jungers;
展开▼
作者单位

展开▼
年度 2021
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On the Conditions for Invariance of the Sets Belonging to the Phase Portraits of Nonlinear Dynamic Systems [J] . V. P. Zhukov Automation and Remote Control . 2005,第6期

机译：关于属于非线性动力系统相画像的集合不变性的条件
2. A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems [J] . Jingwen Xu, Yanhong Huang, Jianqi Shi, 计算机科学技术学报（英文版） . 2021,第006期

机译：A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems
3. Scenario-based trustworthiness verification for systems of internet of things [J] . Junhua Zhang, Yi Zhu International journal of internet protocol technology . 2018,第1期

机译：物联网系统基于场景的可信度验证
4. Stabilization of Networked Control Systems by Nonlinear Model Predictive Control: A Set Invariance Approach [C] . Gilberto Pin, Thomas Parisini International workshop on assessment and future directions of nonlinear model predictive control . 2009

机译：非线性模型预测控制网络控制系统的稳定：一种置换不变方法
5. Statistically Sound Verification and Optimization of Black-Box Systems. [D] . Zhang, Yan. 2014

机译：统计上可靠的黑匣子系统验证和优化。
6. Set-Membership Based Hybrid Kalman Filter for Nonlinear State Estimation under Systematic Uncertainty [O] . Yan Zhao, Jing Zhang, Gaoge Hu, 2020

机译：系统不确定性下基于集成员关系的非线性卡尔曼滤波用于非线性状态估计
7. Verifying Real-Time Systems against Scenario-Based Requirements [O] . Kim G. Larsen, Shuhao Li, Brian Nielsen, 2010

机译：根据基于场景的需求验证实时系统
8. Invariance of the Approximately Reachable Set under Nonlinear Perturbations. [R] . Naito, K., Seidman, T. I. 1986

机译：非线性扰动下近似可达集的不变性。

Scenario-Based Set Invariance Verification for Black-Box Nonlinear Systems

著录项

引文网络

相似文献

相关主题

期刊订阅