Y. Brave

Formulation and control of real time discrete event processes

Y. Brave, M. Heymann, M. Heymann, 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

Reachability in discrete event systems modeled as hierarchical state machines

Y. Brave, M. Heymann, 1991, 17th Convention of Electrical and Electronics Engineers in Israel.

A Minimally Restrictive Policy for Deadlock Avoidance in a Class of FMS, in Discrete Event Systems : Modeling and Control

D. Bonvin, Y. Brave, 1993 .

On Deadlock Avoidance in Production Systems with Concurrent Control Actions

G. Sonzogni, Y. Brave, D. Bonvin, 1993 .

On Supervision of Concurrent Real-Time Processes, Report 1992.07

S. Balemi, Y. Brave, 1992 .

Control of discrete event systems modeled as hierarchical state machines

Michael Heymann, Y. Brave, 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

Maximally Permissive Policies for Controlled Time Marked Graphs

Bruce H. Krogh, Y. Brave, B. Krogh, 1993 .

Control of discrete event systems modeled as hierarchical state machines

Y. Brave, 1993, IEEE Trans. Autom. Control..