• Title of article

    Verification of infinite-state dynamic systems using approximate quotient transition systems

  • Author/Authors

    Chutinan، A نويسنده , , A.، نويسنده , , Krogh، نويسنده , , B.H.، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2001
  • Pages
    10
  • From page
    1401
  • To page
    1410
  • Keywords
    Bisimulation , Hybrid systems , reachability , temporallogic , Verification.
  • Journal title
    IEEE Transactions on Automatic Control
  • Serial Year
    2001
  • Journal title
    IEEE Transactions on Automatic Control
  • Record number

    386007

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=386007