Control of Vector Discrete-Event Systems

men p(&), ~, A, V) is a ~~~l~~~ algebra, which is isomorphic to the Boolean algebra (2", -, n , U ), with

[1]  R. Kumar,et al.  Using predicate transformers for supervisory control , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[2]  M. J. Denham.  A Petri-net approach to the control of discrete-event systems , 1988 .

[3]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[4]  P. Ramadge.  Observability of discrete event systems , 1986, 1986 25th IEEE Conference on Decision and Control.

[5]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[6]  R. Greiner,et al.  Dynamical logic observers for finite automata , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[7]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[8]  Kunihiko Hiraishi,et al.  Analysis and control of discrete event systems represented by petri nets , 1988 .

[9]  Alan S. Willsky,et al.  Output stabilizability of discrete-event dynamic systems , 1991 .

[10]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[11]  W. Wonham,et al.  Controllability and observability in the state-feedback control of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[12]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[13]  Joseph Sifakis,et al.  Structural Properties of Petri Nets , 1978, MFCS.

[14]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[15]  Toshimitsu Ushio,et al.  State feedback and modular control synthesis in controlled Petri nets , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[16]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[17]  Robert M. Keller,et al.  Formal verification of parallel programs , 1976, CACM.

[18]  Panos J. Antsaklis,et al.  Planning via heuristic search in a Petri net framework , 1988, Proceedings IEEE International Symposium on Intelligent Control 1988.

[19]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[20]  Toshimitsu Ushio.  On controllable predicates and languages in discrete-event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.