Symbolic reachability analysis of multirate hybrid systems

被引：0

作者：

Zhang, Haibin ^{[1
]}

Duan, Zhenhua ^{[1
]}

机构：

[1] Institute of Computing Theory and Technology, Xidian University, Xi'an 710071, China

来源：

Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University | 2007年 / 41卷 / 04期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：412 / 415

共 50 条

[1] Symbolic reachability analysis of hybrid systems
Wong-Toi, H
MOTION CONTROL (MC'98), 1999, : 271 - 276
[2] Structures for Reachability Problems of Multirate Hybrid Systems
Zhang, Haibin
Yang, Liya
INTELLIGENT SYSTEM AND APPLIED MATERIAL, PTS 1 AND 2, 2012, 466-467 : 754 - +
[3] A formal structure for symbolic reachability analysis of rectangular hybrid systems
ZHANG HaiBin
ZHAO Cheng
LI Rong
Science China Technological Sciences, 2016, (02) : 347 - 356
[4] Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections
Hagemann, Willem
COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 407 - 423
[5] A formal structure for symbolic reachability analysis of rectangular hybrid systems
ZHANG HaiBin
ZHAO Cheng
LI Rong
Science China(Technological Sciences), 2016, 59 (02) : 347 - 356
[6] A formal structure for symbolic reachability analysis of rectangular hybrid systems
Zhang HaiBin
Zhao Cheng
Li Rong
SCIENCE CHINA-TECHNOLOGICAL SCIENCES, 2016, 59 (02) : 347 - 356
[7] Symbolic analysis of multirate systems
Heinle, F
Reng, R
Runze, G
MAPLETECH, 1996, 3 (01): : 30 - 37
[8] A formal structure for symbolic reachability analysis of rectangular hybrid systems
HaiBin Zhang
Cheng Zhao
Rong Li
Science China Technological Sciences, 2016, 59 : 347 - 356
[9] Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing
Bogomolov, Sergiy
Frehse, Goran
Gurung, Amit
Li, Dongxu
Martius, Georg
Ray, Rajarshi
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2021, 42
[10] The reachability and observability of hybrid multirate sampling linear systems
delaSen, M
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1996, 31 (01) : 109 - 122

← 1 2 3 4 5 →