Co-modelling and co-simulation in the engineering of systems of cyber-physical systems
暂无分享,去创建一个
[1] Jim Woodcock,et al. Features of CML: A formal modelling language for Systems of Systems , 2012, 2012 7th International Conference on System of Systems Engineering (SoSE).
[2] Peter Gorm Larsen,et al. Collaborative Design for Embedded Systems , 2014, Springer Berlin Heidelberg.
[3] Radhika Nagpal,et al. Kilobot: A low cost scalable robot system for collective behaviors , 2012, 2012 IEEE International Conference on Robotics and Automation.
[4] Jozef Hooman,et al. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ , 2006, FM.
[5] Johannes F. Broenink,et al. Modelling, Simulation and Analysis with 20-Sim , 1997 .
[6] Manfred Broy,et al. Cyber-Physical Systems: Imminent Challenges , 2012, Monterey Workshop.
[7] Gabor Karsai,et al. Co-simulation framework for design of time-triggered cyber physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
[8] Wolfram Burgard,et al. Collaborative Exploration of Unknown Environments with Teams of Mobile Robots , 2001, Advances in Plan-Based Control of Robotic Agents.
[9] Ferat Sahin,et al. Testability of a swarm robot using a system of systems approach and discrete event simulation , 2010, 2010 5th International Conference on System of Systems Engineering.
[10] Christian Wietfeld,et al. AirShield: A system-of-systems MUAV remote sensing architecture for disaster response , 2009, 2009 3rd Annual IEEE Systems Conference.
[11] Stefano Stramigioli,et al. Modeling and Control of Complex Physical Systems - The Port-Hamiltonian Approach , 2014 .
[12] C. Hardebolle,et al. Multi-Formalism Modelling and Model Execution , 2009 .
[13] Bo Stig Hansen,et al. Information technology - Programming languages, their environments and system software interfaces: Vienna DevelopmentMethod - Specification Language - Part 1: Base language , 1996 .
[14] Peter Fritzson,et al. Modelica - A Unified Object-Oriented Language for System Modelling and Simulation , 1998, ECOOP.
[15] Nick Battle,et al. The overture initiative integrating tools for VDM , 2010, ACM SIGSOFT Softw. Eng. Notes.
[16] Peter Gorm Larsen,et al. A formal approach to collaborative modelling and co-simulation for embedded systems† , 2013, Mathematical Structures in Computer Science.
[17] Uri Shani,et al. 4.5.2 Model Integration – Extracting Value from MBSE , 2013 .
[18] Jim Woodcock,et al. Foundations for Model-Based Engineering of Systems of Systems , 2013, CSDM.
[19] Peter Csaba Ölveczky,et al. Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude , 2009, ICFEM.
[20] Elizabeth Latronico,et al. System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .
[21] Robert J. Wood,et al. Two foraging algorithms for robot swarms using only local communication , 2010, 2010 IEEE International Conference on Robotics and Biomimetics.
[22] Peter Gorm Larsen,et al. Validated Designs for Object-oriented Systems , 2004 .
[23] M. Jamshidi,et al. System of systems engineering - New challenges for the 21st century , 2008, IEEE Aerospace and Electronic Systems Magazine.
[24] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[25] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..