Synthesis of a closed-loop combined plant and controller model

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 32, Issue 2, 2002, Pages 163-175

  Alpan, Gülgün ^a   Jafari, Mohsen A ^b  

^a UNIVERSITÉ DE LYON   (France)

^b DEPARTMENT OF INDUSTRIAL AND SYSTEMS ENGINEERING   (United States)

Author keywords

Discrete event systems; Petri net synthesis; Supervisory control

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; FEEDBACK CONTROL; FINITE AUTOMATA; FORMAL LANGUAGES; MATHEMATICAL MODELS; PETRI NETS; SCADA SYSTEMS; SYSTEMS ANALYSIS;

CONTROL CODE GENERATION; DISCRETE EVENT SYSTEMS;

CLOSED LOOP CONTROL SYSTEMS;

EID: 0036532266     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.990873     Document Type: Article

References (21)

1. Design and analysis of supervisory controllers for discrete event systems
2. A review of synthesis techniques for supervisory control of manufacturing systems
3. Deadlock avoidance in FMS based on structure theory of Petri nets
4. Synthesis of supervisory controllers based on noval representation of condition/event systems
5. Synthesis of feedback control logic for a class of controlled Petri nets
6. On closed-loop liveness of discrete event systems under maximally permissive control
7. Finitely recursive process models for discrete event systems
8. Theory and application of resource control Petri nets for automated manufacturing systems
9. Petri nets as discrete event models for supervisory control
10. The reachability problem requires exponential space
11. Petri nets: Properties analysis and applications
12. Supervisory control of a class of discrete event processes
13. On the supremal controllable sublanguage of a given language
14. On Petri net models of infinite state supervisors
15. On the existence of supervisory policies that enforce liveness in discrete event dynamic systems modeled by controlled Petri nets
16. On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions
17. Deadlock avoidance in flexible manufacturing systems using Petri net models
18. A control theory for discrete event systems