Specyfikacja złożonych systemów robotowych

Przez złożone systemy robotowe rozumiane są takie systemy, które składają się z wielu robotów, bądź też kiedy roboty wchodzące w ich skład wyposażone są w znaczną liczbę czujników lub efektorów. Ich cechą wspólną jest występowanie skomplikowanych interakcji między elementami systemu. W takim przypadku znaczenia nabierają systematyczne metody oraz narzędzia, które wspierają wytwarzanie sterowników tej klasy systemów. Odgrywają one istotną rolę na wszystkich etapach pracy, począwszy od specyfikacji, przez implementację, aż do testowania i sporządzenia dokumentacji.

Complex robot systems are those composed of many robots or those, where many sensor and effectors devices are used. Both of them can be characterized with complicated interactions between elements of the system. In this case it is important to use systematized methods and tools, which aids construction of the controllers. They play important role in all the stages of the development, from the specification up to testing and documentation.