Modeling discrete-event dynamical systems for chemical process control—a survey of several new techniques

This publication has 5 references indexed in Scilit:

• Control problems in a temporal logic framework
  International Journal of Control, 1986
• Scheduling and sequencing of batch operations in a multipurpose plant
  Industrial & Engineering Chemistry Process Design and Development, 1986
• A logic-based calculus of events
  New Generation Computing, 1986
• Linear system theory for discrete event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Design and operation of multiproduct and multipurpose batch chemical plants. — An analysis of problem structure
  Computers & Chemical Engineering, 1983