Proceedings, Volumes 1-2IEEE, 1996 - Artificial intelligence |
From inside the book
Results 1-3 of 23
Page 157
... languages . The DES to be controlled is modelled by an automaton . The behaviour of the system is usually described by the language generated by the automaton . The task of the designed supervisor is then to enable or to disable some ...
... languages . The DES to be controlled is modelled by an automaton . The behaviour of the system is usually described by the language generated by the automaton . The task of the designed supervisor is then to enable or to disable some ...
Page 160
... language concept The concept of a controllable language introduced in [ Ramadge 87 ] was extended in [ Golaszewski 87 ] to take into account the forced events . For each K ≤ Σ * and each se K define the active set of K after s to be Σκ ...
... language concept The concept of a controllable language introduced in [ Ramadge 87 ] was extended in [ Golaszewski 87 ] to take into account the forced events . For each K ≤ Σ * and each se K define the active set of K after s to be Σκ ...
Page 173
... languages . These languages encompass different concepts , specifically in terms of parallelism , modularity ... language . This application must include reactive scheduling aspects and the ability to adapt itself to expected or ...
... languages . These languages encompass different concepts , specifically in terms of parallelism , modularity ... language . This application must include reactive scheduling aspects and the ability to adapt itself to expected or ...
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