The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main focus is on modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The Symposium bridges different areas in the field of theory of M&S, including formal modeling, model-checking, graph transformation, modeling methodologies.
Topics of interest include (but are not limited to):
Theory
o Advances in Modeling Formalisms (DEVS,
Petri nets, Statecharts, etc.)
o Model Transformation
o Model Checking and Verification
o Formalism-Based Model Debugging
Modular Approaches to M&S
o Model Composition
o Co-simulation
o Interoperability
o Modular Modeling of Hybrid Systems
o Modular Modeling of Spatially Distributed
Systems
o Modular Representation of Numerical
Solvers
Complex Systems M&S
o Multi-Paradigm/Multi-Domain Modeling
o Multi-Resolution/Multiscale Modeling
o Cyber-Physical Systems M&S
o Ultra Large Scale Systems M&S
o Systems of Systems M&S
M&S Technologies
o Parallel/Distributed/Cloud-Based Simulation
o Real-Time and Interactive Simulation
o M&S of Embedded Systems
M&S Tools and Standards
o Simulation Languages/Libraries
o Simulation Development/Visualization Tools
o M&S Repositories/Data Formats
04月23日
2017
04月26日
2017
摘要截稿日期
摘要录用通知日期
初稿截稿日期
初稿录用通知日期
终稿截稿日期
注册截止日期
2016年04月03日 美国 Pasadena
2016年建模与仿真理论研讨会2015年04月12日 美国
2015年建模与仿真理论研讨会2014年04月13日 美国
2014年建模与仿真理论研讨会
留言