Hybrid systems: computation and control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture Notes in Computer Science
4981 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 680 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783540789284 3540789286 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023267884 | ||
| 003 | DE-604 | ||
| 005 | 20080514 | ||
| 007 | t| | ||
| 008 | 080421s2008 xx d||| |||| 10||| eng d | ||
| 015 | |a 08,N14,0039 |2 dnb | ||
| 016 | 7 | |a 987971859 |2 DE-101 | |
| 020 | |a 9783540789284 |c : ca. EUR 81.32 (freier Pr.), ca. sfr 132.50 (freier Pr.) |9 978-3-540-78928-4 | ||
| 020 | |a 3540789286 |c : ca. EUR 81.32 (freier Pr.), ca. sfr 132.50 (freier Pr.) |9 3-540-78928-6 | ||
| 024 | 3 | |a 9783540789284 | |
| 028 | 5 | 2 | |a 12250455 |
| 035 | |a (OCoLC)223869584 | ||
| 035 | |a (DE-599)DNB987971859 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.38 | |
| 082 | 0 | |a 004.1/9 |2 22 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 240f |2 stub | ||
| 245 | 1 | 0 | |a Hybrid systems: computation and control |b 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings |c Magnus Egerstedt ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XV, 680 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 4981 | |
| 650 | 4 | |a Hybrid computers |v Congresses | |
| 650 | 4 | |a Hybrid systems |v Congresses | |
| 650 | 0 | 7 | |a Hybridrechner |0 (DE-588)4160844-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hybrides System |0 (DE-588)4510314-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Saint Louis Mo. |2 gnd-content | |
| 689 | 0 | 0 | |a Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Hybridrechner |0 (DE-588)4160844-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Egerstedt, Magnus |e Sonstige |4 oth | |
| 711 | 2 | |a HSCC |n 11 |d 2008 |c Saint Louis, Mo. |j Sonstige |0 (DE-588)6071516-9 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4981 |w (DE-604)BV000000607 |9 4981 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016452954&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016452954 | |
Datensatz im Suchindex
| _version_ | 1826212265115779072 |
|---|---|
| adam_text |
TABLE OF CONTENTS
REGULAR PAPERS
MARKOV
SET-CHAINS
AS
ABSTRACTIONS
OF
STOCHASTIC HYBRID SYSTEMS
1
ALESSANDRO
ABATE, ALESSANDRO D'INNOCENZO,
MARIA
D.
DI
BENEDETTO, AND SHANKAR
S.
SASTRY
CO-SIMULATION TOOLS
FOR
NETWORKED CONTROL SYSTEMS
16
AHMAD
T.
AL-HAMMOURI, MICHAEL
S.
BRANICKY,
AND
VINCENZO
LIBERATORE
ON THE MAXIMUM PRINCIPLE
FOR
IMPULSIVE HYBRID SYSTEMS
30
VADIM AZHMYAKOV, SID AHMED ATTIA, AND JORG RAISCH
ALGEBRAIC IDENTIFICATION
OF
MIMO SARX MODELS
43
LAURENT BAKO AND RENE VIDAL
CONTRACT-BASED DESIGN
FOR
COMPUTATION
AND
VERIFICATION
OF A
CLOSED-LOOP
HYBRID SYSTEM
58
L.
BENVENUTI,
A.
FERRARI,
E.
MAZZI, AND A.L. SANGIOVANNI VINCENTELLI
CONTROLLER SYNTHESIS WITH BUDGET CONSTRAINTS
72
KRISHNENDU
CHATTER"JEE,
RUPAK MAJUMDAR,
AND
THOMAS
A.
HENZINGER
TRADING INFINITE MEMORY
FOR
UNIFORM RANDOMNESS
IN
TIMED GAMES
. 87
KRISHNENDU CHATTERJEE, THOMAS
A.
HENZINGER,
AND
VINAYAK
S.
PRABHU
SOLUTIONS
TO
SWITCHED HAMILTON-JACOBI EQUATIONS
AND
CONSERVATION
LAWS
USING HYBRID COMPONENTS
101
CHRISTIAN
G.
CIAUDEL AND ALEXANDRE
M.
BAYEN
LOST
IN
TRANSLATION: HYBRID-TIME FLOWS VS. REAL-TIME TRANSITIONS
116
P.J.L.
CUIJPERS AND M.A. RENTERS
A CONTROL LYAPUNOV APPROACH
TO
PREDICTIVE CONTROL
OF
HYBRID
SYSTEMS
130
5.
DI
CAIRANO,
M.
LAZAR,
A.
BEMPORAD,
AND
W.P.M.H.
HEEMELS
DISCRETE
AND
HYBRID STOCHASTIC STATE ESTIMATION ALGORITHMS
FOR
NETWORKED
CONTROL SYSTEMS
144
S.
DI
CAIRANO, K.H. JOHANSSON,
A.
BEMPORAD, AND R.M. MURRAY
ANYTIME CONTROL ALGORITHMS
FOR
EMBEDDED REAL-TIME SYSTEMS
158
DANIELE
FONTANELLI, LUCA GRECO, AND ANTONIO BICCHI
GESCANNT DURCH
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/987971859
DIGITALISIERT DURCH |
| adam_txt | |
| any_adam_object | 1 |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV023267884 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.38 |
| callnumber-search | QA76.38 |
| callnumber-sort | QA 276.38 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 240f |
| ctrlnum | (OCoLC)223869584 (DE-599)DNB987971859 |
| dewey-full | 004.1/9 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.1/9 |
| dewey-search | 004.1/9 |
| dewey-sort | 14.1 19 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV023267884</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080514</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">080421s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N14,0039</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">987971859</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540789284</subfield><subfield code="c">: ca. EUR 81.32 (freier Pr.), ca. sfr 132.50 (freier Pr.)</subfield><subfield code="9">978-3-540-78928-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540789286</subfield><subfield code="c">: ca. EUR 81.32 (freier Pr.), ca. sfr 132.50 (freier Pr.)</subfield><subfield code="9">3-540-78928-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540789284</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12250455</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)223869584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB987971859</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.1/9</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 240f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hybrid systems: computation and control</subfield><subfield code="b">11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings</subfield><subfield code="c">Magnus Egerstedt ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 680 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4981</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrid computers</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrid systems</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hybridrechner</subfield><subfield code="0">(DE-588)4160844-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Saint Louis Mo.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Hybridrechner</subfield><subfield code="0">(DE-588)4160844-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Egerstedt, Magnus</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HSCC</subfield><subfield code="n">11</subfield><subfield code="d">2008</subfield><subfield code="c">Saint Louis, Mo.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6071516-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4981</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4981</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016452954&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016452954</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Saint Louis Mo. gnd-content |
| genre_facet | Konferenzschrift 2008 Saint Louis Mo. |
| id | DE-604.BV023267884 |
| illustrated | Illustrated |
| index_date | 2024-07-02T20:34:40Z |
| indexdate | 2025-03-10T13:02:12Z |
| institution | BVB |
| institution_GND | (DE-588)6071516-9 |
| isbn | 9783540789284 3540789286 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016452954 |
| oclc_num | 223869584 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XV, 680 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Magnus Egerstedt ... (eds.) Berlin [u.a.] Springer 2008 XV, 680 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4981 Hybrid computers Congresses Hybrid systems Congresses Hybridrechner (DE-588)4160844-6 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Saint Louis Mo. gnd-content Hybrides System (DE-588)4510314-8 s DE-604 Hybridrechner (DE-588)4160844-6 s Egerstedt, Magnus Sonstige oth HSCC 11 2008 Saint Louis, Mo. Sonstige (DE-588)6071516-9 oth Lecture Notes in Computer Science 4981 (DE-604)BV000000607 4981 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016452954&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Lecture Notes in Computer Science Hybrid computers Congresses Hybrid systems Congresses Hybridrechner (DE-588)4160844-6 gnd Hybrides System (DE-588)4510314-8 gnd |
| subject_GND | (DE-588)4160844-6 (DE-588)4510314-8 (DE-588)1071861417 |
| title | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings |
| title_auth | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings |
| title_exact_search | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings |
| title_exact_search_txtP | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings |
| title_full | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Magnus Egerstedt ... (eds.) |
| title_fullStr | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Magnus Egerstedt ... (eds.) |
| title_full_unstemmed | Hybrid systems: computation and control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Magnus Egerstedt ... (eds.) |
| title_short | Hybrid systems: computation and control |
| title_sort | hybrid systems computation and control 11th international workshop hscc 2008 st louis mo usa april 22 24 2008 proceedings |
| title_sub | 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings |
| topic | Hybrid computers Congresses Hybrid systems Congresses Hybridrechner (DE-588)4160844-6 gnd Hybrides System (DE-588)4510314-8 gnd |
| topic_facet | Hybrid computers Congresses Hybrid systems Congresses Hybridrechner Hybrides System Konferenzschrift 2008 Saint Louis Mo. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016452954&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT egerstedtmagnus hybridsystemscomputationandcontrol11thinternationalworkshophscc2008stlouismousaapril22242008proceedings AT hsccsaintlouismo hybridsystemscomputationandcontrol11thinternationalworkshophscc2008stlouismousaapril22242008proceedings |