首页> 外文OA文献 >Safety Verification of Model Helicopter Controller using Hybrid Input/Output Automata

【2h】

Safety Verification of Model Helicopter Controller using Hybrid Input/Output Automata

机译：使用混合输入/输出自动机的模型直升机控制器的安全性验证

页面导航

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

著录项

作者
Sayan Mitra; Yong Wang; Nancy Lynch; Eric Feron;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Dynamic Modeling and Closed-loop Control of Hybrid Grid-connected Renewable Energy System with Multi-input Multi-output Controller [J] . Mahdi Salimi, Fereshteh Radmand, Mansour Hosseini Firouz Journal of Modern Power Systems and Clean Energy . 2021,第1期

机译：具有多输入多输出控制器的混合网连接可再生能源系统的动态建模与闭环控制
2. Dynamic Modeling and Closed-loop Control of Hybrid Grid-connected Renewable Energy System with Multi-input Multi-output Controller [J] . Mahdi Salimi, Fereshteh Radmand, Mansour Hosseini Firouz 现代电力系统与清洁能源学报(英文) . 2021,第001期

机译：具有多输入多输出控制器的混合网连接可再生能源系统的动态建模与闭环控制
3. Dynamic modeling and simulation of an induction motor with adaptive backstepping design of an input-output feedback linearization controller in series hybrid electric vehicle [J] . Jalalifar Mehran, Payam Farrokh Amir, Nezhad Saghaeian Morteza Seyed, Serbian Journal of Electrical Engineering . 2007,第2期

机译：混合动力电动汽车输入-输出反馈线性化控制器自适应反推设计的异步电动机动态建模与仿真
4. Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata [C] . Sayan Mitra, Yong Wang, Nancy Lynch, Hybrid Systems: Computation and Control . 2003

机译：使用混合输入/输出自动机的模型直升机控制器的安全性验证
5. Stability-Based Hybrid Automata for Safety Verification Using Continuation Methods. [D] . Uth, Peter. 2017

机译：使用持续方法进行安全验证的基于稳定性的混合自动机。
6. A Two-Time Scale Decentralized Model Predictive Controller Based on Input and Output Model [O] . Jian Niu, Jun Zhao, Zuhua Xu, 2009

机译：基于输入和输出模型的二次尺度分散模型预测控制器
7. Modeling and Verification of a Robotic Surgical System using Hybrid Input/Output Automata [O] . Luzie Schreiter, Paolo Fiorini, Joerg Raczkowsky, 2016

机译：基于混合输入/输出自动机的机器人手术系统建模与验证

Safety Verification of Model Helicopter Controller using Hybrid Input/Output Automata

著录项

引文网络

相似文献

相关主题

期刊订阅