A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem

This publication has 13 references indexed in Scilit:

• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• An Open Software Architecture for Batch Process Simulation
  Computers & Chemical Engineering, 1997
• Verification of real time chemical processing systems
  Published by Springer Nature ,1997
• Comparing timed and hybrid automata as approximations of continuous systems
  Published by Springer Nature ,1997
• SHIFT: A formalism and a programming language for dynamic networks of hybrid automata
  Published by Springer Nature ,1997
• BaSiP — Batch process simulation with dynamically reconfigured process dynamics
  Computers & Chemical Engineering, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Modeling of combined discrete/continuous processes
  AIChE Journal, 1994
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987