• English
    • Ελληνικά
  • English 
    • English
    • Ελληνικά
  • Login
Browsing by Subject 
  •   Home
  • Browsing by Subject
  •   Home
  • Browsing by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browsing by Subject "Unobservable"

  • 0-9
  • Α
  • Β
  • Γ
  • Δ
  • Ε
  • Ζ
  • Η
  • Θ
  • Ι
  • Κ
  • Λ
  • Μ
  • Ν
  • Ξ
  • Ο
  • Π
  • Ρ
  • Σ
  • Τ
  • Υ
  • Φ
  • Χ
  • Ψ
  • Ω
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

Sort by:

Order:

Results:

Now showing items 1-9 of 9

  • title
  • submit date
  • accessioned date
  • ascending
  • descending
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • Article  

      Bounds on the number of markings consistent with label observations in petri nets 

      Ru, Y.; Hadjicostis, Christoforos N. (2009)
      In this paper, we consider state estimation in discrete-event systems (DESs) modeled by labeled Petri nets and present upper bounds on the number of system states (or markings) that are consistent with an observed sequence ...

    • Article  

      Fault diagnosis in discrete event systems modeled by partially observed petri nets 

      Ru, Y.; Hadjicostis, Christoforos N. (2009)
      In this paper, we study fault diagnosis in discrete event systems modeled by partially observed Petri nets, i.e., Petri nets equipped with sensors that allow observation of the number of tokens in some of the places and/or ...

    • Conference Object  

      Fault diagnosis in discrete event systems modeled by petri nets with outputs 

      Ru, Y.; Hadjicostis, Christoforos N. (2008)
      In this paper, we study fault diagnosis in discrete event systems modeled by Petri nets with outputs, i.e., Petri nets with place sensors and transition sensors. Faults are modeled as unobservable transitions and are divided ...

    • Conference Object  

      Fault model identification with petri nets 

      Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Seatzu, C. (2008)
      Most of the fault identification problems in the Discrete Event Systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with ...

    • Conference Object  

      Least-cost firing sequence estimation in labeled Petri nets with unobservable transitions 

      Li, N.; Hadjicostis, Christoforos N. (2007)
      This paper develops a recursive algorithm for estimating the least-cost transition firing sequences that match the observation of a sequence of labels produced by transition activity in a given labeled Petri net. The Petri ...

    • Article  

      Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions 

      Li, L.; Hadjicostis, Christoforos N. (2011)
      This paper proposes an approach for estimating the least-cost transition firing sequence(s) that matches (match) the observation of a sequence of labels produced by transition activity in a given labeled Petri net. Each ...

    • Article  

      On the history of diagnosability and opacity in discrete event systems 

      Lafortune, S.; Lin, F.; Hadjicostis, Christoforos N. (2018)
      This paper presents historical remarks on key projects and papers that led to the development of a theory of event diagnosis for discrete event systems modeled by finite-state automata or Petri nets in the 1990s. The goal ...

    • Conference Object  

      State feedback control of labeled Petri nets with uncertainty in the initial marking 

      Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2014)
      In this paper we consider the problem of designing a state feedback controller for a labeled Petri net whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions ...

    • Conference Object  

      Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications 

      Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (2008)
      In this paper, we consider the forbidden state problem in discrete event systems modeled by Petri nets with uncontrollable and/or unobservable transitions. To handle the interleaving of uncontrollable and unobservable ...

      Browse

      EverywhereCommunities & CollectionsBy Submission DateAuthorsTitlesSubjectsBy TypeBy DepartmentBy Faculty

      My Account

      Login
      Πνευματικά δικαιώματα ©  Βιβλιοθήκη Πανεπιστημίου Κύπρου
      Contact Us | Send Feedback
      Οδηγίες κατάθεσης διδακτορικής διατριβής
      Open Access
      ORCiD