首页> 外文学位 >Stability-Based Hybrid Automata for Safety Verification Using Continuation Methods.

【24h】

Stability-Based Hybrid Automata for Safety Verification Using Continuation Methods.

机译：使用持续方法进行安全验证的基于稳定性的混合自动机。

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Uth, Peter.;
展开▼
作者单位

University of Washington.;

展开▼
授予单位 University of Washington.;
学科 Aerospace engineering.;Engineering.
学位 Masters
年度 2017
页码 65 p.
总页数 65
原文格式 PDF
正文语种 eng
中图分类
关键词
入库时间 2022-08-17 11:54:13

相似文献

外文文献
中文文献
专利

1. PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata [J] . Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans Mathematics in Computer Science . 2011,第4期

机译：合理的线性混合自动机安全特性的PTIME参数验证
2. PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata [J] . Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans Mathematics in computer science . 2011,第4期

机译：合理的线性混合自动机安全特性的PTIME参数验证
3. Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications [J] . Doaa Soliman, Kleanthis Thramboulidis, Georg Frey Annual Review in Control . 2012,第2期

机译：将功能框图转换为UPPAAL定时自动机以验证安全应用
4. Construction of Stability-Based Hybrid Automata for Safety Verification Using Continuation Methods [C] . Peter Uth, Anshu Narang-Siddarth, Matthew Clark AIAA guidance, navigation, and control conference;AIAA SciTech forum . 2018

机译：基于稳定性的基于稳定性的混合自动机构造方法的连续性验证
5. Scalable Safety Verification of Stochastic Hybrid Systems [D] . Lal, Ratan. 2021

机译：随机混合系统的可扩展安全验证
6. Hybrid Automata Library: A flexible platform for hybrid modeling with real-time visualization [O] . Rafael R. Bravo, Etienne Baratchart, Jeffrey West, 2020

机译：混合自动机库：用于混合建模和实时可视化的灵活平台
7. Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata [O] . Damm, W., Horbach, M., Sofronie-Stokkermans, V. 2015

机译：线性混合自动机空间族安全性验证的可判定性

Stability-Based Hybrid Automata for Safety Verification Using Continuation Methods.

著录项

相似文献

相关主题

期刊订阅