Incorporating automation logic in online chemical production scheduling

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +14

A general algorithm for short-term scheduling of batch operations—I. MILP formulation

E. Kondili, Constantinos C. Pantelides, R.W.H. Sargent · Computers & Chemical Engineering · 1993 · 1.2K citations

Management, Industrial Engineering, Operations Management +14

Discrete abstractions of hybrid systems

Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere et al. · Proceedings of the IEEE · 2000 · 816 citations · Full text

Computing, Computer Science, Systems Engineering +14