We consider the periodic-review, single-location, single-product, production/inventory control problem under non stationary demand and service-level constraints. The product is perishable and has a fixed shelf life. Costs comprise fixed ordering costs and inventory holding costs. For this inventory system we discuss a number of control policies that may be adopted. For one of these policies, we...

This paper deals with the problem of forbidden states in safe Petri nets to obtain a maximally permissive controller. To prevent the system from entering these states, assigning some constraints to them is possible. The constraints can be enforced on the system using control places. When the number of forbidden states is large, a large number of constraints should be assigned to them. So, a lar...

Our objective in this paper is to evaluate inconsistency for our proposed 2-way fuzzy adaptive system that makes use of intuitionistic f u z z y sets. Uncertainty is modeled as the width of the interval introduced by the independent assignment of membership and nonmembership functions of the intuitionistic f u u y sets. There is only a consistency constraint in this assignment, violation of whi...

This paper describes an approach to diagnosis of systems described by qualitative diierential equations represented as Qsim models. An implemented system Qdocs is described that performs multiple-fault, fault-model based diagnosis , using constraint satisfaction techniques , of qualitative behaviors of systems described by such models. We demonstrate the utility of this system by accurately dia...

In this paper, we study synthesis from logical specifications over finite traces expressed in LTLf and its extension LDLf . Specifically, in this form of synthesis, propositions are partitioned in controllable and uncontrollable ones, and the synthesis task consists of setting the controllable propositions over time so that, in spite of how the value of the uncontrollable ones changes, the spec...

The elds of control and robotics are working toward the development of bipedal robots that can realize walking motions with the stability and agility of a human being. Dynamic models for bipeds are hybrid in nature. They contain both continuous and discrete elements, with switching events that are governed by a combination of unilateral constraints and impulse-like forces that occur at foot tou...

Train energy saving problem investigates how to control train's velocity such that the quantity of energy consumption is minimized and some system constraints are satis ed. On the assumption that the train's weights on different links are estimated by fuzzy variables when making the train scheduling strategy, we study the fuzzy train energy saving problem. First, we propose a fuzzy energy ...