Yayıncı "Watam Press" için listeleme
Toplam kayıt 3, listelenen: 1-3
-
Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems
(Watam Press, 2006)Discrete event systems which are modeled by automata are considered in this work. The algorithms which determine the set of deadlock states and the reversible set, and design the deadlock avoidance controller and the ... -
Decentralized supervisory controller design for discrete-event systems using overlapping decompositions and expansions
(Watam Press, 2004)A decentralized supervisory controller design approach for discrete-event systems (DESs) modeled by automata or formal languages is presented. The controller is designed in order to lead the DES to certain desired marked ... -
Lower and upper directional differentiability of the set valued maps and their applications
(Watam Press, 2003)In this paper the lower and upper directional differentiability concepts of the set valued maps are introduced and the directional differentiability properties of the marginal functions are studied. Sufficient condition ...