Data-driven approach to ensuring fault tolerance and efficiency of swarm systems
暂无分享,去创建一个
[1] Elena Troubitsyna,et al. Formal Development and Assessment of a Reconfigurable On-board Satellite System , 2012, SAFECOMP.
[2] Hannu Tenhunen,et al. Placement of Smart Mobile Access Points in Wireless Sensor Networks and Cyber-Physical Systems Using Fog Computing , 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld).
[3] Elena Troubitsyna,et al. Formal Development of Critical Multi-agent Systems: A Refinement Approach , 2012, 2012 Ninth European Dependable Computing Conference.
[4] Elena Troubitsyna,et al. Verifying Mode Consistency for On-Board Satellite Software , 2010, SAFECOMP.
[5] Caro Lucas,et al. Imperialist competitive algorithm: An algorithm for optimization inspired by imperialistic competition , 2007, 2007 IEEE Congress on Evolutionary Computation.
[6] Elena Troubitsyna,et al. Formal reasoning about resilient goal-oriented multi-agent systems , 2017, Sci. Comput. Program..
[7] Elena Troubitsyna,et al. Towards Probabilistic Modelling in Event-B , 2010, IFM.
[8] Elena Troubitsyna,et al. Developing mode-rich satellite software by refinement in Event-B , 2013, Sci. Comput. Program..
[9] Masoud Daneshtalab,et al. PICA: Multi-population Implementation of Parallel Imperialist Competitive Algorithms , 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).
[10] Annabelle McIver,et al. The probabilistic steam boiler: a case study in probabilistic data refinement , 1998 .
[11] Elena Troubitsyna,et al. The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation , 2015, SAFECOMP.
[12] Elena Troubitsyna,et al. Formal Goal-Oriented Development of Resilient MAS in Event-B , 2012, Ada-Europe.
[13] Masoud Daneshtalab,et al. Safety-Aware Control of Swarms of Drones , 2017, SAFECOMP Workshops.
[14] Elena Troubitsyna,et al. Integrating stochastic reasoning into Event-B development , 2014, Formal Aspects of Computing.
[15] Jukka Suomela. Computational Complexity of Relay Placement in Sensor Networks , 2006, SOFSEM.
[16] Zhiping Lin,et al. Extreme Learning Machine for Clustering , 2015 .
[17] Elena Troubitsyna,et al. Formal Development and Quantitative Assessment of a Resilient Multi-robotic System , 2013, SERENE.
[18] Elena Troubitsyna,et al. Developing Mode-Rich Satellite Software by Refinement in Event B , 2010, FMICS.