首页> 外文OA文献 >A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems

【2h】

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems

机译：单输入单输出连续时间控制系统的Hoare逻辑

页面导航

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

著录项

作者
Richard J. Boulton; Ruth Hardy; Ursula Martin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Adaptive control of single-input single-output hybrid systems possessing interacting discrete- and continuous-time dynamics [J] . de la Sen M Discrete dynamics in nature and society . 2005,第3期

机译：具有离散和连续时间相互作用的单输入单输出混合系统的自适应控制
2. Adaptive control of single-input single-output hybrid systems possessing interacting discrete- and continuous-time dynamics [J] . de la Sen M Discrete dynamics in nature and society . 2005,第3期

机译：具有离散和连续时间相互作用的单输入单输出混合系统的自适应控制
3. Adaptive control of single-input single-output hybrid systems possessing interacting discrete- and continuous-time dynamics [J] . M.de la Sen Discrete dynamics in nature and society . 2005,第3期

机译：具有离散和连续时间相互作用的单输入单输出混合系统的自适应控制
4. A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems [C] . Richard J. Boulton, Ruth Hardy, Ursula Martin Hybrid Systems: Computation and Control . 2003

机译：单输入单输出连续时间控制系统的Hoare逻辑
5. Frequency Domain System Identification of Linear Time-Invariant Single-Input Single-Output 2-Dimensional Systems and Multi-Input Multi-Output 1-Dimensional Systems by Utilizing AFD Type Algorithms [D] . Wang, Xiaoyin. 2020

机译：通过利用AFD型算法，频域系统识别线性时间不变的单输入单输出二维系统和多输入多输出1维系统
6. Modeling and Simulation of Control Actuation System with Fuzzy-PID Logic Controlled Brushless Motor Drives for Missiles Glider Applications [O] . Murali Muniraj, Ramaswamy Arulmozhiyal 2015

机译：模糊PID逻辑控制的无刷电机驱动控制系统的建模与仿真
7. Adaptive control of single-input single-output hybrid systems possessing interacting discrete- and continuous-time dynamics [O] . M. de la Sen 2005

机译：单输入单输出混合动力的自适应控制系统具有交互离散和连续时间动态

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems

著录项

引文网络

相似文献

相关主题

期刊订阅