Title :
A supervisory control theoretical approach to congestion management
Author :
Makungu, M. ; Barbeau, M. ; St.-Denis, R.
Author_Institution :
Dept. de Math. et d´´Inf., Sherbrooke Univ., Que., Canada
Abstract :
This paper presents a supervisory control theoretical approach to congestion management in virtual circuit networks. The network behavior is considered as a dynamic discrete-event system (DES). Then, a synthesis algorithm is applied to derive a supervisor that restricts network operation to avoid congestion. In our approach, a colored Petri net (CP-net) is used to model a network, an equivalence relation over behaviors of switches is defined to reduce the state space, and a congestion control specification is expressed as forbidden markings of the CP-net
Keywords :
Petri nets; control theory; discrete event systems; switching networks; telecommunication congestion control; telecommunication network management; colored Petri net; congestion control specification; congestion management; control theory; dynamic discrete-event system; network behavior; network operation; state space reduction; supervisory control; switches; synthesis algorithm; virtual circuit networks; Circuit synthesis; Computational complexity; Control system synthesis; Discrete event systems; Integrated circuit manufacture; Integrated circuit synthesis; Manufacturing processes; Network synthesis; Protocols; State-space methods; Supervisory control; Switches;
Conference_Titel :
Communication Technology Proceedings, 1996. ICCT'96., 1996 International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-2916-3
DOI :
10.1109/ICCT.1996.545016
