Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Conflicts and projections

      Malik, Robi; Flordal, Hugo; Pena, Patricia N.
      Thumbnail
      Files
      conflicts and projections.pdf
      105.8Kb
      DOI
       10.3182/20070613-3-FR-4909.00037
      Link
       www.ifac-papersonline.net
      Find in your library  
      Citation
      Export citation
      Malik, R., Flordal, H. & Pena, P. N. (2007). Conflicts and projections. In J.-M. Faure & J.-J. Lesage (Eds), 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07): Preprints. France; 13-15 June, 2007(pp. 63-68).
      Permanent Research Commons link: https://hdl.handle.net/10289/1991
      Abstract
      This paper studies abstraction methods suitable to verify very large models of discrete-event systems to be nonconflicting. It compares the observer property to methods known from process algebra, namely to conflict equivalence and observation equivalence. The observer property is shown to be the property that corresponds to conflict equivalence in the case where natural projection is used for abstraction. In this case, the observer property turns out to be the least restrictive condition that can be imposed on natural projection to enable compositional reasoning about conflicts. The observer property is also shown to be closely related to observation equivalence. Several examples and propositions are presented to relate different aspects of these methods of abstraction.
      Date
      2007
      Type
      Conference Contribution
      Publisher
      IFAC
      Rights
      This article has been presented in the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07). ©2007 IFAC.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      69
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement