Logics for hybrid systems

Davoren J.M.; Nerode A.

首页> 外文期刊>Proceedings of the IEEE >Logics for hybrid systems

【24h】

Logics for hybrid systems

机译：混合系统逻辑

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Hybrid systems are heterogenous dynamical systems characterized by interacting continuous and discrete dynamics. Such mathematical models have proved fruitful in a great diversity of engineering applications, including air-traffic control, automated manufacturing, and chemical process control. The high-profile and safety-critical nature of the application areas has fostered a large and growing body of work on formal methods for hybrid systems: mathematical logics, computational models and methods, and computer-aided reasoning tools supporting the formal specification and verification of performance requirements for hybrid systems, and the design and synthesis of control programs for hybrid systems that are provably correct with respect to formal specifications. This paper offers synthetic overview of, and original contributions to, the use of logics and formal methods in the analysis of hybrid systems.

机译：混合系统是异质动力学系统，其特征是相互作用的连续和离散动力学。事实证明，这样的数学模型在包括航空交通控制，自动化制造和化学过程控制在内的多种工程应用中卓有成效。应用领域的引人注目的和安全至上的性质促进了混合系统形式方法的大量且不断增长的工作：数学逻辑，计算模型和方法以及支持形式规范和验证的计算机辅助推理工具。混合系统的性能要求，以及混合系统的控制程序的设计和综合，这些方面在形式规格方面经证明是正确的。本文提供了对混合系统分析中逻辑和形式方法的使用的综合概述，以及它们的原始贡献。

著录项

来源
《Proceedings of the IEEE》 |2000年第7期|P.985-1010|共26页
作者
Davoren J.M.; Nerode A.;
展开▼
作者单位

Comput. Sci. Lab., Australian Nat. Univ., Canberra, ACT;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类一般性问题;无线电电子学、电信技术;
关键词
discrete systems; formal logic; formal specification; formal verification; inference mechanisms; ATC; air-traffic control; automated manufacturing; chemical process control; computational models; computer-aided reasoning tools; continuous dynamics; control program design; control program synthesis; discrete dynamics; heterogenous dynamical systems; hybrid system logics; mathematical logics;

机译：离散系统;形式逻辑;形式规范;形式验证;推理机制;空中交通管制;空中交通管制;自动化制造;化学过程控制;计算模型;计算机辅助推理工具;连续动力学;控制程序设计;控制程序综合;离散动力学;异构动力学系统;混合系统逻辑;数学逻辑;

相似文献

外文文献
中文文献
专利

1. Fault Detection Systems via a Novel hybrid Methodology for Fuzzy Logic Systems based on Individual base inference and Statistical Process Control [J] . Montes Dorantes P.N., Nieto Gonzalez J.P., Mendez G.M. Latin America Transactions, IEEE (Revista IEEE America Latina) . 2014,第4期

机译：基于个体基础推理和统计过程控制的新型模糊逻辑混合方法的故障检测系统
2. A Hybrid Model through the Fusion of Type-2 Fuzzy Logic Systems and Sensitivity-Based Linear Learning Method for Modeling PVT Properties of Crude Oil Systems [J] . Ali Selamat, Sunday Olusanya Olatunji, Abdul Azeez Abdul Raheem Advances in fuzzy systems . 2012,第期

机译：基于2型模糊逻辑系统和基于灵敏度的线性学习方法融合的混合模型，用于建模原油系统的PVT特性
3. Improved hybrid fuzzy logic system for evaluating sustainable transportation systems in smart cities [J] . Wang Chenghua, Martinez Oscar Sanjuan, Crespo Ruben Gonzalez International Journal of Shipping and Transport Logistics . 2021,第5期

机译：改进智能城市可持续运输系统的混合模糊逻辑系统
4. A logic-based hybrid solver for optimal control of hybrid systems [C] . Bemporad, A., Giorgetti, . 2003

机译：基于逻辑的混合求解器，用于最优控制混合系统
5. S-Taliro: A Tool for Temporal Logic Falsification for Hybrid Systems [D] . Annapureddy, Yashwanth Singh Rahul 2011

机译：S-Taliro：用于混合系统的时间逻辑伪造的工具
6. A Real Time Coincidence System for High Count-Rate TOF or Non-TOF PET Cameras Using Hybrid Method Combining AND-Logic and Time-Mark Technology [O] . Chao Wang, Hongdi Li, Rocio A. Ramirez, -1

机译：的实时巧合系统的高计数率TOF或非TOF pET相机使用混合方法的结合与逻辑和时间标记技术
7. Fuzzy Logic-Based Duty Cycle Controller for the Energy Management System of Hybrid Electric Vehicles with Hybrid Energy Storage System [O] . Muhammad Rafaqat Ishaque, Muhammad Adil Khan, Muhammad Moin Afzal, 2021

机译：混合电动汽车能源管理系统的模糊逻辑占空比控制器，具有混合能量存储系统

Logics for hybrid systems

摘要

著录项

相似文献

相关主题

期刊订阅