Designing Weakly Terminating ROS Systems

DOI10.1007/978-3-642-31131-4_18zbMath1357.68243OpenAlexW2099719765MaRDI QIDQ2908215

Debjyoti Bera, K. M. van Hee, Jan Martijn E. M. van der Werf

Publication date: 4 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31131-4_18

zbMATH Keywords

Petri netscomponentspatternsweak terminationcorrectness by constructionarchitectural frameworkrobot operating system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25) Artificial intelligence for robotics (68T40)

This page was built for publication: Designing Weakly Terminating ROS Systems