Automatically assigned DDC number: 00433

Manually assigned DDC number: 00419029

Number of references: 8

Title: Verifying Hybrid Systems

Author:

Subject: Zohar Manna Verifying Hybrid Systems

Description: . Hybrid systems are modeled as phase transition systems with sampling semantics. By identifying a set of important events it is ensured that all significant state changes are observed, thus correcting previous drawbacks of the sampling computations semantics. A proof rule for verifying properties of hybrid systems is presented and illustrated on several examples. Keywords: Temporal logic, real-time, specification, verification, hybrid systems, statecharts, proof rules, phase transition system, sampling semantics, important events. 1 Introduction Hybrid systems are reactive systems that intermix discrete and continuous components. Typical examples are digital controllers that interact with continuously changing physical environments. A formal model for hybrid systems was proposed in [MMP92], based on the notion of phase transition systems (PTS). Two types of semantics were considered in [MMP92]. The first semantics, to which we refer here as the super dense semantics, is based on hyb...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1999-02-05

Pubyear: 1993

Format: ps

Identifier: http://citeseer.ist.psu.edu/174012.html

Source: ftp://theory.stanford.edu/pub/amir/verifying-hybrid.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/155792.html"   Type="inproceedings"   CiteSeer_Book="Real   Time   Theory   in   Practice"   CiteSeer_Volume=""   Title="{L}ogics   and   {M}odels   of   {R}eal-{T}ime:   {A}   {S}urvey,"   />

      <rec   ID="/315693.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="16"   Title="An   Old-Fashioned   Recipe   for   Real   Time,">

            <identifier   Org="ISBN:0780331990"   Paper_ID="/315693.html"   Extracted="0780331990"   />

            <identifier   Org="ISBN:0816625719"   Paper_ID="/315693.html"   Extracted="0816625719"   DDC="303.48/33"   Normalized_DDC="3034833"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0821806807"   Paper_ID="/315693.html"   Extracted="0821806807"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540308814"   Paper_ID="/315693.html"   Extracted="3540308814"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540410554"   Paper_ID="/315693.html"   Extracted="3540410554"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540417117"   Paper_ID="/315693.html"   Extracted="3540417117"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540437878"   Paper_ID="/315693.html"   Extracted="3540437878"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/315693.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540558225"   Paper_ID="/315693.html"   Extracted="3540558225"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540563202"   Paper_ID="/315693.html"   Extracted="3540563202"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540564969"   Paper_ID="/315693.html"   Extracted="3540564969"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540582010"   Paper_ID="/315693.html"   Extracted="3540582010"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/315693.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/315693.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/315693.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/315693.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/315693.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/315693.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/315693.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/543554.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="8"   Title="Statecharts:   {A}   Visual   Formalism   for   Complex   Systems,">

            <identifier   Org="ISBN:0387984305"   Paper_ID="/543554.html"   Extracted="0387984305"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792384296"   Paper_ID="/543554.html"   Extracted="0792384296"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402052626"   Paper_ID="/543554.html"   Extracted="1402052626"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402062532"   Paper_ID="/543554.html"   Extracted="1402062532"   />

            <identifier   Org="ISBN:1558607021"   Paper_ID="/543554.html"   Extracted="1558607021"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540203036"   Paper_ID="/543554.html"   Extracted="3540203036"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/543554.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354029189X"   Paper_ID="/543554.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354043738X"   Paper_ID="/543554.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="/543554.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540545638"   Paper_ID="/543554.html"   Extracted="3540545638"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540550925"   Paper_ID="/543554.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540645829"   Paper_ID="/543554.html"   Extracted="3540645829"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/543554.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/543554.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/543554.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540672613"   Paper_ID="/543554.html"   Extracted="3540672613"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540708804"   Paper_ID="/543554.html"   Extracted="3540708804"   />

            <identifier   Org="ISBN:3540728813"   Paper_ID="/543554.html"   Extracted="3540728813"   />

            <identifier   Org="ISBN:3540752080"   Paper_ID="/543554.html"   Extracted="3540752080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/8434.html"   Type="inproceedings"   CiteSeer_Book="Formal   Techniques   in   RealTime   and   FaultTolerant   Systems   2nd   International   Symposium"   CiteSeer_Volume=""   Title="Timed   and   Hybrid   Statecharts   and   Their   Textual   Representation,">

            <identifier   Org="ISBN:0262193612"   Paper_ID="/8434.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0769524435"   Paper_ID="/8434.html"   Extracted="0769524435"   />

            <identifier   Org="ISBN:0780356705"   Paper_ID="/8434.html"   Extracted="0780356705"   DDC="670/.285"   Normalized_DDC="670285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792361490"   Paper_ID="/8434.html"   Extracted="0792361490"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0817636900"   Paper_ID="/8434.html"   Extracted="0817636900"   DDC="511"   Normalized_DDC="511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818680199"   Paper_ID="/8434.html"   Extracted="0818680199"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540008993"   Paper_ID="/8434.html"   Extracted="3540008993"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354044307X"   Paper_ID="/8434.html"   Extracted="354044307X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540550925"   Paper_ID="/8434.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540558225"   Paper_ID="/8434.html"   Extracted="3540558225"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540563202"   Paper_ID="/8434.html"   Extracted="3540563202"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540573186"   Paper_ID="/8434.html"   Extracted="3540573186"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/8434.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/8434.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/8434.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/8434.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/8434.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/93392.html"   Type="inproceedings"   CiteSeer_Book="RealTime   Theory   in   Practice"   CiteSeer_Volume=""   Title="From   Timed   to   Hybrid   Systems,">

            <identifier   Org="ISBN:0387569227"   Paper_ID="/93392.html"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0817632395"   Paper_ID="/93392.html"   Extracted="0817632395"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540212590"   Paper_ID="/93392.html"   Extracted="3540212590"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540408231"   Paper_ID="/93392.html"   Extracted="3540408231"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540418660"   Paper_ID="/93392.html"   Extracted="3540418660"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540550925"   Paper_ID="/93392.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/93392.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540573186"   Paper_ID="/93392.html"   Extracted="3540573186"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/93392.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/93392.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="/93392.html"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/93392.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/93392.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/93392.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/93392.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354065643X"   Paper_ID="/93392.html"   Extracted="354065643X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540672591"   Paper_ID="/93392.html"   Extracted="3540672591"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540709290"   Paper_ID="/93392.html"   Extracted="3540709290"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="/93392.html"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/74133.html"   Type="inproceedings"   CiteSeer_Book="Automata   languages   and   programming      16th   international   colloquim   ICALP   89"   CiteSeer_Volume=""   Title="Completing   the   temporal   picture,">

            <identifier   Org="ISBN:0818681985"   Paper_ID="/74133.html"   Extracted="0818681985"   />

            <identifier   Org="ISBN:1586033425"   Paper_ID="/74133.html"   Extracted="1586033425"   DDC="620/.00285/5"   Normalized_DDC="620002855"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/74133.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354028060X"   Paper_ID="/74133.html"   Extracted="354028060X"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="/74133.html"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354051371X"   Paper_ID="/74133.html"   Extracted="354051371X"   />

            <identifier   Org="ISBN:3540528261"   Paper_ID="/74133.html"   Extracted="3540528261"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540558225"   Paper_ID="/74133.html"   Extracted="3540558225"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540562877"   Paper_ID="/74133.html"   Extracted="3540562877"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354056943X"   Paper_ID="/74133.html"   Extracted="354056943X"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540580433"   Paper_ID="/74133.html"   Extracted="3540580433"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354058241X"   Paper_ID="/74133.html"   Extracted="354058241X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/74133.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/74133.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354061463X"   Paper_ID="/74133.html"   Extracted="354061463X"   DDC="005.1/2/015113"   Normalized_DDC="00512015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540648968"   Paper_ID="/74133.html"   Extracted="3540648968"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540649875"   Paper_ID="/74133.html"   Extracted="3540649875"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/74133.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/74133.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/80765.html"   Type="article"   CiteSeer_Book="Acta   Informatica"   CiteSeer_Volume="30"   Title="Models   for   Reactivity,">

            <identifier   Org="ISBN:0471478148"   Paper_ID="/80765.html"   Extracted="0471478148"   DDC="615/.7"   Normalized_DDC="6157"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792348192"   Paper_ID="/80765.html"   Extracted="0792348192"   DDC="660/.2945"   Normalized_DDC="6602945"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0824797566"   Paper_ID="/80765.html"   Extracted="0824797566"   DDC="665.5/33"   Normalized_DDC="665533"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:140207414X"   Paper_ID="/80765.html"   Extracted="140207414X"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540240586"   Paper_ID="/80765.html"   Extracted="3540240586"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540588671"   Paper_ID="/80765.html"   Extracted="3540588671"   DDC="670.42/7"   Normalized_DDC="670427"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540600434"   Paper_ID="/80765.html"   Extracted="3540600434"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540613633"   Paper_ID="/80765.html"   Extracted="3540613633"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540626166"   Paper_ID="/80765.html"   Extracted="3540626166"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540651101"   Paper_ID="/80765.html"   Extracted="3540651101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/80765.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540664122"   Paper_ID="/80765.html"   Extracted="3540664122"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540675302"   Paper_ID="/80765.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/549521.html"   Type="inproceedings"   CiteSeer_Book="RealTime   Theory   in   Practice"   CiteSeer_Volume=""   Title="Putting   Time   into   Proof   Outlines,">

            <identifier   Org="ISBN:0387569227"   Paper_ID="/549521.html"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0387952063"   Paper_ID="/549521.html"   Extracted="0387952063"   DDC="005.4/34"   Normalized_DDC="005434"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0471184063"   Paper_ID="/549521.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0816625719"   Paper_ID="/549521.html"   Extracted="0816625719"   DDC="303.48/33"   Normalized_DDC="3034833"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818631953"   Paper_ID="/549521.html"   Extracted="0818631953"   />

            <identifier   Org="ISBN:3540230688"   Paper_ID="/549521.html"   Extracted="3540230688"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540309462"   Paper_ID="/549521.html"   Extracted="3540309462"   DDC="003/.3"   Normalized_DDC="0033"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540422528"   Paper_ID="/549521.html"   Extracted="3540422528"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/549521.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540573186"   Paper_ID="/549521.html"   Extracted="3540573186"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/549521.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/549521.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540643567"   Paper_ID="/549521.html"   Extracted="3540643567"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/549521.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9810219237"   Paper_ID="/549521.html"   Extracted="9810219237"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Verifying   Hybrid   Systems">

            <identifier   Org="ISBN:0387569227"   Paper_ID="SELF"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0780330323"   Paper_ID="SELF"   Extracted="0780330323"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0792378970"   Paper_ID="SELF"   Extracted="0792378970"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540251081"   Paper_ID="SELF"   Extracted="3540251081"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="SELF"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540573186"   Paper_ID="SELF"   Extracted="3540573186"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="SELF"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="SELF"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="SELF"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="SELF"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="SELF"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="SELF"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="SELF"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="SELF"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354065643X"   Paper_ID="SELF"   Extracted="354065643X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540672591"   Paper_ID="SELF"   Extracted="3540672591"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540710698"   Paper_ID="SELF"   Extracted="3540710698"   />

            <identifier   Org="ISBN:3540741062"   Paper_ID="SELF"   Extracted="3540741062"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354075220X"   Paper_ID="SELF"   Extracted="354075220X"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:9051992165"   Paper_ID="SELF"   Extracted="9051992165"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

      </rec>

</references_metadata>

www.000webhost.com