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.

      Incremental verification and synthesis of discrete-event systems guided by counter-examples

      Brandin, Bertil A.; Malik, Robi; Malik, Petra
      Thumbnail
      Files
      Malik - incremental verification.pdf
      272.4Kb
      DOI
       10.1109/TCST.2004.824795
      Link
       ieeexplore.ieee.org
      Find in your library  
      Citation
      Export citation
      Brandin, B., Malik, R. & Malik, P. (2004). Incremental verification and synthesis of discrete-event systems guided by counter-examples. IEEE Transactions on Control Systems Technology, 12(3), 387-401.
      Permanent Research Commons link: https://hdl.handle.net/10289/1300
      Abstract
      This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally. The scope of safety properties considered is limited to behavioral inclusion and controllability. The verification examples considered provide a comparison of the approaches presented with straightforward state exploration and an understanding of their applicability in an industrial context.
      Date
      2004
      Type
      Journal Article
      Publisher
      Institute of Electrical and Electronics Engineers, Inc. (IEEE Inc.)
      Rights
      Copyright IEEE 2004
      Collections
      • Computing and Mathematical Sciences Papers [1455]
      Show full item record  

      Usage

      Downloads, last 12 months
      99
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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