Generic resource booking models in flexible cells

IEEE International Symposium on Intelligent Control - Proceedings

Volumn , Issue , 2001, Pages 252-257

  Vahidi, Arash ^a   Fabian, Martin ^a   Lennartson, Bengt ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Discrete Event Systems; Flexible Manufacturing Systems; Resource Allocation; Supervisory Control

Indexed keywords

ALGORITHMS; DATA STRUCTURES; FINITE AUTOMATA; FLEXIBLE MANUFACTURING SYSTEMS; GRAPHICAL USER INTERFACES; MATHEMATICAL MODELS; OPTIMIZATION; RESOURCE ALLOCATION;

BINARY DECISION DIAGRAMS; DISCRETE EVENT SYSTEMS (DES);

INTELLIGENT CONTROL;

EID: 0035680601     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Supervisory control of a class of discrete event processes
2. The real-time supervisory control of an exprimental manufacturing cell
3. Improving the variable ordering of OBDD's is NP-complete
4. A generic system architecure for flexible production
5. Symbolic boolean manipulation with ordered binary-decision diagrams
6. Symbolic model checking for sequential circuit verification
7. Symbolic reachability analysis based on SAT solvers
8. Combining decision diagrams and SAT procedures for efficient symbolic model checking