Automatically assigned DDC number: 00419
Manually assigned DDC number: 00419
Number of references: 29
Title: Effective Synthesis of Switching Controllers for Linear Systems
Author:
Author:
Author:
Author:
Subject: Eugene Asarin,Olivier Bournez,Thao Dang,Oded Maler Effective Synthesis of Switching Controllers for Linear Systems
Description: In this work we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states, and propose an abstract algorithm which solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems. 1 Introduction "The purpose of control is to alter the dynamical behavior of a physical system in accordance with man's wishes" [KFA68]. In other words, control theory is concerned with finding systematic ways to influence the behavior of systems by observing their state and injecting appropriate control signals (see, for example, [S90] for a modern exposition). Classical...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2000-04-10
Pubyear: 2000
Format: ps
Identifier: http://citeseer.ist.psu.edu/298781.html
Source: http://www-verimag.imag.fr/~maler/Papers/procieee.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<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" DDC="001.64404" Normalized_DDC="00164404" 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:3540216715" Paper_ID="/315693.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354022906X" Paper_ID="/315693.html" Extracted="354022906X" DDC="004.16" Normalized_DDC="00416" 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:3540651934" Paper_ID="/315693.html" Extracted="3540651934" DDC="004.16" Normalized_DDC="00416" 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="/17507.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="138" Title="The algorithmic analysis of hybrid systems,">
<identifier Org="ISBN:0080442498" Paper_ID="/17507.html" Extracted="0080442498" DDC="670.285" Normalized_DDC="670285" Normalized_Weight="0.05" />
<identifier Org="ISBN:0080446132" Paper_ID="/17507.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05" />
<identifier Org="ISBN:1402056257" Paper_ID="/17507.html" Extracted="1402056257" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540008985" Paper_ID="/17507.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540212590" Paper_ID="/17507.html" Extracted="3540212590" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:354022310X" Paper_ID="/17507.html" Extracted="354022310X" DDC="519.6" Normalized_DDC="5196" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540292098" Paper_ID="/17507.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540309462" Paper_ID="/17507.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540418660" Paper_ID="/17507.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:354042959X" Paper_ID="/17507.html" Extracted="354042959X" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540600841" Paper_ID="/17507.html" Extracted="3540600841" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540604723" Paper_ID="/17507.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540606300" Paper_ID="/17507.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.05" />
<identifier Org="ISBN:354061155X" Paper_ID="/17507.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05" />
<identifier Org="ISBN:354062600X" Paper_ID="/17507.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540643583" Paper_ID="/17507.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540650032" Paper_ID="/17507.html" Extracted="3540650032" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05" />
<identifier Org="ISBN:354065643X" Paper_ID="/17507.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540714928" Paper_ID="/17507.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540787380" Paper_ID="/17507.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
</rec>
<rec ID="/684873.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="DISCRETE ABSTRACTIONS OF HYBRID SYSTEMS,">
<identifier Org="ISBN:0080440940" Paper_ID="/684873.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0080441688" Paper_ID="/684873.html" Extracted="0080441688" DDC="003.83" Normalized_DDC="00383" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0080446132" Paper_ID="/684873.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0816908699" Paper_ID="/684873.html" Extracted="0816908699" />
<identifier Org="ISBN:0817632336" Paper_ID="/684873.html" Extracted="0817632336" DDC="003/.5" Normalized_DDC="0035" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0817642978" Paper_ID="/684873.html" Extracted="0817642978" DDC="621.3815/372" Normalized_DDC="6213815372" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540003037" Paper_ID="/684873.html" Extracted="3540003037" DDC="004.1/1" Normalized_DDC="00411" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540251081" Paper_ID="/684873.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540298142" Paper_ID="/684873.html" Extracted="3540298142" />
<identifier Org="ISBN:3540309462" Paper_ID="/684873.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540407251" Paper_ID="/684873.html" Extracted="3540407251" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540410554" Paper_ID="/684873.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540418660" Paper_ID="/684873.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439412" Paper_ID="/684873.html" Extracted="3540439412" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540712089" Paper_ID="/684873.html" Extracted="3540712089" />
<identifier Org="ISBN:3540714928" Paper_ID="/684873.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540727329" Paper_ID="/684873.html" Extracted="3540727329" />
<identifier Org="ISBN:3540789286" Paper_ID="/684873.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:364202260X" Paper_ID="/684873.html" Extracted="364202260X" />
</rec>
<rec ID="/126096.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="138" Title="Reachability analysis of dynamical systems having piecewise-constant derivatives,">
<identifier Org="ISBN:0387360336" Paper_ID="/126096.html" Extracted="0387360336" DDC="511.3/52" Normalized_DDC="511352" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0817632336" Paper_ID="/126096.html" Extracted="0817632336" DDC="003/.5" Normalized_DDC="0035" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0817642242" Paper_ID="/126096.html" Extracted="0817642242" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540208038" Paper_ID="/126096.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540291008" Paper_ID="/126096.html" Extracted="3540291008" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540304959" Paper_ID="/126096.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540410554" Paper_ID="/126096.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540418660" Paper_ID="/126096.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540440437" Paper_ID="/126096.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540603859" Paper_ID="/126096.html" Extracted="3540603859" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354061155X" Paper_ID="/126096.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540643583" Paper_ID="/126096.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354065643X" Paper_ID="/126096.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540671412" Paper_ID="/126096.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540672591" Paper_ID="/126096.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540684107" Paper_ID="/126096.html" Extracted="3540684107" DDC="570.113" Normalized_DDC="570113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540694056" Paper_ID="/126096.html" Extracted="3540694056" />
<identifier Org="ISBN:3540705821" Paper_ID="/126096.html" Extracted="3540705821" />
<identifier Org="ISBN:3540714928" Paper_ID="/126096.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/139134.html" Type="inproceedings" CiteSeer_Book="Hybrid Systems" CiteSeer_Volume="" Title="Symbolic Controller Synthesis for Discrete and Timed Systems,">
<identifier Org="ISBN:0769521258" Paper_ID="/139134.html" Extracted="0769521258" />
<identifier Org="ISBN:0780356667" Paper_ID="/139134.html" Extracted="0780356667" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792374703" Paper_ID="/139134.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0817632395" Paper_ID="/139134.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1852337109" Paper_ID="/139134.html" Extracted="1852337109" DDC="629.45/84/09" Normalized_DDC="629458409" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354022310X" Paper_ID="/139134.html" Extracted="354022310X" DDC="519.6" Normalized_DDC="5196" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540292098" Paper_ID="/139134.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540405399" Paper_ID="/139134.html" Extracted="3540405399" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540418660" Paper_ID="/139134.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540422870" Paper_ID="/139134.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540423141" Paper_ID="/139134.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540424997" Paper_ID="/139134.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043321X" Paper_ID="/139134.html" Extracted="354043321X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441654" Paper_ID="/139134.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540604723" Paper_ID="/139134.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540648968" Paper_ID="/139134.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540657347" Paper_ID="/139134.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540672826" Paper_ID="/139134.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540733671" Paper_ID="/139134.html" Extracted="3540733671" />
</rec>
<rec ID="/97300.html" Type="inproceedings" CiteSeer_Book="Proc System Structure and Control" CiteSeer_Volume="" Title="Controller Synthesis for Timed Automata,">
<identifier Org="ISBN:0792374703" Paper_ID="/97300.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540240586" Paper_ID="/97300.html" Extracted="3540240586" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540253882" Paper_ID="/97300.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540283099" Paper_ID="/97300.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540405240" Paper_ID="/97300.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540422870" Paper_ID="/97300.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540423141" Paper_ID="/97300.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540424997" Paper_ID="/97300.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540432833" Paper_ID="/97300.html" Extracted="3540432833" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354043321X" Paper_ID="/97300.html" Extracted="354043321X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540441654" Paper_ID="/97300.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540657347" Paper_ID="/97300.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354068235X" Paper_ID="/97300.html" Extracted="354068235X" />
<identifier Org="ISBN:3540709517" Paper_ID="/97300.html" Extracted="3540709517" />
<identifier Org="ISBN:3540733671" Paper_ID="/97300.html" Extracted="3540733671" />
<identifier Org="ISBN:3540754539" Paper_ID="/97300.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540755950" Paper_ID="/97300.html" Extracted="3540755950" DDC="511.3/6028563" Normalized_DDC="51136028563" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540789286" Paper_ID="/97300.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3642007678" Paper_ID="/97300.html" Extracted="3642007678" />
</rec>
<rec ID="/242651.html" Type="inproceedings" CiteSeer_Book="HSCC" CiteSeer_Volume="" Title="Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems,">
<identifier Org="ISBN:0780382714" Paper_ID="/242651.html" Extracted="0780382714" />
<identifier Org="ISBN:0780382854" Paper_ID="/242651.html" Extracted="0780382854" />
<identifier Org="ISBN:0780386337" Paper_ID="/242651.html" Extracted="0780386337" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.2" />
<identifier Org="ISBN:0816908699" Paper_ID="/242651.html" Extracted="0816908699" />
<identifier Org="ISBN:3540418660" Paper_ID="/242651.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540672591" Paper_ID="/242651.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540714928" Paper_ID="/242651.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.2" />
<identifier Org="ISBN:9810243413" Paper_ID="/242651.html" Extracted="9810243413" DDC="621.381" Normalized_DDC="621381" Normalized_Weight="0.2" />
</rec>
<rec ID="/33673.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1569" Title="Orthogonal Polyhedra: Representation and Computation,">
<identifier Org="ISBN:0080441971" Paper_ID="/33673.html" Extracted="0080441971" DDC="621.3" Normalized_DDC="6213" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0780367227" Paper_ID="/33673.html" Extracted="0780367227" />
<identifier Org="ISBN:1595935428" Paper_ID="/33673.html" Extracted="1595935428" />
<identifier Org="ISBN:193301928X" Paper_ID="/33673.html" Extracted="193301928X" />
<identifier Org="ISBN:3211836039" Paper_ID="/33673.html" Extracted="3211836039" DDC="516.3/52" Normalized_DDC="516352" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540009132" Paper_ID="/33673.html" Extracted="3540009132" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540204636" Paper_ID="/33673.html" Extracted="3540204636" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540292098" Paper_ID="/33673.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540418660" Paper_ID="/33673.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540439412" Paper_ID="/33673.html" Extracted="3540439412" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540439978" Paper_ID="/33673.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540657347" Paper_ID="/33673.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540677151" Paper_ID="/33673.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540684107" Paper_ID="/33673.html" Extracted="3540684107" DDC="570.113" Normalized_DDC="570113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540787992" Paper_ID="/33673.html" Extracted="3540787992" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3642026575" Paper_ID="/33673.html" Extracted="3642026575" />
</rec>
<rec ID="/385683.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1569" Title="Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations,">
<identifier Org="ISBN:0080441971" Paper_ID="/385683.html" Extracted="0080441971" DDC="621.3" Normalized_DDC="6213" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0471787566" Paper_ID="/385683.html" Extracted="0471787566" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:078037388X" Paper_ID="/385683.html" Extracted="078037388X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0817632395" Paper_ID="/385683.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0817643850" Paper_ID="/385683.html" Extracted="0817643850" DDC="629.8/3" Normalized_DDC="62983" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540008985" Paper_ID="/385683.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540237380" Paper_ID="/385683.html" Extracted="3540237380" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540251081" Paper_ID="/385683.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540272313" Paper_ID="/385683.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540292098" Paper_ID="/385683.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418660" Paper_ID="/385683.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540426736" Paper_ID="/385683.html" Extracted="3540426736" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439978" Paper_ID="/385683.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540657347" Paper_ID="/385683.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540705430" Paper_ID="/385683.html" Extracted="3540705430" />
<identifier Org="ISBN:3540789286" Paper_ID="/385683.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/500250.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Logics for hybrid systems,">
<identifier Org="ISBN:0387692444" Paper_ID="/500250.html" Extracted="0387692444" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0769515940" Paper_ID="/500250.html" Extracted="0769515940" />
<identifier Org="ISBN:0817632395" Paper_ID="/500250.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354021366X" Paper_ID="/500250.html" Extracted="354021366X" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540407251" Paper_ID="/500250.html" Extracted="3540407251" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540418660" Paper_ID="/500250.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540422870" Paper_ID="/500250.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424997" Paper_ID="/500250.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540425705" Paper_ID="/500250.html" Extracted="3540425705" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354043321X" Paper_ID="/500250.html" Extracted="354043321X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540630457" Paper_ID="/500250.html" Extracted="3540630457" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354065643X" Paper_ID="/500250.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540705430" Paper_ID="/500250.html" Extracted="3540705430" />
<identifier Org="ISBN:3540710698" Paper_ID="/500250.html" Extracted="3540710698" />
<identifier Org="ISBN:3540714928" Paper_ID="/500250.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540730982" Paper_ID="/500250.html" Extracted="3540730982" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540775633" Paper_ID="/500250.html" Extracted="3540775633" />
<identifier Org="ISBN:3642006019" Paper_ID="/500250.html" Extracted="3642006019" />
<identifier Org="ISBN:3642017010" Paper_ID="/500250.html" Extracted="3642017010" />
<identifier Org="ISBN:9812381791" Paper_ID="/500250.html" Extracted="9812381791" DDC="160" Normalized_DDC="16" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/145903.html" Type="inproceedings" CiteSeer_Book="HSCC" CiteSeer_Volume="" Title="Reachability Analysis via Face Lifting,">
<identifier Org="ISBN:0780367227" Paper_ID="/145903.html" Extracted="0780367227" />
<identifier Org="ISBN:0780383354" Paper_ID="/145903.html" Extracted="0780383354" />
<identifier Org="ISBN:0816908699" Paper_ID="/145903.html" Extracted="0816908699" />
<identifier Org="ISBN:0817643850" Paper_ID="/145903.html" Extracted="0817643850" DDC="629.8/3" Normalized_DDC="62983" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1402077211" Paper_ID="/145903.html" Extracted="1402077211" DDC="621.3815/48" Normalized_DDC="621381548" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1594542562" Paper_ID="/145903.html" Extracted="1594542562" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3211836039" Paper_ID="/145903.html" Extracted="3211836039" DDC="516.3/52" Normalized_DDC="516352" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540008985" Paper_ID="/145903.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540208038" Paper_ID="/145903.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540407251" Paper_ID="/145903.html" Extracted="3540407251" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418660" Paper_ID="/145903.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540433910" Paper_ID="/145903.html" Extracted="3540433910" DDC="510 s" Normalized_DDC="51" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439978" Paper_ID="/145903.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540643583" Paper_ID="/145903.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540650032" Paper_ID="/145903.html" Extracted="3540650032" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540672591" Paper_ID="/145903.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540684107" Paper_ID="/145903.html" Extracted="3540684107" DDC="570.113" Normalized_DDC="570113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540714928" Paper_ID="/145903.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/576188.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Eighth International Conference on Computer Aided Verification CAV" CiteSeer_Volume="" Title="Verifying Safety Properties of differential equations,">
<identifier Org="ISBN:0780335848" Paper_ID="/576188.html" Extracted="0780335848" />
<identifier Org="ISBN:3540643583" Paper_ID="/576188.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540650032" Paper_ID="/576188.html" Extracted="3540650032" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540672591" Paper_ID="/576188.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540714928" Paper_ID="/576188.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.25" />
</rec>
<rec ID="/158422.html" Type="inproceedings" CiteSeer_Book="ICALP Annual International Colloquium on Automata Languages and Programming" CiteSeer_Volume="" Title="Hybrid Automata with Finite Bisimulations,">
<identifier Org="ISBN:0817632395" Paper_ID="/158422.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540212590" Paper_ID="/158422.html" Extracted="3540212590" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418660" Paper_ID="/158422.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540422528" Paper_ID="/158422.html" Extracted="3540422528" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540436316" Paper_ID="/158422.html" Extracted="3540436316" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540600841" Paper_ID="/158422.html" Extracted="3540600841" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540606300" Paper_ID="/158422.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354061155X" Paper_ID="/158422.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354062600X" Paper_ID="/158422.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540643583" Paper_ID="/158422.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354065643X" Paper_ID="/158422.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540665366" Paper_ID="/158422.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540666249" Paper_ID="/158422.html" Extracted="3540666249" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540671412" Paper_ID="/158422.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540672826" Paper_ID="/158422.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540727329" Paper_ID="/158422.html" Extracted="3540727329" />
<identifier Org="ISBN:3642017010" Paper_ID="/158422.html" Extracted="3642017010" />
<identifier Org="ISBN:8173194912" Paper_ID="/158422.html" Extracted="8173194912" />
</rec>
<rec ID="/473591.html" Type="inproceedings" CiteSeer_Book="International Conference on Concurrency Theory" CiteSeer_Volume="" Title="Rectangular Hybrid Games,">
<identifier Org="ISBN:0817632395" Paper_ID="/473591.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:1402071817" Paper_ID="/473591.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540309462" Paper_ID="/473591.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540407537" Paper_ID="/473591.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540410554" Paper_ID="/473591.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540424970" Paper_ID="/473591.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354043321X" Paper_ID="/473591.html" Extracted="354043321X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540436316" Paper_ID="/473591.html" Extracted="3540436316" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540664254" Paper_ID="/473591.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540672826" Paper_ID="/473591.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354078912X" Paper_ID="/473591.html" Extracted="354078912X" DDC="511.3/24" Normalized_DDC="511324" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3642006019" Paper_ID="/473591.html" Extracted="3642006019" />
</rec>
<rec ID="/490715.html" Type="inproceedings" CiteSeer_Book="HSCC" CiteSeer_Volume="" Title="Beyond {HYTECH}: Hybrid Systems Analysis Using Interval Numerical Methods,">
<identifier Org="ISBN:0080440940" Paper_ID="/490715.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.1" />
<identifier Org="ISBN:0080442498" Paper_ID="/490715.html" Extracted="0080442498" DDC="670.285" Normalized_DDC="670285" Normalized_Weight="0.1" />
<identifier Org="ISBN:0080446132" Paper_ID="/490715.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.1" />
<identifier Org="ISBN:0780367227" Paper_ID="/490715.html" Extracted="0780367227" />
<identifier Org="ISBN:0780372417" Paper_ID="/490715.html" Extracted="0780372417" />
<identifier Org="ISBN:3540257284" Paper_ID="/490715.html" Extracted="3540257284" DDC="629.8/92" Normalized_DDC="629892" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540292098" Paper_ID="/490715.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540412190" Paper_ID="/490715.html" Extracted="3540412190" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540439978" Paper_ID="/490715.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540672591" Paper_ID="/490715.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.1" />
<identifier Org="ISBN:354075220X" Paper_ID="/490715.html" Extracted="354075220X" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1" />
<identifier Org="ISBN:3642020070" Paper_ID="/490715.html" Extracted="3642020070" DDC="570.285" Normalized_DDC="570285" Normalized_Weight="0.1" />
<identifier Org="ISBN:3642032508" Paper_ID="/490715.html" Extracted="3642032508" />
</rec>
<rec ID="/688354.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="221" Title="Discrete-time control for rectangular hybrid automata,">
<identifier Org="ISBN:0126464901" Paper_ID="/688354.html" Extracted="0126464901" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0471234362" Paper_ID="/688354.html" Extracted="0471234362" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0780356667" Paper_ID="/688354.html" Extracted="0780356667" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0817632395" Paper_ID="/688354.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1402071817" Paper_ID="/688354.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540251081" Paper_ID="/688354.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540407537" Paper_ID="/688354.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540631658" Paper_ID="/688354.html" Extracted="3540631658" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540631666" Paper_ID="/688354.html" Extracted="3540631666" DDC="004.24015113" Normalized_DDC="00424015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540664254" Paper_ID="/688354.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540678972" Paper_ID="/688354.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540709517" Paper_ID="/688354.html" Extracted="3540709517" />
<identifier Org="ISBN:3540754539" Paper_ID="/688354.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540789286" Paper_ID="/688354.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540893296" Paper_ID="/688354.html" Extracted="3540893296" />
</rec>
<rec ID="/392298.html" Type="article" CiteSeer_Book="International Journal on Software Tools for Technology Transfer" CiteSeer_Volume="1" Title="{HYTECH}: A Model Checker for Hybrid Systems,">
<identifier Org="ISBN:0080440940" Paper_ID="/392298.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0080441688" Paper_ID="/392298.html" Extracted="0080441688" DDC="003.83" Normalized_DDC="00383" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0080446132" Paper_ID="/392298.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0471139467" Paper_ID="/392298.html" Extracted="0471139467" DDC="621.3/03" Normalized_DDC="621303" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0780366131" Paper_ID="/392298.html" Extracted="0780366131" />
<identifier Org="ISBN:0849319854" Paper_ID="/392298.html" Extracted="0849319854" DDC="670.42/7" Normalized_DDC="670427" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540201262" Paper_ID="/392298.html" Extracted="3540201262" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354021299X" Paper_ID="/392298.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354022310X" Paper_ID="/392298.html" Extracted="354022310X" DDC="519.6" Normalized_DDC="5196" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540245596" Paper_ID="/392298.html" Extracted="3540245596" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540251081" Paper_ID="/392298.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540308075" Paper_ID="/392298.html" Extracted="3540308075" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540308814" Paper_ID="/392298.html" Extracted="3540308814" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540410309" Paper_ID="/392298.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425411" Paper_ID="/392298.html" Extracted="3540425411" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540439307" Paper_ID="/392298.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441654" Paper_ID="/392298.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540688625" Paper_ID="/392298.html" Extracted="3540688625" />
<identifier Org="ISBN:3540714928" Paper_ID="/392298.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:9058095517" Paper_ID="/392298.html" Extracted="9058095517" DDC="620.8/6" Normalized_DDC="62086" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/686387.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Supervisory Control of Hybrid Systems,">
<identifier Org="ISBN:0080440940" Paper_ID="/686387.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0080441750" Paper_ID="/686387.html" Extracted="0080441750" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0080446132" Paper_ID="/686387.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0122274105" Paper_ID="/686387.html" Extracted="0122274105" DDC="503" Normalized_DDC="503" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0471234362" Paper_ID="/686387.html" Extracted="0471234362" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0780372417" Paper_ID="/686387.html" Extracted="0780372417" />
<identifier Org="ISBN:0780374746" Paper_ID="/686387.html" Extracted="0780374746" DDC="621.381" Normalized_DDC="621381" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0780386361" Paper_ID="/686387.html" Extracted="0780386361" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0792378970" Paper_ID="/686387.html" Extracted="0792378970" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0817632395" Paper_ID="/686387.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540257276" Paper_ID="/686387.html" Extracted="3540257276" DDC="003/.5" Normalized_DDC="0035" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540279385" Paper_ID="/686387.html" Extracted="3540279385" DDC="629.8/36" Normalized_DDC="629836" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540284567" Paper_ID="/686387.html" Extracted="3540284567" DDC="629.8/36" Normalized_DDC="629836" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540418660" Paper_ID="/686387.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354043321X" Paper_ID="/686387.html" Extracted="354043321X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354065643X" Paper_ID="/686387.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540789286" Paper_ID="/686387.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3642006019" Paper_ID="/686387.html" Extracted="3642006019" />
</rec>
<rec ID="/512214.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Basic Problems in Stability and Design of Switched Systems,">
<identifier Org="ISBN:0080440940" Paper_ID="/512214.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0080446132" Paper_ID="/512214.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0387254757" Paper_ID="/512214.html" Extracted="0387254757" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0780355202" Paper_ID="/512214.html" Extracted="0780355202" />
<identifier Org="ISBN:0780386353" Paper_ID="/512214.html" Extracted="0780386353" />
<identifier Org="ISBN:0817632336" Paper_ID="/512214.html" Extracted="0817632336" DDC="003/.5" Normalized_DDC="0035" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0817632395" Paper_ID="/512214.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0817644865" Paper_ID="/512214.html" Extracted="0817644865" DDC="003/.85" Normalized_DDC="00385" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0817647945" Paper_ID="/512214.html" Extracted="0817647945" DDC="515.642" Normalized_DDC="515642" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540251081" Paper_ID="/512214.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540282270" Paper_ID="/512214.html" Extracted="3540282270" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540418660" Paper_ID="/512214.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540714928" Paper_ID="/512214.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540744681" Paper_ID="/512214.html" Extracted="3540744681" />
<identifier Org="ISBN:3540789286" Paper_ID="/512214.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3642015093" Paper_ID="/512214.html" Extracted="3642015093" />
<identifier Org="ISBN:9810244428" Paper_ID="/512214.html" Extracted="9810244428" DDC="629.8/36" Normalized_DDC="629836" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="/47756.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Controllers for reachability specifications for hybrid systems,">
<identifier Org="ISBN:0080440940" Paper_ID="/47756.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0080443036" Paper_ID="/47756.html" Extracted="0080443036" DDC="629.836" Normalized_DDC="629836" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0080446132" Paper_ID="/47756.html" Extracted="0080446132" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0471234362" Paper_ID="/47756.html" Extracted="0471234362" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0816908699" Paper_ID="/47756.html" Extracted="0816908699" />
<identifier Org="ISBN:0817632336" Paper_ID="/47756.html" Extracted="0817632336" DDC="003/.5" Normalized_DDC="0035" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0817632395" Paper_ID="/47756.html" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0849391377" Paper_ID="/47756.html" Extracted="0849391377" DDC="621" Normalized_DDC="621" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1846288983" Paper_ID="/47756.html" Extracted="1846288983" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540239537" Paper_ID="/47756.html" Extracted="3540239537" DDC="629.8/312" Normalized_DDC="6298312" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540279385" Paper_ID="/47756.html" Extracted="3540279385" DDC="629.8/36" Normalized_DDC="629836" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540418660" Paper_ID="/47756.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441654" Paper_ID="/47756.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540657347" Paper_ID="/47756.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664254" Paper_ID="/47756.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540672591" Paper_ID="/47756.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540714928" Paper_ID="/47756.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540754539" Paper_ID="/47756.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540789286" Paper_ID="/47756.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.05555555555555555" />
</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: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:3540563202" Paper_ID="/93392.html" Extracted="3540563202" DDC="004" Normalized_DDC="004" 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="/499352.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Discrete control of switched linear systems,">
<identifier Org="ISBN:3540418660" Paper_ID="/499352.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540438122" Paper_ID="/499352.html" Extracted="3540438122" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540672591" Paper_ID="/499352.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540938990" Paper_ID="/499352.html" Extracted="3540938990" />
</rec>
<rec ID="/52922.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1569" Title="A New Class of Decidable Hybrid Systems,">
<identifier Org="ISBN:0080440940" Paper_ID="/52922.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0080442498" Paper_ID="/52922.html" Extracted="0080442498" DDC="670.285" Normalized_DDC="670285" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1594542562" Paper_ID="/52922.html" Extracted="1594542562" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540008985" Paper_ID="/52922.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540208038" Paper_ID="/52922.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540251081" Paper_ID="/52922.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540309462" Paper_ID="/52922.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540405240" Paper_ID="/52922.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540410554" Paper_ID="/52922.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418660" Paper_ID="/52922.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439412" Paper_ID="/52922.html" Extracted="3540439412" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540441441" Paper_ID="/52922.html" Extracted="3540441441" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540657347" Paper_ID="/52922.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540714928" Paper_ID="/52922.html" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540727329" Paper_ID="/52922.html" Extracted="3540727329" />
<identifier Org="ISBN:3540730982" Paper_ID="/52922.html" Extracted="3540730982" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540733671" Paper_ID="/52922.html" Extracted="3540733671" />
<identifier Org="ISBN:3642006019" Paper_ID="/52922.html" Extracted="3642006019" />
<identifier Org="ISBN:364202260X" Paper_ID="/52922.html" Extracted="364202260X" />
<identifier Org="ISBN:8173194912" Paper_ID="/52922.html" Extracted="8173194912" />
</rec>
<rec ID="/309565.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1569" Title="Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis,">
<identifier Org="ISBN:0816908699" Paper_ID="/309565.html" Extracted="0816908699" />
<identifier Org="ISBN:3540438122" Paper_ID="/309565.html" Extracted="3540438122" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540440755" Paper_ID="/309565.html" Extracted="3540440755" DDC="003" Normalized_DDC="003" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540657347" Paper_ID="/309565.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540672591" Paper_ID="/309565.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.25" />
</rec>
<rec ID="/399720.html" Type="inproceedings" CiteSeer_Book="HSCC" CiteSeer_Volume="" Title="Decidable Controller Synthesis for Classes of Linear Systems,">
<identifier Org="ISBN:0817643575" Paper_ID="/399720.html" Extracted="0817643575" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.2" />
<identifier Org="ISBN:1402010826" Paper_ID="/399720.html" Extracted="1402010826" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.2" />
<identifier Org="ISBN:1577352815" Paper_ID="/399720.html" Extracted="1577352815" />
<identifier Org="ISBN:354022310X" Paper_ID="/399720.html" Extracted="354022310X" DDC="519.6" Normalized_DDC="5196" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540418660" Paper_ID="/399720.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540672591" Paper_ID="/399720.html" Extracted="3540672591" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.2" />
</rec>
<rec ID="/1406.html" Type="inproceedings" CiteSeer_Book="Hybrid Systems" CiteSeer_Volume="" Title="Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time,">
<identifier Org="ISBN:0126464901" Paper_ID="/1406.html" Extracted="0126464901" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0816908699" Paper_ID="/1406.html" Extracted="0816908699" />
<identifier Org="ISBN:0817632336" Paper_ID="/1406.html" Extracted="0817632336" DDC="003/.5" Normalized_DDC="0035" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354000257X" Paper_ID="/1406.html" Extracted="354000257X" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540009132" Paper_ID="/1406.html" Extracted="3540009132" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540404058" Paper_ID="/1406.html" Extracted="3540404058" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540418660" Paper_ID="/1406.html" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354061155X" Paper_ID="/1406.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354062600X" Paper_ID="/1406.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540671412" Paper_ID="/1406.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540760970" Paper_ID="/1406.html" Extracted="3540760970" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3865374344" Paper_ID="/1406.html" Extracted="3865374344" DDC="620" Normalized_DDC="62" Normalized_Weight="0.09090909090909091" />
</rec>
<rec ID="/381370.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Controllability and control-law synthesis of linear hybrid systems,">
<identifier Org="ISBN:3540604723" Paper_ID="/381370.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="1.0" />
</rec>
<rec ID="/11957.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Reach set computation using optimal control,">
<identifier Org="ISBN:0080440940" Paper_ID="/11957.html" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.1" />
<identifier Org="ISBN:0080443036" Paper_ID="/11957.html" Extracted="0080443036" DDC="629.836" Normalized_DDC="629836" Normalized_Weight="0.1" />
<identifier Org="ISBN:0387242090" Paper_ID="/11957.html" Extracted="0387242090" DDC="515/.64" Normalized_DDC="51564" Normalized_Weight="0.1" />
<identifier Org="ISBN:0817643850" Paper_ID="/11957.html" Extracted="0817643850" DDC="629.8/3" Normalized_DDC="62983" Normalized_Weight="0.1" />
<identifier Org="ISBN:1594542562" Paper_ID="/11957.html" Extracted="1594542562" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />
<identifier Org="ISBN:193301928X" Paper_ID="/11957.html" Extracted="193301928X" />
<identifier Org="ISBN:3540212590" Paper_ID="/11957.html" Extracted="3540212590" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540237380" Paper_ID="/11957.html" Extracted="3540237380" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540239537" Paper_ID="/11957.html" Extracted="3540239537" DDC="629.8/312" Normalized_DDC="6298312" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540657347" Paper_ID="/11957.html" Extracted="3540657347" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540789286" Paper_ID="/11957.html" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.1" />
<identifier Org="ISBN:3642026575" Paper_ID="/11957.html" Extracted="3642026575" />
</rec>
<rec ID="/8014.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1567" Title="Phase-Space Nonlinear Control Toolbox: The Maglev Experience,">
<identifier Org="ISBN:0780355008" Paper_ID="/8014.html" Extracted="0780355008" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.5" />
<identifier Org="ISBN:354065643X" Paper_ID="/8014.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.5" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Effective Synthesis of Switching Controllers for Linear Systems">
<identifier Org="ISBN:0080440940" Paper_ID="SELF" Extracted="0080440940" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0471234362" Paper_ID="SELF" Extracted="0471234362" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0780367227" Paper_ID="SELF" Extracted="0780367227" />
<identifier Org="ISBN:0780383044" Paper_ID="SELF" Extracted="0780383044" />
<identifier Org="ISBN:0780386361" Paper_ID="SELF" Extracted="0780386361" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0817632395" Paper_ID="SELF" Extracted="0817632395" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1581133499" Paper_ID="SELF" Extracted="1581133499" />
<identifier Org="ISBN:1594542562" Paper_ID="SELF" Extracted="1594542562" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:193301928X" Paper_ID="SELF" Extracted="193301928X" />
<identifier Org="ISBN:354021366X" Paper_ID="SELF" Extracted="354021366X" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540251081" Paper_ID="SELF" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540418660" Paper_ID="SELF" Extracted="3540418660" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540422870" Paper_ID="SELF" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424997" Paper_ID="SELF" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540438122" Paper_ID="SELF" Extracted="3540438122" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540441654" Paper_ID="SELF" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540714928" Paper_ID="SELF" Extracted="3540714928" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540744681" Paper_ID="SELF" Extracted="3540744681" />
<identifier Org="ISBN:3540789286" Paper_ID="SELF" Extracted="3540789286" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540938990" Paper_ID="SELF" Extracted="3540938990" />
</rec>
</references_metadata>