A mulitmodel robotic control law modelled and implemented with the CSP/CT framework

Hilderink, Gerald H. and Jovanovic, Dusko S. and Broenink, Jan F. (2003) A mulitmodel robotic control law modelled and implemented with the CSP/CT framework. In: Communicating Process Architectures 2003, September 2003, University of Twente, Enschede.

Preview

PDF
462Kb

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++.
Item Type:	Conference or Workshop Item
Copyright:	© 2003 IOS Press
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Robotics and Mechatronics (CE)
Link to this item:	http://purl.utwente.nl/publications/45675
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 212891