Proceedings, Volumes 1-2IEEE, 1996 - Artificial intelligence |
From inside the book
Results 1-3 of 36
Page 152
... allows determination of the transition which leads to a forbidden state through the use of a FSC ( figure 6 ) . The Forward method allows determination of the transition leading to low risk states . Influence path For a place p , in ...
... allows determination of the transition which leads to a forbidden state through the use of a FSC ( figure 6 ) . The Forward method allows determination of the transition leading to low risk states . Influence path For a place p , in ...
Page 173
... allows for the specification , design and validation of the dynamic behaviour of the applications activated by the events . A. Reactive Objects An analysis of the different methodologies for specification and design of real time systems ...
... allows for the specification , design and validation of the dynamic behaviour of the applications activated by the events . A. Reactive Objects An analysis of the different methodologies for specification and design of real time systems ...
Page 177
... allows the definition of how the multi agent concepts can be exploited to improve the reactivity of the reactive scheduling . The characteristics of the reactive object approach allow us to envisage an improvement in the reactivity and ...
... allows the definition of how the multi agent concepts can be exploited to improve the reactivity of the reactive scheduling . The characteristics of the reactive object approach allow us to envisage an improvement in the reactivity and ...
Contents
Intelligent HumanMachine Systems in a Modern Communication Infrastructure | 1 |
SESSION TU4AScheduling | 16 |
Rescheduling Method based on Distributed Cooperative Problem Solving Model | 35 |
Copyright | |
29 other sections not shown
Other editions - View all
Common terms and phrases
agents algorithm application approach assignment Automated Manufacturing Systems Automation behavior buffer component Computer configuration considered constraints control system cost data link layer deadlines deadlock defined device under test distributed due dates dynamic environment evaluation evolutionary algorithm example execution feature fieldbus Figure flexible frequency function Genetic Algorithm global heuristic holarchy holons IEEE implementation input integration intelligent interaction learning logical controller machine macroaction manipulator Manufacturing Systems messages method Mimetism model checking monitoring nodes object optimal output paper parameters performance Petri net Petri nets phase PID control placement planning plant priority inversion problem processor Profibus proposed protocol real-time resource robot robot cell scheduling semaphore sensor sequence server shown signal simulation solution solve specific stage station structure supervisor task techniques telerobotic Theorem tion token torque transition vector vibration