Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture Notes in Computer Science
5469 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 492 S. |
| ISBN: | 9783642006012 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035433709 | ||
| 003 | DE-604 | ||
| 005 | 20170801 | ||
| 007 | t| | ||
| 008 | 090415s2009 xx |||| 10||| eng d | ||
| 015 | |a 09,N10,0061 |2 dnb | ||
| 016 | 7 | |a 992751667 |2 DE-101 | |
| 020 | |a 9783642006012 |c PB. : EUR 64.95 (freier Pr.), sfr 101.00 (freier Pr.) |9 978-3-642-00601-2 | ||
| 024 | 3 | |a 9783642006012 | |
| 028 | 5 | 2 | |a 12634446 |
| 035 | |a (OCoLC)310400754 | ||
| 035 | |a (DE-599)DNB992751667 | ||
| 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.19 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 240f |2 stub | ||
| 245 | 1 | 0 | |a Hybrid Systems: Computation and Control |b 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings |c Rupak Majumdar ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XIV, 492 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5469 | |
| 650 | 4 | |a Hybrides System - Kongress - San Francisco <Calif., 2009> | |
| 650 | 4 | |a Hybridrechner - Kongress - San Francisco <Calif., 2009> | |
| 650 | 4 | |a Hybrid computers |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 2009 |z San Francisco Calif. |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 Majumdar, Rupak |e Sonstige |0 (DE-588)1137532114 |4 oth | |
| 711 | 2 | |a HSCC |n 12 |d 2009 |c San Francisco, Calif. |j Sonstige |0 (DE-588)16150514-4 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5469 |w (DE-604)BV000000607 |9 5469 | |
| 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=017354067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017354067 | |
Datensatz im Suchindex
| _version_ | 1820875114637426688 |
|---|---|
| adam_text |
TABLE OF CONTENTS
REGULAER PAPERS
APPLICATIONS OF METITARSKI IN TH
E VERIFICATION OF CONTRO
L AN
D HYBRID
SYSTEMS 1
BEHZAD AKBARPOUR AND LAWRENCE C. PAULSON
THREE-DIMENSIONAL KNEED BIPEDAL WALKING: A HYBRID GEOMETRIE
APPROACH 16
AARON D. ARNES, RYAN W. SINNET, AND ERIC D.B. WENDEL
SAFE AN
D SECURE NETWORKED CONTROL SYSTEMS UNDE
R DENIAL-OF-SERVICE
ATTACK
S 31
SAURABH AMIN, ALVARO A. CAERDENAS, AND S. SHANKAR SASTRY
ACTOR
S WITHOU
T DIRECTORS: A KAHNIA
N VIEW OF HETEROGENEOUS
SYSTEMS 46
P. CASPI, A. BENVENISTE, R. LUBLINERMAN, AND S. TRIPAKIS
SIMULTANEOUS OPTIMA
L CONTROL AN
D DISCRETE STOCHASTI
C SENSOR
SELECTION 61
D. BERNARDINI, D. MUNOZ DE LA PENA, A. BEMPORAD, AND E. FRAZZOLI
HYBRI
D MODELLING, POWER MANAGEMEN
T AN
D STABILIZATIO
N OF COGNITIVE
RADI
O NETWORKS 76
ALESSANDRO BORRI, MARIA DOMENICA DI BENEDETTO, AND
MARIA-GABRIELLA DI BENEDETTO
AUTOMATI
C SYNTHESIS OF ROBUS
T AN
D OPTIMA
L CONTROLLER
S - AN INDUSTRIA
L
CASE STUD
Y 90
FRANCK CASSEZ, JAN J. JESSEN, KIM G. LARSEN,
JEAN-FRANCOIS RASKIN, AND PIERRE-ALAIN REYNIER
LOCAL IDENTIFICATION OF PIECEWISE DETERMINISTI
C MODELS OF GENETIC
NETWORKS 105
EUGENIO CINQUEMANI, ANDREAS MILIAS-ARGEITIS. SCAN SUMMERS, AND
JOHN LYGEROS
DISTRIBUTE
D WOMBLING BY ROBOTI
C SENSOR NETWORKS 120
JORGE CORTES
EPSILON-TUBES AN
D GENERALIZED SKOROKHOD METRICS FOR HYBRID PATH
S
SPACES 135
J.M. DAVOREN
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/992751667
DIGITALISIERT DURCH
XII TABLE OF CONTENTS
STABILITY ANALYSIS OF NETWORKED CONTROL SYSTEMS USING A SWITCHED
LINEAR SYSTEMS APPROACH 150
M.C.F. DONKERS, L. HETEL, W.P.M.E. HEEMELS,
N. VAN DE WOUW, AND M. STEINBUCH
PARAMETER SYNTHESIS FOR HYBRID SYSTEMS WITH AN APPLICATION TO
SIMULINK MODELS 165
ALEXANDRE DONZE, BRUCE KROGH, AND AKSHAY RAJHANS
CONVERGENCE OF DISTRIBUTED WSN ALGORITHMS: THE WAKE-UP SCATTERING
PROBLEM 180
DANIELE FONTANELLI, LUIGI PALOPOLI, AND ROBERTO PASSERONE
FINITE AUTOMATA AS TIME-INV LINEAR SYSTEMS OBSERVABILITY,
REACHABILITY AND MORE 194
RADU GROSU
OPTIMAL BOUNDARY CONTROL OF CONVENTION-REACTION TRANSPORT SYSTEMS
WITH BINARY CONTROL FUNCTIONS 209
FALK M. HANTE AND GUENTER LEUGERING
TRAJECTORY BASED VERIFICATION USING LOCAL FINITE-TIME INVARIANCE 223
A. AGUNG JULIUS AND GEORGE J. PAPPAS
SYNTHESIS OF TRAJECTORY-DEPENDENT CONTROL LYAPUNOV FUNCTIONS BY A
SINGLE LINEAR PROGRAM 237
MIRCEA LAZAR AND ANDREJ JOKIC
UNIFORM CONSENSUS AMONG SELF-DRIVEN PARTICLES 252
JT-WOONG LEE
OPTIMIZATION OF MULTI-AGENT MOTION PROGRAMS WITH APPLICATIONS TO
ROBOTIC MARIONETTES 262
PATRICK MARTIN AND MAGNUS EGERSTEDT
DECOMPOSITIONAL CONSTRUCTION OF LYAPUNOV FUNCTIONS FOR HYBRID
SYSTEMS 276
JENS OEHLERKING AND OLIVER THEEL
EXISTENCE OF PERIODIC ORBITS WITH ZENO BEHAVIOR IN COMPLETED
LAGRANGIAN HYBRID SYSTEMS 291
YIZHAR OR AND AARON D. ARNES
COMPUTATION OF DISCRETE ABSTRACTIONS OF ARBITRARY MEMORY SPAN FOR
NONLINEAR SAMPLED SYSTEMS 306
GUENTHER REISSIG
TABLE OF CONTENTS XIII
HYBRID MODELING, IDENTIFICATION, AN
D PREDICTIV
E CONTROL
: AN APPLICATION
T
O HYBRID ELECTRIC VEHICLE ENERGY MANAGEMENT 321
G. RIPACCIOLI, A. BEMPORAD, F. ASSADIAN, C. DEXTREIT,
S. DI CAIRANO, AND I. V. KOLMANOVSKY
ON EVENT BASED STAT
E ESTIMATIO
N 336
JORIS SIJS AND MIRCEA LAZAR
DISCRETE-STAT
E ABSTRACTION
S OF NONLINEAR SYSTEMS USING MULTI-RESOLUTION
QUANTIZE
R 351
YUICHI TAZAKI AND JUN-ICHI IMURA
EVENT-TRIGGERING IN DISTRIBUTE
D NETWORKED SYSTEMS WITH DAT
A
DROPOUT
S AN
D DELAYS 366
XIAOFENG WANG AND MICHAEL D. LEMMON
SPECIFICATION AN
D ANALYSIS OF NETWORK RESOURCE REQUIREMENT
S OF
CONTRO
L SYSTEMS 381
GERA WEISS, SEBASTIAN FISCHMEISTER, MADHUKAR ANARID, AND
RAJEEV ALUR
PERIODICALLY CONTROLLED HYBRID SYSTEMS: VERIFYING A CONTROLLER FOR A
N
AUTONOMOU
S VEHICLE 396
TICHAKORN WONGPIROMSARN, SAYAN MITRA, RICHARD M. MURRAY, AND
ANDREW LAMPERSKI
STABILIZATIO
N OF DISCRETE-TIME SWITCHED LINEAR SYSTEMS:
A CONTROL-LYAPUNO
V FUNCTION APPROAC
H 411
WEI ZHANG, ALESSANDRO ABATE, AND JIANGHAI HU
BOUNDED AN
D UNBOUNDE
D SAFETY VERIFICATION USING BISIMULATION
METRICS 426
GANG ZHENG AND ANTOINE GIRARD
SHORT PAPERS
TH
E OPTIMA
L BOUNDAR
Y AN
D REGULATO
R DESIGN PROBLE
M FOR EVENT-DRIVEN
CONTROLLER
S 441
PAU MARTI, MANEL VELASCO, AND ENRICO BINI
MORPHISMS FOR NON-TRIVIAL NON-LINEAR INVARIANT GENERATIO
N FOR
ALGEBRAIC HYBRI
D SYSTEMS 445
NADIR MATRINGE. ARNALDO VIEIRA MOURA. AND RACHID REBIHA
AN ANALYSIS OF TH
E FUELLER PHENOMENO
N ON TRANSFINITE HYBRID
AUTOMAT
A 450
KATSUNORI NAKAMURA AND AKIRA FUSAOKA
XIV TABLE OF CONTENTS
STOCHASTIC OPTIMAL TRACKING WITH PREVIEW FOR LINEAR DISCRETE-TIME
MARKOVIAN JUMP SYSTEMS (EXTENDED ABSTRACT) 455
GOU NAKURA
REACHABILITY ANALYSIS FOR STOCHASTIC HYBRID SYSTEMS USING MULTILEVEL
SPLITTING 460
DEREK RILEY, XENOFON KOUTSOUKOS, AND KASANDRA RILEY
ORBITAL CONTROL FOR A CLASS OF PLANAR IMPULSIVE HYBRID SYSTEMS WITH
CONTROLLABLE RESETS 465
AXEL SCHILD, MAGNUS EGERSTEDT, AND JAN LUNZE
DISTRIBUTED TREE REARRANGEMENTS FOR REACHABILITY AND ROBUST
CONNECTIVITY 470
MICHAEL SCHURESKO AND JORGE CORTES
THE SENSITIVITY OF HYBRID SYSTEMS OPTIMAL COST FUNCTIONS WITH
RESPECT TO SWITCHING MANIFOLD PARAMETERS 475
FARZIN TARINGOO AND PETER E. CAINES
STORMED HYBRID GAMES 480
VLADIMEROS VLADIMEROU, PAVITHRA PRABHAKAR,
MAHESH VISWANATHAN, AND GEIR DULLERUD
SYMBOLIC BRANDUNG BISIMULATION-CHECKING OF DENSE-TIME SYSTEMS IN
AN ENVIRONMENT 485
FARN WANG
AUTHO
R INDE
X 491 |
| any_adam_object | 1 |
| author_GND | (DE-588)1137532114 |
| building | Verbundindex |
| bvnumber | BV035433709 |
| 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)310400754 (DE-599)DNB992751667 |
| dewey-full | 004.19 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.19 |
| dewey-search | 004.19 |
| dewey-sort | 14.19 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | 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">BV035433709</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170801</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090415s2009 xx |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N10,0061</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992751667</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642006012</subfield><subfield code="c">PB. : EUR 64.95 (freier Pr.), sfr 101.00 (freier Pr.)</subfield><subfield code="9">978-3-642-00601-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642006012</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12634446</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)310400754</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992751667</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.19</subfield><subfield code="2">22/ger</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">12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings</subfield><subfield code="c">Rupak Majumdar ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 492 S.</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">5469</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrides System - Kongress - San Francisco <Calif., 2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybridrechner - Kongress - San Francisco <Calif., 2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrid computers</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">2009</subfield><subfield code="z">San Francisco Calif.</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">Majumdar, Rupak</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1137532114</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HSCC</subfield><subfield code="n">12</subfield><subfield code="d">2009</subfield><subfield code="c">San Francisco, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16150514-4</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">5469</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5469</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=017354067&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-017354067</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 San Francisco Calif. gnd-content |
| genre_facet | Konferenzschrift 2009 San Francisco Calif. |
| id | DE-604.BV035433709 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:10:30Z |
| institution | BVB |
| institution_GND | (DE-588)16150514-4 |
| isbn | 9783642006012 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017354067 |
| oclc_num | 310400754 |
| 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 | XIV, 492 S. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings Rupak Majumdar ... (eds.) Berlin [u.a.] Springer 2009 XIV, 492 S. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5469 Hybrides System - Kongress - San Francisco <Calif., 2009> Hybridrechner - Kongress - San Francisco <Calif., 2009> Hybrid computers Congresses Hybridrechner (DE-588)4160844-6 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 San Francisco Calif. gnd-content Hybrides System (DE-588)4510314-8 s DE-604 Hybridrechner (DE-588)4160844-6 s Majumdar, Rupak Sonstige (DE-588)1137532114 oth HSCC 12 2009 San Francisco, Calif. Sonstige (DE-588)16150514-4 oth Lecture Notes in Computer Science 5469 (DE-604)BV000000607 5469 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017354067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings Lecture Notes in Computer Science Hybrides System - Kongress - San Francisco <Calif., 2009> Hybridrechner - Kongress - San Francisco <Calif., 2009> Hybrid computers 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 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings |
| title_auth | Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings |
| title_exact_search | Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings |
| title_full | Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings Rupak Majumdar ... (eds.) |
| title_fullStr | Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings Rupak Majumdar ... (eds.) |
| title_full_unstemmed | Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings Rupak Majumdar ... (eds.) |
| title_short | Hybrid Systems: Computation and Control |
| title_sort | hybrid systems computation and control 12th international conference hscc 2009 san francisco ca usa april 13 15 2009 proceedings |
| title_sub | 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings |
| topic | Hybrides System - Kongress - San Francisco <Calif., 2009> Hybridrechner - Kongress - San Francisco <Calif., 2009> Hybrid computers Congresses Hybridrechner (DE-588)4160844-6 gnd Hybrides System (DE-588)4510314-8 gnd |
| topic_facet | Hybrides System - Kongress - San Francisco <Calif., 2009> Hybridrechner - Kongress - San Francisco <Calif., 2009> Hybrid computers Congresses Hybridrechner Hybrides System Konferenzschrift 2009 San Francisco Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017354067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT majumdarrupak hybridsystemscomputationandcontrol12thinternationalconferencehscc2009sanfranciscocausaapril13152009proceedings AT hsccsanfranciscocalif hybridsystemscomputationandcontrol12thinternationalconferencehscc2009sanfranciscocausaapril13152009proceedings |