中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

清华大学 [4]

北京航空航天大学 [4]

北京大学 [2]

西安交通大学 [2]

软件研究所 [2]

兰州理工大学 [1]

内容类型

期刊论文 [14]

会议论文 [5]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共20条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Java Software for Petri-Net-Based Approaches to Discrete Event Systems 会议论文作者: Wang, Xiaojun; Han, Chun; Hu, Hesuan 收藏 \| 浏览/下载：9/0 \| 提交时间：2019/11/19 Graphical interface Inequality analysis Java language Minimal siphons Reachability graphs Search Algorithms Simulation platform Software platforms
	Reachability Analysis for Solvable Dynamical Systems 期刊论文 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 7 作者: Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：10/0 \| 提交时间：2019/12/05 Hybrid systems (HS) reachability analysis solvable systems (SSs) Tarski's algebra
	STAMP-based hazard analysis for computer-controlled systems using petri nets 期刊论文 International Journal of Performability Engineering, 2018, 卷号: 14, 页码: 1997-2007 作者: Zhu, D.; Yao, S.; Xu, C. 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/30 Accidents Hazards Petri nets Stamping Causality modeling Computer-controlled systems Extended Petri net Hazard analysis Process Modeling Reachability graphs STAMP-based hazard analysis System safety Process control
	Matrix approach to model matching of composite asynchronous sequential machines 期刊论文 IET CONTROL THEORY AND APPLICATIONS, 2017, 卷号: 11, 期号: 13, 页码: 2122-2130 作者: Wang, Biao; Feng, Jun-e; Meng, Min 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/12 sequential machines matrix algebra reachability analysis tensors control system synthesis pattern matching composite asynchronous sequential machines matrix-based approach composite ASM input-state asynchronous machines semitensor product method algebraic expression reachability necessary and sufficient condition model matching controller design
	A reduced reachability tree for a class of unbounded petri nets 期刊论文 IEEE/CAA Journal of Automatica Sinica, 2015, 卷号: 2, 期号: [db:dc_citation_issue], 页码: 345-352 作者: Wang, Shouguang; Gan, Mengdi; Zhou, Mengchu; You, Dan 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/12/02 Analysis tools Boundedness deadlock Generalized net Liveness Reachability Reachability tree Tree size
	Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks 期刊论文 ACM SIGPLAN NOTICES, 2015 Tang, Hao; Wang, Xiaoyin; Zhang, Lingming; Xie, Bing; Zhang, Lu; Mei, Hong 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 Algorithms Languages TAL reachability CFL reachability context-sensitive analysis summary-based analysis tree adjoining languages POINTS-TO ANALYSIS DATA-FLOW ANALYSIS CFL-REACHABILITY SET CONSTRAINTS RACE DETECTION PROGRAMS GRAMMARS PRECISE
	Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks 其他 2015-01-01 Tang, Hao; Wang, Xiaoyin; Zhang, Lingming; Xie, Bing; Zhang, Lu; Mei, Hong 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/04 Algorithms Languages TAL reachability CFL reachability context-sensitive analysis summary-based analysis tree adjoining languages POINTS-TO ANALYSIS DATA-FLOW ANALYSIS CFL-REACHABILITY SET CONSTRAINTS RACE DETECTION PROGRAMS GRAMMARS PRECISE
	Some decidable results on reachability of solvable systems 期刊论文 INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, 卷号: 42, 期号: 4, 页码: 405-425 Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin 收藏 \| 浏览/下载：19/0 \| 提交时间：2014/12/16 reachability analysis solvable mappings nonlinear systems hybrid systems symbolic computation decision procedures
	Refining the pointer analysis by exploiting constraints on the CFL-paths 会议论文 20th Asia-Pacific Software Engineering Conference (APSEC), Chulalongkorn Univ, Fac Engn, Dept Comp Engn, Bangkok, THAILAND, 2013-01-01 作者: Sun, Xiaoshan; Cheng, Liang; Zhang, Yang; Deng, Yi; Hou, Jingbiao 收藏 \| 浏览/下载：4/0 \| 提交时间：2020/01/06 pointer analysis CFL-reachability problem program analysis constraints solving
	Computing an invariance kernel with target by computing Lyapunov-like functions 期刊论文 IET CONTROL THEORY AND APPLICATIONS, 2013, 卷号: 7, 页码: 1932-1940 作者: She, Zhikun; Xue, Bai 收藏 \| 浏览/下载：4/0 \| 提交时间：2020/01/06 control system synthesis Lyapunov methods mathematical programming nonlinear dynamical systems reachability analysis invariance kernel Lyapunov-like functions reachability analysis viability theory control synthesis trajectory analysis constrained dynamical systems low-dimensional non-linear systems polynomials semi-definite programming problem

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace