论文信息 - Control of large discrete event systems: constructive algorithms

Control of large discrete event systems: constructive algorithms

An automata-based theory has been developed by W.M. Wonham and P.J. Ramadge (SMIA J. Control Optimiz. vol.25, p.206-30, 637-59, 1987) and their associates. Its practical implementation in large real-life systems requires automatic programming schemes, which yield supervisory control programs, and models of the controlled system's behavior (for the purpose of performance analysis). The available data for these constructions would normally consist of a set of local structural models and local operational requirements. In the present study, the authors illuminate the relationship between local and global models and outline some of the basic elements of such schemes based on integration of local data. >

Oded Maimon | Gilead Tadmor

[1] W. M. Wonham,et al. Control problems in a temporal logic framework , 1986 .

[2] A. F. Vaz,et al. On supervisor reduction in discrete-event systems , 1986 .

[3] P. Ramadge,et al. Modular feedback logic for discrete event systems , 1987 .

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

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

[6] Oded Maimon,et al. From System Constraints to Finite State Machine Models in Discrete Event Systems , 1987, 1987 American Control Conference.

[7] Bruce H. Krogh,et al. Automated generation and evaluation of control programs for discrete manufacturing processes , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[8] Oded Maimon,et al. Model-based low-level control in flexible manufacturing systems , 1988 .

[9] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

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

[11] Carolyn L. Beck,et al. Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems , 1987 .