Grafcet for intelligent supervisory control applications

Coloured petri nets and the invariant-method

Kurt Jensen · Theoretical Computer Science · 1981 · 611 citations

Computing, Computer Systems, Formal Methods +4

Proc. American Control Conference (ACC2000)

Zhenyu Yang, Blanke Mogens · American Control Conference · 2000 · 172 citations

Engineering, Quality Management, Process Control +4

Process Control Using a Real Time Expert System

Robert L. Moore, Howard P. Rosenof, G.M. Stanley · IFAC Proceedings Volumes · 1990 · 45 citations

Engineering, Computer Science, Systems Engineering +13

Sequential function charts for knowledge-based, real-time applications

K.-E. Arzén · IFAC Proceedings Volumes · 1991 · 28 citations

Computing, Computer Systems, Knowledge Representation +9

Knowledge-Based Control Systems

Lund University Publications (Lund University) · 1990 · 27 citations

Engineering, Systems Engineering, Automation +16