Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Stability  (1)
  • finite-state system  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 5 (1989), S. 37-54 
    ISSN: 1572-9443
    Keywords: Stability ; control strategies ; inventory processes
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Consider a production system that consists ofm machines each of which can produce parts ofn types. When machinek is used, it produces a part of typei with probabilityp ki . Requests arrive for parts, one at a time. With probability λ i an arriving request is for a part of typei. The requests must be served without waiting. Thus, if a requested part is not available, it must be produced. We find necessary and sufficient conditions for the existence of a strategy (a choice of the machines to be used) which makes the inventory of parts stable and we provide such a strategy. Two variations of this model are also considered: the case of batch arrivals of requests, and that of a system where the requests can be queued.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Formal methods in system design 1 (1992), S. 385-415 
    ISSN: 1572-8102
    Keywords: finite-state system ; timers ; verification ; reachability analysis ; shortest path
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We consider a finite-state system with a finite number of clocks, where the transitions may depend on the values of the clocks, and may reset some of the clocks. We address the complexity and provide algorithms for the following problems. Suppose that the system starts from a given current state with a given assignment of values to the clocks. Can a given target state ever appear in the history of the system? What is the earliest time it can appear? What is the latest time it can appear?
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...