Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Maurizio Palmieri"'
Publikováno v:
IEEE Access, Vol 12, Pp 1064-1075 (2024)
This paper reports on the use of co-simulation techniques to build prototypes of co-operative autonomous robotic cyber-physical systems. Designing such systems involves a mission-specific planner algorithm, a control algorithm to drive an agent perfo
Externí odkaz:
https://doaj.org/article/ca34ad2243374697ba02ba1ffc911799
Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate a high-level control algorithm with pre-existing closed implementations of lower-level vehicle kinematics. In model-driven development, simulation is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::616ad4abdcbec922cc388afab3ad8ec1
http://hdl.handle.net/10447/522990
http://hdl.handle.net/10447/522990
Publikováno v:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ISBN: 9783031262357
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c76d686b80a77b6cf81046aaa45d4272
https://doi.org/10.1007/978-3-031-26236-4_19
https://doi.org/10.1007/978-3-031-26236-4_19
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps
Autor:
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Madsen, Jesús Alfonso, José Ángel Castellanos, José Manuel Rodriguez
Publikováno v:
Hansen, S T, Thule, C, Gomes, C, van de Pol, J, Palmieri, M, Inci, E O, Madsen, F, Alfonso, J, Castellanos, J Á & Rodriguez, J M 2022, ' Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps ', International Journal on Software Tools for Technology Transfer, vol. 24, no. 6, pp. 999-1024 . https://doi.org/10.1007/s10009-022-00686-8
Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique, enabling the coupling of specialized simulation tools through an orchestration algorithm. The orchestrator d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d695dba3212a1a9a346a5d3417a1990c
https://pure.au.dk/portal/da/publications/verification-and-synthesis-of-cosimulation-algorithms-subject-to-algebraic-loops-and-adaptive-steps(b28d9539-fb15-42bd-8156-e48816d1aac3).html
https://pure.au.dk/portal/da/publications/verification-and-synthesis-of-cosimulation-algorithms-subject-to-algebraic-loops-and-adaptive-steps(b28d9539-fb15-42bd-8156-e48816d1aac3).html
Publikováno v:
Energies, Vol 13, Iss 16, p 4057 (2020)
Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging. This paper introduces a development method based
Externí odkaz:
https://doaj.org/article/2969de2262ba4b6ca27bd43d2be54104
Publikováno v:
Journal of Computer Virology and Hacking Techniques. 17:249-263
When designing Wireless Sensor Networks it is important to analyze their security risks and provide adequate solutions for protecting them from malicious attacks. Unfortunately, perfect security cannot be achieved, for performance reasons. Therefore,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a6fe445d4b0d7e33c38af1aef1905c4
https://doi.org/10.1007/s11416-021-00392-0
https://doi.org/10.1007/s11416-021-00392-0
Publikováno v:
2022 IEEE International Conference on Smart Computing (SMARTCOMP).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::346bc226439e2dbbe8f5e2d00b0df758
https://doi.org/10.1109/smartcomp55677.2022.00045
https://doi.org/10.1109/smartcomp55677.2022.00045
Publikováno v:
2022 IEEE International Conference on Smart Computing (SMARTCOMP).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7cb9128b55cbe112a75429004360be0
https://doi.org/10.1109/smartcomp55677.2022.00075
https://doi.org/10.1109/smartcomp55677.2022.00075
Publikováno v:
Journal of Computer Virology and Hacking Techniques. 16:63-77
This paper presents a methodology for the formal modeling of security attacks on cyber-physical systems, and the analysis of their effects on the system using logic theories. We consider attacks only on sensors and actuators. A simulated attack can b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a9da4fe1779c3b0a61d4c9f22d64ca9
https://doi.org/10.1007/s11416-019-00344-9
https://doi.org/10.1007/s11416-019-00344-9
Autor:
Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031124280
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17a4890b02dd63a294a6f0c1d59f9621
https://doi.org/10.1007/978-3-031-12429-7_15
https://doi.org/10.1007/978-3-031-12429-7_15