An introduction to model-based systems

被引:0
|
作者
Picardi, Claudia
Salles, Paulo
Wotawa, Franz
机构
[1] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
[2] Univ Brasilia, Inst Biol Sci, BR-70910900 Brasilia, DF, Brazil
[3] Graz Univ Technol, Inst Software Technol, A-8010 Graz, Austria
关键词
model-based reasoning; qualitative reasoning;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper, we first discuss how to define lines of demarcation between model-based systems and other disciplines that also use models. A brief overview of the main techniques and model types used in model-based reasoning then provide background information to introduce the articles selected for this special issue.
引用
收藏
页码:1 / 6
页数:6
相关论文
共 50 条
  • [21] Model-based development of embedded systems
    Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII
    [J]. Huhn, M., 1600, TU Clausthal, Adolph-Roemer-StraBe 2A, 38678 Clausthal-Zellerfeld, Germany
  • [22] Model-based systems in the automotive industry
    Struss, P
    Price, C
    [J]. AI MAGAZINE, 2003, 24 (04) : 17 - 34
  • [23] Model-based design of embedded systems
    Schattkowsky, T
    Müller, W
    [J]. SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 121 - 128
  • [24] Model-based feedforward for motion systems
    Boerlage, M
    Steinbuch, M
    Lambrechts, P
    van de Wal, M
    [J]. CCA 2003: PROCEEDINGS OF 2003 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 2003, : 1158 - 1163
  • [25] Model-Based Systems Engineering Activities
    Griego, Regina
    [J]. Insight, 2008, 11 (04) : 45 - 46
  • [26] Model-based development of embedded systems
    Huhn, Michaela
    Philipps, Jan
    Schätz, Bernhard
    Koss, Dagmar
    [J]. Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, MBEES 2011, 2011,
  • [27] Autonomic Healing of Model-Based Systems
    Nordstrom, Steve
    Dubey, Abhishek
    Keskinpala, Turker
    Neema, Sandeep
    Bapty, Theodore
    [J]. JOURNAL OF AEROSPACE COMPUTING INFORMATION AND COMMUNICATION, 2011, 8 (04): : 87 - 99
  • [28] Reuse in Model-Based Systems Engineering
    Shani, Uri
    Broodney, Henry
    [J]. 2015 9TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2015, : 77 - 83
  • [29] Model-Based Testing for Avionics Systems
    Brauer, Joerg
    Schulze, Uwe
    [J]. FORMAL METHODS, 2018, 10951 : 657 - 661
  • [30] Ontology and Model-based Systems Engineering
    van Ruijven, L. C.
    [J]. CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, 2012, 8 : 194 - 200