基于Craig插值的线性混成系统符号化模型检测

您当前的位置：

首页 >

文章列表页 >

基于Craig插值的线性混成系统符号化模型检测

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 基于Craig插值的线性混成系统符号化模型检测
- Symbolic Model Checking for Linear Hybrid Systems Base on Craig Interpolation
- 陈祖希，徐中伟，霍伟伟，喻钢
- 电子学报 2014年42卷第7期页码：1338-1346
- 作者机构：
  1. 同济大学电子与信息工程学院,上海,201804
  2. 上海大学悉尼工商学院,上海,201800
  3. 同济大学电子与信息工程学院,上海,201804
  4. 上海大学悉尼工商学院,上海,201800
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.60674004，No.61075002，No.71302048）;十二五国家科技支撑计划 (No.2011BAG01B03）;国家863高技术研究发展计划 (No.2012AA112801）;铁道部重点研究发展计划 (No.2012AA112801）
- DOI： 10.3969/j.issn.0372-2112.2014.07.014
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

39

浏览量

48

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

RIS辅助宽带太赫兹ISAC系统鲁棒保密传输方法

面向近海的多基站协作通信感知一体化设计

基于稀疏贝叶斯学习的OTFS系统脉冲噪声抑制方法

基于概念漂移感知的异常流量检测模型轻量化更新机制

基于DD域LFM脉冲信号嵌入的OTFS通感一体化波形设计

相关作者

暂无数据

相关机构

暂无数据