Modeling and verification of hybrid systems based on equations

被引：0
|
作者：
Ogata, K
Yamagishi, D
Seino, T
Futatsugi, K
机构：
来源：
DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS | 2004年 / 150卷
关键词：
CafeOBJ; HOTS; hybrid systems; modeling; verification;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We describe hybrid observational transition systems, or HOTSs. HOTSs are written in terms of equations and verified by means of equational reasoning. More concretely, CafeOBJ, an algebraic specification language, is used to specify HOTSs and verify that HOTSs have properties by writing proofs, or proof scores. One case study is used to demonstrate how to model hybrid systems as HOTSs, specify HOTSs in CafeOBJ and verify that HOTSs have properties with the CafeOBJ system.
引用
收藏
页码：43 / 52
页数：10
相关论文
共 50 条
  • [41] Insertion Modeling and Symbolic Verification of Large Systems
    Letichevsky, Alexander
    Letychevskyi, Oleksandr
    Peschanenko, Volodymyr
    Weigert, Thomas
    SDL 2015: MODEL-DRIVEN ENGINEERING FOR SMART CITIES, 2015, 9369 : 3 - 18
  • [42] Human Blood Circulatory System Modeling based on Hybrid Systems
    Jorge, Andre A.
    Ribeiro, Sonia A.
    Junqueira, Fabricio
    Santos Filho, Diolino J.
    Miyagi, Paulo E.
    2018 13TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRY APPLICATIONS (INDUSCON), 2018, : 770 - 774
  • [43] Combining Analytical Technique and Randomized Algorithm in Safety Verification of Stochastic Hybrid Systems
    Julius, A. Agung
    D'Innocenzo, Alessandro
    2014 AMERICAN CONTROL CONFERENCE (ACC), 2014,
  • [44] Modeling Hybrid Systems in SIMTHESys
    Barbierato, Enrico
    Gribaudo, Marco
    Iacono, Mauro
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 327 : 5 - 25
  • [45] Complementarity modeling of hybrid systems
    van der Schaft, AJ
    Schumacher, JM
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) : 483 - 490
  • [46] On modeling of fuzzy hybrid systems
    Du, Xinyu
    Ying, Hao
    Lin, Feng
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2012, 23 (04) : 129 - 141
  • [47] Fuzzy modeling with hybrid systems
    Gómez-Skarmeta, AF
    Jiménez, F
    FUZZY SETS AND SYSTEMS, 1999, 104 (02) : 199 - 208
  • [48] Verification of Hybrid Chi Model for Cyber-Physical Systems Using PHAVer
    Cong Xinyu
    Yu Huiqun
    Xu Xin
    2013 SEVENTH INTERNATIONAL CONFERENCE ON INNOVATIVE MOBILE AND INTERNET SERVICES IN UBIQUITOUS COMPUTING (IMIS 2013), 2013, : 122 - 128
  • [49] A semantic modeling and verification approach of workflow process based on CSP
    Guo, Lihua
    Lu, Zhao
    Gu, Junzhong
    2007 SECOND INTERNATIONAL CONFERENCE IN COMMUNICATIONS AND NETWORKING IN CHINA, VOLS 1 AND 2, 2007, : 1013 - 1017
  • [50] Hybrid systems modeling and control
    Morari, M
    Baotic, M
    Borrelli, F
    EUROPEAN JOURNAL OF CONTROL, 2003, 9 (2-3) : 177 - 189
12345