Formal Modeling of Cyber-Physical Systems: Lessons Learn from Refinement and Proof Based Methods

被引：0
|
作者：
Ameur, Yamine Ait [1 ]
机构：
[1] Inst Natl Polytech Toulouse, Toulouse, France
来源：
ADVANCES IN COMPUTING SYSTEMS AND APPLICATIONS | 2019年 / 50卷
关键词：
D O I：
10.1007/978-3-319-98352-3_1
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：3 / 3
页数：1
相关论文
共 50 条
  • [1] A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems
    Ait-Ameur, Yamine
    Bogomolov, Sergiy
    Dupont, Guillaume
    Iliasov, Alexei
    Romanovsky, Alexander
    Stankaitis, Paulius
    [J]. FORMAL ASPECTS OF COMPUTING, 2023, 35 (01)
  • [2] Formal methods for reconfigurable cyber-physical systems in production
    Grochowski, Marco
    Simon, Hendrik
    Bohlender, Dimitri
    Kowalewski, Stefan
    Loecklin, Andreas
    Mueller, Timo
    Jazdi, Nasser
    Und, Andreas Zeller
    Weyrich, Michael
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2020, 68 (01) : 3 - 14
  • [3] A Layered Formal Framework for Modeling of Cyber-Physical Systems
    Ungureanu, George
    Sander, Ingo
    [J]. PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 1715 - 1720
  • [4] Formal modeling and control of cyber-physical manufacturing systems
    Yu, Zhenhua
    Ouyang, Jie
    Li, Sisi
    Peng, Xia
    [J]. ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (10)
  • [5] Anomaly Detection in Cyber-Physical Systems: A Formal Methods Approach
    Jones, Austin
    Kong, Zhaodan
    Belta, Calin
    [J]. 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 848 - 853
  • [6] Formal Modeling of Testing Software for Cyber-Physical Automation Systems
    Buzhinsky, Igor
    Pang, Cheng
    Vyatkin, Valeriy
    [J]. 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 301 - 306
  • [7] Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
    Krishna, Shankara Narayanan
    Trivedi, Ashutosh
    [J]. JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 419 - 440
  • [8] Metamathematics for Systems DesignComprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems
    Ichiro Hasuo
    [J]. New Generation Computing, 2017, 35 : 271 - 305
  • [9] Modeling Cyber-Physical Systems
    Derler, Patricia
    Lee, Edward A.
    Vincentelli, Alberto Sangiovanni
    [J]. PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 13 - 28
  • [10] Model-Based Specification and Refinement for Cyber-Physical Systems
    Drechsler, Rolf
    Autexier, Serge
    Lueth, Christoph
    [J]. DYNAMICS IN LOGISTICS, LDIC 2016, 2017, : 3 - 17
12345