By Topic

A technique for designing robotic control systems based on Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Caloini, A. ; NEC Central Res. Labs., Kanagawa, Japan ; Magnani, G.A. ; Pezzè, M.

Traditional techniques for designing the software of complex real-time control systems offer limited support for validating design before producing final code. The need of early validation of the design of control software is increasing, due to the growing complexity of the software components. This is especially the case of advanced robot controllers, due to the strict timing requirements of run time elaboration of information from exteroceptive sensors. The use of formal methods can increase the possibility of validating the design. This paper presents an approach for designing software for robotic controllers based on the use of a specialized notation formally defined by means of Petri nets (CONTROL NETS). The proposed notation is easy to use in the specific domain and it benefits from the validation techniques available for Petri nets. Benefits of CONTROL NETS, with respect to a traditional approach based on structured analysis techniques, are assessed through a case study

Published in:

Control Systems Technology, IEEE Transactions on  (Volume:6 ,  Issue: 1 )