Publications
Found 5 results
Filters: Author is Taeshin Park [Clear All Filters]
Formal verification of sequence controllers. Computers & Chemical Engineering. 23:1783-1793.
.
2000. Analysis and Control of Combined Discrete/Continuous Systems: Progress and Challenges in the Chemical Process Industries. AIChE Symposium Series. 93:102-114.
.
1997. Implicit model checking of logic-based control systems. AIChE Journal. 43:2246-2260.
.
1997. Binary logic diagrams imply nonunique functionality. ISA Transactions. 35:337-343.
.
1996. State event location in differential-algebraic models. ACM Transactions on Modeling and Computer Simulation. 6:137–165.
.
1996.