共 65 条
[1]
Shahrdar S., Menezes L., Nojoumian M., A survey on trust in autonomous systems, Proceedings of the 2018 Computing Conference, pp. 368-386, (2018)
[2]
Faltaous S., Janzon S., Heger R., Strauss M., Golkar P., Viefhaus M., Prochazka M., Gruenefeld U., Schneegass S., Wisdom of the IOT crowd: Envisioning a smart home-based nutritional intake monitoring system, Mensch und Computer(MuC ’21): Association for Computing Machinery, pp. 568-573, (2021)
[3]
Ebert C., Weyrich M., Validation of autonomous systems, IEEE Softw, 36, 5, pp. 15-23, (2019)
[4]
Luckcuck M., Farrell M., Dennis L.A., Dixon C., Fisher M., Formal specification and verification of autonomous robotic systems, ACM Comput. Surv, 52, 5, pp. 1-41, (2020)
[5]
Dennis L.A., Fisher M., Verifiable self-aware agent-based autonomous systems, Proc. IEEE, 108, 7, pp. 1011-1026, (2020)
[6]
Sifakis J., Autonomous systems – an architectural characterization, Models, Languages, and Tools for Concurrent and Distributed Programming, pp. 388-410, (2019)
[7]
Ahmed S.H., Kim G., Kim D., Cyber physical system: Archi-tecture, applications and research challenges, 2013 IFIP Wireless Days, pp. 1-5, (2013)
[8]
Misra S., Gervasi O., Murgante B., Stankova E.N., Korkhov V., Torre C.M., Rocha A.M.A.C., Taniar D., Apduhan B.O., Tarantino E., Computational Science and its Applications-ICCSA 2019-19th International Conference, 11623, pp. 31-42, (2019)
[9]
Guiochet J., Machin M., Waeselynck H., Safety-critical advanced robots: A survey, Robot. Auton. Syst, 94, pp. 43-52, (2017)
[10]
Qiu T., Zhao Z., Zhang T., Chen C., Chen C.L.P., Underwater internet of things in smart ocean: System architecture and open issues, IEEE Trans. Industr. Inform, 16, 7, pp. 4297-4307, (2020)