Reasoning from First Principles for Self-adaptive and Autonomous Systems-Reference-Cited by-同舟云学术

Reasoning from First Principles for Self-adaptive and Autonomous Systems

Published:2019 Issue: Volume: Page:427-460
ISSN:
Container-title:Predictive Maintenance in Dynamic Systems
language:
Short-container-title:

Author:

Wotawa Franz

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-05645-2_15

Reference64 articles.

1. Barbosa, D.M., Lima, R.G.D.M., Maia, P.H.M., Costa, E.: Lotus@runtime: a tool for runtime monitoring and verification of self-adaptive systems. In: IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 24–30. IEEE, Buenos Aires (2017)

2. Boesen, M., Madsen, J.: eDNA: a bio-inspired reconfigurable hardware cell architecture supporting self-organisation and self-healing. In: Proceedings of the 2009 NASA/ESA Conference on Adaptive Hardware Systems, pp. 147–154. IEEE Computer Society Press, Moscone Convention Center, San Francisco (2009). https://doi.org/10.1109/AHS.2009.22

3. Brandstötter, M., Hofbaur, M., Steinbauer, G., Wotawa, F.: Model-based fault diagnosis and reconfiguration of robot drives. In: IEEE/RSJ International Conference on Intelligent Robots and System, pp. 1203–1209. IEEE, San Diego (2007)

4. Bredeweg, B., Bouwer, A., Jellema, J., Bertels, D., Linnebank, F., Liem, J.: Garp3—a new workbench for qualitative reasoning and modelling. In: Proceedings of the 20th International Workshop on Qualitative Reasoning (QR-06), pp. 21–28. Dartmouth College, Hanover (2006)

5. Bunus, P., Isaksson, O., Frey, B., Münker, B.: RODON—a model-based diagnosis approach for the DX diagnostic competition. In: Proceedings of the International Workshop on Principles of Diagnosis (DX) (2009)

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

1. Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05

2. Challenges of testing self-adaptive systems;Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B;2022-09-12

3. Predictive Maintenance for Pump Systems and Thermal Power Plants: State-of-the-Art Review, Trends and Challenges;Sensors;2020-04-24

4. Explaining Object Motion Using Answer Set Programming;Lecture Notes in Computer Science;2020

5. On the Use of Answer Set Programming for Model-Based Diagnosis;Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices;2020