@inproceedings {58,
	title = {Model-based Programming of Modular Robots},
	booktitle = {Proc. of the 13th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC)},
	year = {2010},
	month = {May},
	pages = {66-74},
	address = {Carmona, Spain},
	abstract = {<p>Modular robots are a powerful concept for robotics. A modular robot consists of many individual modules so it can adjust its configuration to the problem. However, the fact that a modular robot consists of many individual modules makes it a highly distributed, highly concurrent real-time system, which are notoriously hard to program. In this work, we present our programming framework for writing control applications for modular robots. The framework includes a toolset that allows a model-based programing approach for control application of modular robots with code generation and verification. The framework is characterized by the following three features. First, it provides a complex programming model that is based on standard finite state machines extended in syntax and semantics to support communication, variables, and actions. Second, the framework provides compositionality at the hardware and at the software level and allows building the modular robot and its control application from small building blocks. And third, the framework supports formal verification of the control application to aid the gait and task developer in identifying problems and bugs before the deployment and testing on the physical robot.</p>
},
	keywords = {automation, Model based programming, modular, robotics},
	doi = {10.1109/ISORC.2010.16},
	url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5479573},
	author = {Arney, David and Fischmeister, Sebastian and Lee, Insup and Takashima, Yoshihito and Yim, Mark}
}
