Proceedings, Volumes 1-2IEEE, 2003 - Artificial intelligence |
From inside the book
Results 1-3 of 82
Page 224
... method to model such a complex system as FMS . A modeling and verifying method using object - oriented modeling language " Unified Modeling Language ( UML ) " and SPIN ( PROMELA model ) is presented in this paper . Class diagram in UML ...
... method to model such a complex system as FMS . A modeling and verifying method using object - oriented modeling language " Unified Modeling Language ( UML ) " and SPIN ( PROMELA model ) is presented in this paper . Class diagram in UML ...
Page 243
... methods guarantee the asymptotic stability , but the min - max control approach requires tremendous switching ability compared with the proposed method . The control input of the proposed method is much smoother , which results in much ...
... methods guarantee the asymptotic stability , but the min - max control approach requires tremendous switching ability compared with the proposed method . The control input of the proposed method is much smoother , which results in much ...
Page 326
... method in [ 13 ] is used . 4 ) The fourth column shows the run - time costs when the method in [ 16 ] is used . In the following comments we are going to say that a method is more or less appropriate for S4PR nets . However , it must be ...
... method in [ 13 ] is used . 4 ) The fourth column shows the run - time costs when the method in [ 16 ] is used . In the following comments we are going to say that a method is more or less appropriate for S4PR nets . However , it must be ...
Contents
Virtual Automation Network problems to be solved | 3 |
Wireless Communications | 5 |
Evaluation and Development for Supply Chain Management | 9 |
Copyright | |
97 other sections not shown
Other editions - View all
Common terms and phrases
agent algorithm analysis antenna application approach architecture automation behavior block bridge master buffer bytes CANopen communication components Computer configuration constraints Controller Area Network cycle deadline defined delay developed devices DGPS distributed dynamic embedded embedded systems environment error Ethernet evaluation event example execution Figure filter firing instant FPGA frame function hardware holon IEEE implementation industrial input integration interface International layer Linux LonWorks LST-CAN lwIP machine manufacturing systems method middleware module monitoring operation optimal output packet paper parameters performance Petri Nets problem processor production PROFIBUS proposed protocol provides real-time request requirements response robot RTLinux scheduling sensor networks sensor node sequence server signal simulation solution specific standard station structure switch synchronization tasks TCP/IP token tool transition transmission variable vector wireless sensor network