A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Towards a Well-Founded Software Component Model for Cyber-Physical Control Systems
2018
2018 Second IEEE International Conference on Robotic Computing (IRC)
Cyber-physical control systems (CPCS), and their instantiation as autonomous robotic control architectures, are notoriously difficult to specify, implement, test, validate and verify. In this paper, we propose to integrate hybrid systems and their declension as hybrid automata and DEVS simulation models within a full-fledged and well-founded software component model tailored for CPCS. We present how the resulting comprehensive modeling tool can support the different phases of the software
doi:10.1109/irc.2018.00055
dblp:conf/irc/Malenfant18
fatcat:fqveuttzrnazxg3w5r3wfh4tja