首页> 外文OA文献 >Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints

【2h】

Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints

机译：用截止线性时间逻辑约束控制定时离散事件系统

代理获取

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

页面导航

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

著录项

作者
Takuma Kinugawa; Kazumune Hashimoto; Toshimitsu Ushio;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints [J] . Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio IFAC PapersOnLine . 2020,第2期

机译：用截止线性时间逻辑约束控制定时离散事件系统
2. Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications [J] . Shengbing Jiang, Kumar R. IEEE transactions on automation science and engineering . 2006,第1期

机译：具有线性时间时态逻辑规范的离散事件系统的重复故障诊断
3. Failure diagnosis of discrete-event systems with linear-time temporal logic specifications [J] . Shengbing Jiang, Kumar R. IEEE Transactions on Automatic Control . 2004,第6期

机译：具有线性时间时序逻辑规范的离散事件系统的故障诊断
4. Optimal directed control of discrete event systems with linear temporal logic constraints [C] . Sakakibara Ami, Pruekprasert Sasinee, Ushio Toshimitsu 2015 IEEE 20th Conference on Emerging Technologies amp; Factory Automation . 2015

机译：具有线性时间逻辑约束的离散事件系统的最优定向控制
5. Supervisory control and failure diagnosis of discrete event systems: A temporal logic approach. [D] . Jiang, Shengbing. 2002

机译：离散事件系统的监督控制和故障诊断：一种时间逻辑方法。
6. Fuzzy ... formula ... output-feedback control for the discrete-time system with channel fadings sector nonlinearities and randomly occurring interval delays and nonlinearities [O] . Xiaozheng Fan, Yan Wang, Manfeng Hu -1

机译：具有信道衰落扇区非线性以及随机出现的间隔延迟和非线性的离散时间系统的模糊...公式输出反馈控制
7. Failure Diagnosis of Discrete Event Systems with Linear-time Temporal Logic Fault Specifications [O] . Shengbing Jiang, Ratnesh Kumar 2001

机译：具有线性时间时序逻辑故障规范的离散事件系统的故障诊断
8. Reasoning about real-time systems with temporal interval logic constraints on multi-state automata [R] . Gabrielian, Armen 1991

机译：关于多状态自动机时间区间逻辑约束的实时系统的推理

Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints

著录项

引文网络

相似文献

相关主题

期刊订阅