Hybrid systems: computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.
Springer
1998
|
| Series: | Lecture notes in computer science
1386 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 415 S. graph. Darst. |
| ISBN: | 3540643583 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011834511 | ||
| 003 | DE-604 | ||
| 005 | 20110804 | ||
| 007 | t| | ||
| 008 | 980310s1998 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 953053482 |2 DE-101 | |
| 020 | |a 3540643583 |9 3-540-64358-3 | ||
| 035 | |a (OCoLC)38747288 | ||
| 035 | |a (DE-599)BVBBV011834511 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-91 |a DE-739 |a DE-384 |a DE-19 |a DE-634 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.38.H73 1998 | |
| 082 | 0 | |a 629.8/9 21 | |
| 082 | 0 | |a 629.8/9 |2 21 | |
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Hybrid systems |b computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings |c Thomas A. Henzinger ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. |b Springer |c 1998 | |
| 300 | |a VIII, 415 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1386 | |
| 650 | 4 | |a Calculateurs hybrides - Congrès | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Hybride computers |2 gtt | |
| 650 | 4 | |a Hybrid computers -- 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 1998 |z Berkeley Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Hybridrechner |0 (DE-588)4160844-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Henzinger, Thomas |d 1962- |e Sonstige |0 (DE-588)118183540 |4 oth | |
| 711 | 2 | |a HSCC |n 1 |d 1998 |c Berkeley, Calif. |j Sonstige |0 (DE-588)2169035-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1386 |w (DE-604)BV000000607 |9 1386 | |
| 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=007992313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007992313 | |
Record in the Search Index
| _version_ | 1820874872289492992 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
E.
ASARIN
EQUATIONS
ON
TIMED
LANGUAGES
1
A.
BALLUCHI,
M.
DI
BENEDETTO,
C.
PINELLO,
C.
ROSSI,
A.
SANGIOVANNI-VINCENTELLI
HYBRID
CONTROL
FOR
AUTOMOTIVE
ENGINE
MANAGEMENT:
THE
CUT-OFF
CASE
13
A.
BEYDOUN,
L.Y.
WANG,
J.
SUN,
S.
SIVASHANKAR
HYBRID
CONTROL
OF
AUTOMOTIVE
POWERTRAIN
SYSTEMS:
A
CASE
STUDY
33
S.
BORNOT,
J.
SIFAKIS
ON
THE
COMPOSITION
OF
HYBRID
SYSTEMS
49
L.
BUSHNELL,
0.
BELDIMAN,
G.
WALSH
AN
EQUIVALENCE
BETWEEN
A
CONTROL
NETWORK
AND
A
SWITCHED
HYBRID
SYSTEM
64
B.
CARLSON,
V.
GUPTA
HYBRID
CC
WITH
INTERVAL
CONSTRAINTS
80
T.
DANG,
O.
MAIER
REACHABILITY
ANALYSIS
VIA
FACE
LIFTING
96
A.
FEHNKER
AUTOMOTIVE
CONTROL
REVISITED:
LINEAR
INEQUALITIES
AS
APPROXIMATION
OF
REACHABLE
SETS
110
E.D.
FERREIRA,
B.H.
KROGH
SWITCHING
CONTROLLERS
BASED
ON
NEURAL-NETWORK
ESTIMATES
OF
STABILITY
REGIONS
AND
CONTROLLER
PERFORMANCE
126
V.
FRIESEN
A
LOGIC
FOR
THE
SPECIFICATION
OF
CONTINUOUS
SYSTEMS
143
M.R.
GREENSTREET,
I.
MITCHELL
INTEGRATING
PROJECTIONS
159
K.X.
HE,
M.D.
LEMMON
LYAPUNOV
STABILITY
OF
CONTINUOUS
VALUED
SYSTEMS
UNDER
THE
SUPERVISION
OF
DISCRETE-EVENT
TRANSITION
SYSTEMS
175
T.A.
HENZINGER,
V.
RUSU
REACHABILITY
VERIFICATION
FOR
HYBRID
AUTOMATA
190
G.
LAFFERRIERE,
G.J.
PAPPAS,
S.
SASTRY
SUBANALYTIC
STRATIFICATIONS
AND
BISIMULATIONS
205
G.
LEHRENFELD,
R.
NAUMANN,
R.
RASCHE,
C.
RUST,
J.
TACKEN
INTEGRATED
DESIGN
AND
SIMULATION
OF
HYBRID
SYSTEMS
221
E.S.
LEMCH,
P.E.
CAINES
HIERARCHICAL
HYBRID
SYSTEMS:
PARTITION
DEFORMATIONS
AND
APPLICATIONS
TO
THE
ACROBOT
SYSTEM
237
VIII
C.
LIVADAS,
N.A.
LYNCH
FORMAL
VERFICATION
OF
SAFETY-CRITICAL
HYBRID
SYSTEMS
253
J.
LYGEROS,
N.A.
LYNCH
STRINGS
OF
VEHICLES:
MODELING
AND
SAFETY
CONDITIONS
273
J.
LYGEROS,
G.J.
PAPPAS,
S.
SASTRY
AN
APPROACH
TO
THE
VERIFICATION
OF
THE
CENTER-TRACON
AUTOMATION
SYSTEM
289
Z.
MANNA,
H.B.
SIPMA
DEDUCTIVE
VERIFICATION
OF
HYBRID
SYSTEMS
USING
STEP
305
A.S.
MATVEEV,
A.V.
SAVKIN
REDUCTION
AND
DECOMPOSITION
OF
DIFFERENTIAL
AUTOMATA:
THEORY
AND
APPLICATIONS
319
B.M.
MILLER
OPTIMIZATION
OF
GENERALIZED
SOLUTIONS
ON
NONLINEAR
HYBRID
(DISCRETE-CONTINUOUS)
SYSTEMS
334
T.W.
NELLER
INFORMATION-BASED
OPTIMIZATION
APPROACHES
TO
DYNAMICAL
SYSTEM
SAFETY
VERIFICATION
346
C.
TOMLIN,
J.
LYGEROS,
S.
SASTRY
SYNTHESIZING
CONTROLLERS
FOR
NONLINEAR
HYBRID
SYSTEMS
360
J.H.
VAN
SCHUPPEN
A
SUFFICIENT
CONDITION
FOR
CONTROLLABILITY
OF
A
CLASS
OF
HYBRID
SYSTEMS
374
X.
LI,
T.
ZHENG,
J.
HOU,
J.
ZHAO,
G.
ZHENG
HYBRID
REGULAR
EXPRESSIONS
384
M.
ZEFRAN,
J.W.
BURDICK
STABILIZATION
OF
SYSTEMS
WITH
CHANGING
DYNAMICS
400
LIST
OF
AUTHORS
417 |
| any_adam_object | 1 |
| author_GND | (DE-588)118183540 |
| building | Verbundindex |
| bvnumber | BV011834511 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.38.H73 1998 |
| callnumber-search | QA76.38.H73 1998 |
| callnumber-sort | QA 276.38 H73 41998 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 150 |
| ctrlnum | (OCoLC)38747288 (DE-599)BVBBV011834511 |
| dewey-full | 629.8/921 629.8/9 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8/9 21 629.8/9 |
| dewey-search | 629.8/9 21 629.8/9 |
| dewey-sort | 3629.8 19 221 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| 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">BV011834511</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110804</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980310s1998 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953053482</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540643583</subfield><subfield code="9">3-540-64358-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38747288</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011834511</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.38.H73 1998</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8/9 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8/9</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hybrid systems</subfield><subfield code="b">computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings</subfield><subfield code="c">Thomas A. Henzinger ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 415 S.</subfield><subfield code="b">graph. Darst.</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">1386</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Calculateurs hybrides - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Hybride computers</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrid computers -- 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">1998</subfield><subfield code="z">Berkeley Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Henzinger, Thomas</subfield><subfield code="d">1962-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)118183540</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HSCC</subfield><subfield code="n">1</subfield><subfield code="d">1998</subfield><subfield code="c">Berkeley, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2169035-2</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">1386</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1386</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=007992313&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-007992313</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 Berkeley Calif. gnd-content |
| genre_facet | Konferenzschrift 1998 Berkeley Calif. |
| id | DE-604.BV011834511 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:38Z |
| institution | BVB |
| institution_GND | (DE-588)2169035-2 |
| isbn | 3540643583 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007992313 |
| oclc_num | 38747288 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-739 DE-384 DE-19 DE-BY-UBM DE-634 DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-739 DE-384 DE-19 DE-BY-UBM DE-634 DE-83 DE-706 |
| physical | VIII, 415 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Hybrid systems computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings Thomas A. Henzinger ... (eds.) Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. Springer 1998 VIII, 415 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1386 Calculateurs hybrides - Congrès Engenharia de programacao (software) larpcal Hybride computers gtt Hybrid computers -- Congresses Hybridrechner (DE-588)4160844-6 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 Berkeley Calif. gnd-content Hybridrechner (DE-588)4160844-6 s DE-604 Hybrides System (DE-588)4510314-8 s Henzinger, Thomas 1962- Sonstige (DE-588)118183540 oth HSCC 1 1998 Berkeley, Calif. Sonstige (DE-588)2169035-2 oth Lecture notes in computer science 1386 (DE-604)BV000000607 1386 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007992313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hybrid systems computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings Lecture notes in computer science Calculateurs hybrides - Congrès Engenharia de programacao (software) larpcal Hybride computers gtt 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 ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings |
| title_auth | Hybrid systems computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings |
| title_exact_search | Hybrid systems computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings |
| title_full | Hybrid systems computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings Thomas A. Henzinger ... (eds.) |
| title_fullStr | Hybrid systems computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings Thomas A. Henzinger ... (eds.) |
| title_full_unstemmed | Hybrid systems computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings Thomas A. Henzinger ... (eds.) |
| title_short | Hybrid systems |
| title_sort | hybrid systems computation and control first international workshop hscc 98 berkeley california usa april 13 15 1998 proceedings |
| title_sub | computation and control ; first international workshop, HSCC '98, Berkeley, California, USA, April 13 - 15, 1998 ; proceedings |
| topic | Calculateurs hybrides - Congrès Engenharia de programacao (software) larpcal Hybride computers gtt Hybrid computers -- Congresses Hybridrechner (DE-588)4160844-6 gnd Hybrides System (DE-588)4510314-8 gnd |
| topic_facet | Calculateurs hybrides - Congrès Engenharia de programacao (software) Hybride computers Hybrid computers -- Congresses Hybridrechner Hybrides System Konferenzschrift 1998 Berkeley Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007992313&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT henzingerthomas hybridsystemscomputationandcontrolfirstinternationalworkshophscc98berkeleycaliforniausaapril13151998proceedings AT hsccberkeleycalif hybridsystemscomputationandcontrolfirstinternationalworkshophscc98berkeleycaliforniausaapril13151998proceedings |