Proceedings, Volumes 1-2IEEE, 2003 - Artificial intelligence |
From inside the book
Results 1-3 of 81
Page 317
... variables . UPPAAL consists of three main parts : a description language , a simulator and a model checker . ( 1 ) The description language is a non - deterministic guarded command language with real - valued clock variables and simple ...
... variables . UPPAAL consists of three main parts : a description language , a simulator and a model checker . ( 1 ) The description language is a non - deterministic guarded command language with real - valued clock variables and simple ...
Page 335
... variable and variable - by - value The local variables and the variables passed by value to the subchart are represented as independent NCES modules . Variables passed by reference are treated as the PLC variables because they may be ...
... variable and variable - by - value The local variables and the variables passed by value to the subchart are represented as independent NCES modules . Variables passed by reference are treated as the PLC variables because they may be ...
Page 349
... variables required in more than one node are global variables ( they will need a global variable identifier ) , whereas if they only affect one node will be known as local variables . Obviously , a variable will be local if all the ...
... variables required in more than one node are global variables ( they will need a global variable identifier ) , whereas if they only affect one node will be known as local variables . Obviously , a variable will be local if all the ...
Contents
Cooperative MultiAgentBased Control Technology for Supervisory and DataAcquisition Systems | 19 |
Distributed Product Development as a Core Element of Supply Chain Management | 35 |
A Review | 50 |
Copyright | |
56 other sections not shown
Other editions - View all
Common terms and phrases
adaptation agents alarm algorithm analysis approach architecture automation behavior Bluetooth camera client communication components configuration control applications control system CORBA database defined detection developed diagnosis distributed distributed control systems domain dynamic embedded systems Engineering environment error evaluation event example execution fault fault injection field device fieldbus Figure filter flexible FPGA framework frequency Function Block genetic algorithms hardware IEEE implementation industrial input integration interaction interface Java layer machine maintenance manufacturing mechatronic method middleware mobile agents module monitoring multi-agent systems neuro-fuzzy nodes operation optimal organ-matrix output P₁ parameters pattern performance Petri nets pixel planning plant platform problem production proposed real-time requirements robot SCADA scheduling sensor sequence server signal simulation Simulink sliding mode control solution specific structure task variables