Modeling and safety verification of discrete/continuous processing systems

This publication has 11 references indexed in Scilit:

• Integrating knowledge-based and mathematical programming approaches for process safety verification
  Computers & Chemical Engineering, 1997
• Optimal design of hybrid controllers for hybrid process systems
  Published by Springer Nature ,1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Model‐based approach to automated hazard identification of chemical plants
  AIChE Journal, 1995
• Modeling of combined discrete/continuous processes
  AIChE Journal, 1994
• A knowledge-based framework for automating HAZOP analysis
  AIChE Journal, 1994
• Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems
  IEEE Transactions on Automatic Control, 1993
• An approach to the description and analysis of hybrid systems
  Published by Springer Nature ,1993
• Automatic verification of sequential control systems using temporal logic
  AIChE Journal, 1992
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986