Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

Event-driven Architecture, Engineering, Discrete Event Systems +16

Decentralized supervisory control of discrete-event systems

Feng Lin, W.M. Wonham · Information Sciences · 1988 · 304 citations

Decentralized Supervisory Control, Engineering, Discrete Event System +4

Symbolic Model Checking

J. Barry Cooke · Microprocessors and Microsystems · 1994 · 215 citations

Engineering, Automated Reasoning, Verification +8

Synthesis of Discrete-Event Controllers Based on the Signal Environment

Hervé Marchand, P. Bournai, Michel Le Borgne et al. · Discrete Event Dynamic Systems · 2000 · 144 citations · Full text

Engineering, Discrete Event System, Signal Environment +6

Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication

Stavros Tripakis · IEEE Transactions on Automatic Control · 2004 · 107 citations

Time Delay System, Engineering, Discrete Event System +12