Implicit model checking of logic-based control systems

• 1 September 1997
• journal article
• process systems-engineering
• Published by Wiley in AIChE Journal
• Vol. 43  (9) , 2246-2260
• https://doi.org/10.1002/aic.690430911

Abstract

Keywords

• CONTROL SYSTEM
• MODEL CHECKING