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
<?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>