Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap-Reference-Cited by-同舟云学术

Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap

Published:2018 Issue: Volume: Page:94-108
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
language:
Short-container-title:

Author:

Wanninger Constantin,Eymüller Christian,Hoffmann Alwin,Kosak Oliver,Reif Wolfgang

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03424-5_7

Reference34 articles.

1. Hardware ROS (2018). https://www.h-ros.com/

2. JENA Framework (2018). https://jena.apache.org/

3. Semantic Sensor Network Ontology (2018). https://www.w3.org/TR/vocab-ssn/

4. Barnaghi, P., Wang, W., Dong, L., Wang, C.: A linked-data model for semantic sensor streams. In: 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, pp. 468–475 (2013)

5. Barreiro, J., Boyce, M., Do, M., Frank, J., et al.: EUROPA: a platform for AI planning, scheduling, constraint programming, and optimization. In: 4th International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS) (2012)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rigorous engineering of collective adaptive systems: special section;International Journal on Software Tools for Technology Transfer;2020-05-13

2. Swarm and Collective Capabilities for Multipotent Robot Ensembles;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020

3. Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020

4. The Meaning of Adaptation: Mastering the Unforeseen?;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018

5. Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018