@inproceedings{0a80491e3073445881557311e36209cd,
title = "A mulitmodel robotic control law modelled and implemented with the CSP/CT framework",
abstract = "We use several formal methodologies for developing control applications at our Control Engineering research group. An important methodology we use for designing and implementing control software architecture is based on CSP concepts. These concepts allow us to glue multidisciplinary activities together and allow for formal stepwise refinement from design down to its implementation. This paper illustrates a trajectory and shows the usefulness of CSP diagrams for a simple mechatronic system. The simulation tool 20-SIM is used for creating the control laws and our CTC++ package is used for coding in C++.",
keywords = "METIS-212891, IR-45675",
author = "G.H. Hilderink and D.S. Jovanovic and Broenink, \{Johannes F.\}",
year = "2003",
month = oct,
day = "7",
language = "Undefined",
isbn = "1 58603 3816",
series = "Concurrent Systems Engineering Series 61",
publisher = "IOS",
pages = "315--334",
editor = "G.H. Hilderink and J.F. Broenink",
booktitle = "Proceedings of the CPA 2003",
address = "Netherlands",
note = "Communicating Process Architectures, CPA 2003 ; Conference date: 07-10-2003 Through 10-10-2003",
}