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

Graph

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

www.000webhost.com