Runtime Verification on Abstracted Finite State Models

被引：0
作者：
Jevitha, K.P. [1 ]
Jayaraman, Bharat [1 ,2 ]
Sethumadhavan, M. [3 ]
机构：
[1] Department of Computer Science and Engineering, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Coimbatore, India
[2] Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo,NY, United States
[3] TIFAC CORE in Cyber Security, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Coimbatore, India
来源：
SSRN | 2022年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Java programming language
引用
收藏
相关论文
共 50 条
  • [41] State-dependent behavioral models for designing a multi-generation product line
    Lin, Chun-Yu
    Okudan, Gül E.
    61st Annual IIE Conference and Expo Proceedings, 2011,
  • [42] Steady-state saturated groundwater flow modeling with full tensor conductivities using finite differences
    Group of Hydrogeology, Universidad Politécnica de Valencia, Camino de Vera, 46022 Valencia, Spain
    Comput. Geosci., 10 (1211-1223):
  • [43] Finite-Horizon l2-l∞ State Estimation for Networked Systems Under Mixed Protocols
    Guo, Jiyue
    Yue, Yuanlong
    Song, Baoye
    Zhao, Zhongyi
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2023, 10 (03) : 822 - 824
  • [44] Finite-time distributed state and disturbance estimation for LTI systems with disturbance: a PEBO-based approach
    Yang, Junqi
    Wang, Dongzheng
    Xu, Jianfeng
    International Journal of Systems Science, 2024,
  • [45] Links between multiplicity automata, observable operator models and predictive state representations | a unified learning framework
    Thon, Michael
    Jaeger, Herbert
    Journal of Machine Learning Research, 2015, 16 : 103 - 147
  • [46] Modeling near-field tsunami observations to improve finite-fault slip models for the 11 March 2011 Tohoku earthquake
    Yamazaki, Y.
    Lay, T.
    Cheung, K.F.
    Yue, H.
    Kanamori, H.
    Geophysical Research Letters, 2011, 38 (20):
  • [47] Modeling near-field tsunami observations to improve finite-fault slip models for the 11 March 2011 Tohoku earthquake
    Department of Ocean and Resource Engineering, University of Hawaii at Manoa, Honolulu
    HI, United States
    不详
    CA, United States
    不详
    CA, United States
    Geophys. Res. Lett., 7
  • [48] On the construction of an efficient finite-element solver for phase-field simulations of many-particle solid-state-sintering processes
    Munch, Peter
    Ivannikov, Vladimir
    Cyron, Christian
    Kronbichler, Martin
    Computational Materials Science, 2024, 231
  • [49] Optimal Finite-Dimensional Controller of the Stochastic Differential Object's State by Its Output. I. Incomplete Precise Measurements
    Rudenko, E. A.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2023, 62 (04) : 636 - 651
  • [50] Current Poisson’s ratio values of finite element models are too low to consider soft tissues nearly-incompressible: illustration on the human heel region
    Fougeron, Nolwenn
    Trebbi, Alessio
    Keenan, Bethany
    Payan, Yohan
    Chagnon, Gregory
    arXiv, 2023,
12345