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

G.H. Hilderink, D.S. Jovanovic, Johannes F. Broenink

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Downloads (Pure)

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++.
Original languageUndefined
Title of host publicationProceedings of the CPA 2003
EditorsG.H. Hilderink, J.F. Broenink
Place of PublicationEnschede
PublisherIOS Press
Pages315-334
Number of pages20
ISBN (Print)1 58603 3816
Publication statusPublished - 7 Oct 2003
EventCommunicating Process Architectures, CPA 2003: 26th WoTUG Technical Meeting on Concurrent and Parallel Programming 2003 - University of Twente, Enschede, Netherlands
Duration: 7 Oct 200310 Oct 2003

Publication series

NameConcurrent Systems Engineering Series 61
PublisherIOS Press

Conference

ConferenceCommunicating Process Architectures, CPA 2003
CountryNetherlands
CityEnschede
Period7/10/0310/10/03

Keywords

  • METIS-212891
  • IR-45675

Cite this

Hilderink, G. H., Jovanovic, D. S., & Broenink, J. F. (2003). A mulitmodel robotic control law modelled and implemented with the CSP/CT framework. In G. H. Hilderink, & J. F. Broenink (Eds.), Proceedings of the CPA 2003 (pp. 315-334). (Concurrent Systems Engineering Series 61). Enschede: IOS Press.
Hilderink, G.H. ; Jovanovic, D.S. ; Broenink, Johannes F. / A mulitmodel robotic control law modelled and implemented with the CSP/CT framework. Proceedings of the CPA 2003. editor / G.H. Hilderink ; J.F. Broenink. Enschede : IOS Press, 2003. pp. 315-334 (Concurrent Systems Engineering Series 61).
@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 = "10",
day = "7",
language = "Undefined",
isbn = "1 58603 3816",
series = "Concurrent Systems Engineering Series 61",
publisher = "IOS Press",
pages = "315--334",
editor = "G.H. Hilderink and J.F. Broenink",
booktitle = "Proceedings of the CPA 2003",
address = "Netherlands",

}

Hilderink, GH, Jovanovic, DS & Broenink, JF 2003, A mulitmodel robotic control law modelled and implemented with the CSP/CT framework. in GH Hilderink & JF Broenink (eds), Proceedings of the CPA 2003. Concurrent Systems Engineering Series 61, IOS Press, Enschede, pp. 315-334, Communicating Process Architectures, CPA 2003, Enschede, Netherlands, 7/10/03.

A mulitmodel robotic control law modelled and implemented with the CSP/CT framework. / Hilderink, G.H.; Jovanovic, D.S.; Broenink, Johannes F.

Proceedings of the CPA 2003. ed. / G.H. Hilderink; J.F. Broenink. Enschede : IOS Press, 2003. p. 315-334 (Concurrent Systems Engineering Series 61).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

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

AU - Hilderink, G.H.

AU - Jovanovic, D.S.

AU - Broenink, Johannes F.

PY - 2003/10/7

Y1 - 2003/10/7

N2 - 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++.

AB - 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++.

KW - METIS-212891

KW - IR-45675

M3 - Conference contribution

SN - 1 58603 3816

T3 - Concurrent Systems Engineering Series 61

SP - 315

EP - 334

BT - Proceedings of the CPA 2003

A2 - Hilderink, G.H.

A2 - Broenink, J.F.

PB - IOS Press

CY - Enschede

ER -

Hilderink GH, Jovanovic DS, Broenink JF. A mulitmodel robotic control law modelled and implemented with the CSP/CT framework. In Hilderink GH, Broenink JF, editors, Proceedings of the CPA 2003. Enschede: IOS Press. 2003. p. 315-334. (Concurrent Systems Engineering Series 61).