Hybrid Simulation of Distributed Large-Scale Critical Infrastructures
暂无分享,去创建一个
[1] Beniamino Di Martino,et al. Supporting Development of Certified Aeronautical Components by Applying Text Analysis Techniques , 2014, 2014 Eighth International Conference on Complex, Intelligent and Software Intensive Systems.
[2] Nick McKeown,et al. OpenFlow: enabling innovation in campus networks , 2008, CCRV.
[3] Mohamed Abid,et al. Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design , 2007, Microelectron. J..
[4] Christos Cassandras,et al. Discrete Event and Hybrid System Simulation with SimEvents , 2006, 2006 8th International Workshop on Discrete Event Systems.
[5] Frank Dignum. Agents for games and simulations , 2011, Autonomous Agents and Multi-Agent Systems.
[6] Philip Haves,et al. A Modular Building Controls Virtual Test Bed for the Integrations of Heterogeneous Systems , 2008 .
[7] Brian Adamson,et al. Integration of the CORE and EMANE Network Emulators , 2011, 2011 - MILCOM 2011 Military Communications Conference.
[8] Salvatore Venticinque,et al. A simulation model for localization of pervasive objects using heterogeneous wireless networks , 2011, Simul. Model. Pract. Theory.
[9] Edward A. Lee,et al. Operational Semantics of Hybrid Systems , 2005, HSCC.
[10] Vladimir L. Kharitonov,et al. Distributed simulation of hybrid systems with AnyLogic and HLA , 2002, Future Gener. Comput. Syst..
[11] Kagan Tumer,et al. Regulating air traffic flow with coupled agents , 2008, AAMAS.
[12] A. Borshchev,et al. From System Dynamics and Discrete Event to Practical Agent Based Modeling : Reasons , Techniques , Tools , 2004 .
[13] Inseok Hwang,et al. Protocol-Based Conflict Resolution for Air Traffic Control , 2007 .
[14] Jimmy Krozel,et al. Simulation of the National Airspace System in Inclement Weather , 2007 .
[15] Massimo Ficco,et al. A Semantic Driven Approach for Requirements Verification , 2014, IDC.
[16] Salvatore Venticinque,et al. Semantic Support for Log Analysis of Safety-Critical Embedded Systems , 2014, ArXiv.
[17] Yeh-Ching Chung,et al. A Scalable HLA RTI System Based on Multiple-FedServ Architecture , 2010, 2010 12th International Conference on Computer Modelling and Simulation.