相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Model-Based Fault Diagnosis System Verification Using Reachability Analysis
Jinya Su et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2019)
A Model-Based Hybrid Approach for Circuit Breaker Prognostics Encompassing Dynamic Reliability and Uncertainty
Jose Ignacio Aizpurua et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2018)
Automatic Parameter Estimation for Reusable Software Components of Modular and Reconfigurable Cyber-Physical Production Systems in the Domain of Discrete Manufacturing
Jens Otto et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2018)
Model-Based Interoperability Engineering in Systems-of-Systems and Civil Aviation
Yaniv Mordecai et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2018)
Multilevel Modeling of System of Systems
Pushpendra Kumar et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2018)
Simulating simulation-agnostic SysML models for enterprise information systems via DEVS
Anargyros Tsadimas et al.
SIMULATION MODELLING PRACTICE AND THEORY (2016)
The weight of models and complexity
Jing Du
COMPLEXITY (2016)
An approach to determine simulation model complexity
Gergely Popovics et al.
SIXTH INTERNATIONAL CONFERENCE ON CHANGEABLE, AGILE, RECONFIGURABLE AND VIRTUAL PRODUCTION (CARV2016) (2016)
Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks
Kenji Tei et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2015)
Transitioning Systems Thinking to Model-Based Systems Engineering: Systemigrams to SysML Models
Robert Cloutier et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2015)
Capturing simulation tool and application domain knowledge for automating simulation model creation
O. G. Batarseh et al.
JOURNAL OF SIMULATION (2015)
Evaluation of model transformation approaches for model refactoring
S. Kolandouz-Rahimi et al.
SCIENCE OF COMPUTER PROGRAMMING (2014)
An integrated framework for automated simulation of SysML models using DEVS
George-Dimitrios Kapos et al.
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL (2014)
Automatic Generation of the Supervisor Code for Industrial Switched-Mode Systems
Nagore Iriondo et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2013)
PowerDEVS: a tool for hybrid system modeling and real-time simulation
Federico Bergero et al.
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL (2011)
A formal framework for capturing knowledge to transform structural models into analysis models
A. A. Kerzhner et al.
JOURNAL OF SIMULATION (2011)
DEVSim++ Toolset for Defense Modeling and Simulation and Interoperation
Tag Gon Kim et al.
JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS (2011)
Bidirectional model transformations in QVT: semantic issues and open questions
Perdita Stevens
SOFTWARE AND SYSTEMS MODELING (2010)
On the interoperability of model-to-model transformation languages
Frederic Jouault et al.
SCIENCE OF COMPUTER PROGRAMMING (2007)
Characteristics of engineering systems thinking - A 3-D approach for curriculum content
M Frank
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS (2002)