Simultaneous stabilizability of three linear systems is rationally undecidable View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1993-06

AUTHORS

V. Blondel, M. Gevers

ABSTRACT

We show that the simultaneous stabilizability of three linear systems, that is the question of knowing whether three linear systems are simultaneously stabilizable, is rationally undecidable. By this we mean that it is not possible to find necessary and sufficient conditions for simultaneous stabilization of the three systems in terms of expressions involving the coefficients of the three systems and combinations of arithmetical operations (additions, subtractions, multiplications, and divisions), logical operations (“and” and “or”), and sign test operations (equal to, greater than, greater than or equal to,...). More... »

PAGES

135-145

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bf01211744

DOI

http://dx.doi.org/10.1007/bf01211744

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1026569038


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0306", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Physical Chemistry (incl. Structural)", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/03", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Chemical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Royal Institute of Technology", 
          "id": "https://www.grid.ac/institutes/grid.5037.1", 
          "name": [
            "Optimization and Systems Theory, Royal Institute of Technology, S-10044, Stockholm, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Blondel", 
        "givenName": "V.", 
        "id": "sg:person.0757770613.51", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0757770613.51"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e9 Catholique de Louvain", 
          "id": "https://www.grid.ac/institutes/grid.7942.8", 
          "name": [
            "Universit\u00e9 Catholique de Louvain, Cesame, B\u00e2timent Euler, B-1348, Louvain-La-Neuve, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Gevers", 
        "givenName": "M.", 
        "id": "sg:person.016606215141.13", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016606215141.13"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/s0167-6911(82)80035-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007010344"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(74)90021-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009424245"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(74)90021-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009424245"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(88)90111-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009801113"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(88)90111-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009801113"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-6911(85)90052-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011040592"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(76)90060-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038563503"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(76)90060-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038563503"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.1982.1103005", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061473484"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.1982.1103086", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061473561"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1137/0324066", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062843910"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1991.261249", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1086308675"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1090/mmono/026", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1101567803"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1993-06", 
    "datePublishedReg": "1993-06-01", 
    "description": "We show that the simultaneous stabilizability of three linear systems, that is the question of knowing whether three linear systems are simultaneously stabilizable, is rationally undecidable. By this we mean that it is not possible to find necessary and sufficient conditions for simultaneous stabilization of the three systems in terms of expressions involving the coefficients of the three systems and combinations of arithmetical operations (additions, subtractions, multiplications, and divisions), logical operations (\u201cand\u201d and \u201cor\u201d), and sign test operations (equal to, greater than, greater than or equal to,...).", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf01211744", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1135855", 
        "issn": [
          "0932-4194", 
          "1435-568X"
        ], 
        "name": "Mathematics of Control, Signals, and Systems", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "6"
      }
    ], 
    "name": "Simultaneous stabilizability of three linear systems is rationally undecidable", 
    "pagination": "135-145", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "7e9319e423a0b3e578e2eb9fd0d035903609ba01d6bbdaae89c9e938ce563ee9"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf01211744"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1026569038"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf01211744", 
      "https://app.dimensions.ai/details/publication/pub.1026569038"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T13:26", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000370_0000000370/records_46737_00000001.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/BF01211744"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/bf01211744'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/bf01211744'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf01211744'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf01211744'


 

This table displays all metadata directly associated to this object as RDF triples.

101 TRIPLES      21 PREDICATES      37 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf01211744 schema:about anzsrc-for:03
2 anzsrc-for:0306
3 schema:author Naa5413a81beb448ba8db631ba4e2c850
4 schema:citation https://doi.org/10.1016/0005-1098(74)90021-1
5 https://doi.org/10.1016/0005-1098(76)90060-1
6 https://doi.org/10.1016/0005-1098(88)90111-2
7 https://doi.org/10.1016/0167-6911(85)90052-0
8 https://doi.org/10.1016/s0167-6911(82)80035-2
9 https://doi.org/10.1090/mmono/026
10 https://doi.org/10.1109/cdc.1991.261249
11 https://doi.org/10.1109/tac.1982.1103005
12 https://doi.org/10.1109/tac.1982.1103086
13 https://doi.org/10.1137/0324066
14 schema:datePublished 1993-06
15 schema:datePublishedReg 1993-06-01
16 schema:description We show that the simultaneous stabilizability of three linear systems, that is the question of knowing whether three linear systems are simultaneously stabilizable, is rationally undecidable. By this we mean that it is not possible to find necessary and sufficient conditions for simultaneous stabilization of the three systems in terms of expressions involving the coefficients of the three systems and combinations of arithmetical operations (additions, subtractions, multiplications, and divisions), logical operations (“and” and “or”), and sign test operations (equal to, greater than, greater than or equal to,...).
17 schema:genre research_article
18 schema:inLanguage en
19 schema:isAccessibleForFree false
20 schema:isPartOf N44e7db715610422a97a237d59f3ff49c
21 N834c07a4c75d4ee497db9b2b63dfbef1
22 sg:journal.1135855
23 schema:name Simultaneous stabilizability of three linear systems is rationally undecidable
24 schema:pagination 135-145
25 schema:productId N1cf71129b4094ecba45baa9a9cc341e3
26 N3f4fb7634fb84a538c905c61db586872
27 Nd9e94c5d547b4f45978399c81f24e6b8
28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026569038
29 https://doi.org/10.1007/bf01211744
30 schema:sdDatePublished 2019-04-11T13:26
31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
32 schema:sdPublisher N646a87482b5d44369f51734ed0a24240
33 schema:url http://link.springer.com/10.1007/BF01211744
34 sgo:license sg:explorer/license/
35 sgo:sdDataset articles
36 rdf:type schema:ScholarlyArticle
37 N1cf71129b4094ecba45baa9a9cc341e3 schema:name readcube_id
38 schema:value 7e9319e423a0b3e578e2eb9fd0d035903609ba01d6bbdaae89c9e938ce563ee9
39 rdf:type schema:PropertyValue
40 N3f4fb7634fb84a538c905c61db586872 schema:name dimensions_id
41 schema:value pub.1026569038
42 rdf:type schema:PropertyValue
43 N44e7db715610422a97a237d59f3ff49c schema:issueNumber 2
44 rdf:type schema:PublicationIssue
45 N646a87482b5d44369f51734ed0a24240 schema:name Springer Nature - SN SciGraph project
46 rdf:type schema:Organization
47 N834c07a4c75d4ee497db9b2b63dfbef1 schema:volumeNumber 6
48 rdf:type schema:PublicationVolume
49 Naa5413a81beb448ba8db631ba4e2c850 rdf:first sg:person.0757770613.51
50 rdf:rest Neb05fe0eb9a54288b303e9f2495bd010
51 Nd9e94c5d547b4f45978399c81f24e6b8 schema:name doi
52 schema:value 10.1007/bf01211744
53 rdf:type schema:PropertyValue
54 Neb05fe0eb9a54288b303e9f2495bd010 rdf:first sg:person.016606215141.13
55 rdf:rest rdf:nil
56 anzsrc-for:03 schema:inDefinedTermSet anzsrc-for:
57 schema:name Chemical Sciences
58 rdf:type schema:DefinedTerm
59 anzsrc-for:0306 schema:inDefinedTermSet anzsrc-for:
60 schema:name Physical Chemistry (incl. Structural)
61 rdf:type schema:DefinedTerm
62 sg:journal.1135855 schema:issn 0932-4194
63 1435-568X
64 schema:name Mathematics of Control, Signals, and Systems
65 rdf:type schema:Periodical
66 sg:person.016606215141.13 schema:affiliation https://www.grid.ac/institutes/grid.7942.8
67 schema:familyName Gevers
68 schema:givenName M.
69 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016606215141.13
70 rdf:type schema:Person
71 sg:person.0757770613.51 schema:affiliation https://www.grid.ac/institutes/grid.5037.1
72 schema:familyName Blondel
73 schema:givenName V.
74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0757770613.51
75 rdf:type schema:Person
76 https://doi.org/10.1016/0005-1098(74)90021-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009424245
77 rdf:type schema:CreativeWork
78 https://doi.org/10.1016/0005-1098(76)90060-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038563503
79 rdf:type schema:CreativeWork
80 https://doi.org/10.1016/0005-1098(88)90111-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009801113
81 rdf:type schema:CreativeWork
82 https://doi.org/10.1016/0167-6911(85)90052-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011040592
83 rdf:type schema:CreativeWork
84 https://doi.org/10.1016/s0167-6911(82)80035-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007010344
85 rdf:type schema:CreativeWork
86 https://doi.org/10.1090/mmono/026 schema:sameAs https://app.dimensions.ai/details/publication/pub.1101567803
87 rdf:type schema:CreativeWork
88 https://doi.org/10.1109/cdc.1991.261249 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086308675
89 rdf:type schema:CreativeWork
90 https://doi.org/10.1109/tac.1982.1103005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061473484
91 rdf:type schema:CreativeWork
92 https://doi.org/10.1109/tac.1982.1103086 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061473561
93 rdf:type schema:CreativeWork
94 https://doi.org/10.1137/0324066 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062843910
95 rdf:type schema:CreativeWork
96 https://www.grid.ac/institutes/grid.5037.1 schema:alternateName Royal Institute of Technology
97 schema:name Optimization and Systems Theory, Royal Institute of Technology, S-10044, Stockholm, Sweden
98 rdf:type schema:Organization
99 https://www.grid.ac/institutes/grid.7942.8 schema:alternateName Université Catholique de Louvain
100 schema:name Université Catholique de Louvain, Cesame, Bâtiment Euler, B-1348, Louvain-La-Neuve, Belgium
101 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...