Abstract
This paper employs Hybrid Communicated Sequential Programming Language HCSP to give specification of a robotic integrated system. Robots and their peripheral equipment construct a typical hybrid system which has a lot of phase transitions between control laws driven by the internal or external events. Using hybrid control methodology can not only elucidate the issues clearly but also make the hybrid controller perform better during control process. Based on hybrid control method, an experiment which involves robots and its peripheral equipment has been made in our laboratory.
Original language | English |
---|---|
Pages (from-to) | 1368-1373 |
Number of pages | 6 |
Journal | Canadian Conference on Electrical and Computer Engineering |
Volume | 3 |
Publication status | Published - 1 Dec 1999 |
Externally published | Yes |
Event | 1999 IEEE Canadian Conference on Electrical and Computer Engineering 'Engineering Solutions for the Next Millennium' - Edmonton, Alberta, Canada Duration: 9 May 1999 → 12 May 1999 |
ASJC Scopus subject areas
- Hardware and Architecture
- Electrical and Electronic Engineering