Hybrid and real time systems international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1997
|
| Schriftenreihe: | Lecture notes in computer science
1201 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011196344 | ||
| 003 | DE-604 | ||
| 005 | 20070419 | ||
| 007 | t | ||
| 008 | 970204s1997 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 949562653 |2 DE-101 | |
| 020 | |a 354062600X |9 3-540-62600-X | ||
| 035 | |a (OCoLC)496090931 | ||
| 035 | |a (DE-599)BVBBV011196344 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-20 |a DE-19 |a DE-634 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.38.H37 1997 | |
| 082 | 0 | |a 004.1/9 21 | |
| 084 | |a SS 1997 |0 (DE-625)143434: |2 rvk | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 260f |2 stub | ||
| 084 | |a DAT 240f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Hybrid and real time systems |b international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings |c Oded Maler (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a IX, 414 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 1201 | |
| 650 | 4 | |a Calculateurs hybrides - Congrès | |
| 650 | 4 | |a Temps réel - Congrès | |
| 650 | 4 | |a Hybrid computers -- Congresses | |
| 650 | 4 | |a Real-time data processing -- Congresses | |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hybridrechner |0 (DE-588)4160844-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | 1 | |a Hybridrechner |0 (DE-588)4160844-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Hybridrechner |0 (DE-588)4160844-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Maler, Oded |e Sonstige |4 oth | |
| 711 | 2 | |a HART |d 1997 |c Grenoble |j Sonstige |0 (DE-588)2161612-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1201 |w (DE-604)BV000000607 |9 1201 | |
| 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=007510009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-1201 |
|---|---|
| DE-BY-TUM_katkey | 816489 |
| DE-BY-TUM_local_keycode | ko |
| DE-BY-TUM_media_number | 040020359897 |
| _version_ | 1816711765230092288 |
| adam_text |
TABLE
OF
CONTENTS
TUTORIAL:
VERIFYING
LIVENESS
PROPERTIES
OF
REACTIVE
SYSTEMS
1
AMIR
PNUELI
TUTORIAL:
THE
LYAPUNOV
METHOD
2
ZVI
ARTSTEIN
RELATING
HIGH-LEVEL
AND
LOW-LEVEL
ACTION
DESCRIPTIONS
IN
A
LOGIC
OF
ACTIONS
AND
CHANGE
3
ERIK
SANDEWALL
A
NEW
ALGORITHM
FOR
DISCRETE
TIMED
SYMBOLIC
MODEL
CHECKING
18
JUERGEN
RUF
AND
THOMAS
KROPF
STATE
CLOCK
LOGIC:
A
DECIDABLE
REAL-TIME
LOGIC
33
JEAN-FRANGOIS
RASKIN
AND
PIERRE
YVES
SCHOBBENS
FROM
QUANTITY
TO
QUALITY
48
THOMAS
A.
HENZINGER
AND
OMA
KUPFERMAN
SHORT
PRESENTATIONS:
VERIFYING
PERIODIC
TASK-CONTROL
SYSTEMS
63
VLAD
RUSU
A
CASE
STUDY
IN
TIMED
CSP:
THE
RAILROAD
CROSSING
PROBLEM
69
TURNING
LAI
AND
PHIL
WATSON
ANALYSIS
OF
SLOPE-PARAMETRIC
HYBRID
AUTOMATA
75
FR^D^RIC
BONIOL,
AUGUSTO
BURGUENO,
OLIVIER
ROUX
AND
VLAD
RUSU
COMPARING
TIMED
C/E
SYSTEMS
WITH
TIMED
AUTOMATA
81
R.
HUUCK,
Y.
LAKHNECH,
L.
URBINA,
S.
ENGELL,
S.
KOWALEWSKI
AND
J.
PREUSSIG
DESIGN
TOOLS
FOR
HYBRID
CONTROL
SYSTEMS
87
M.S.
HAJJI,
J.M.
BASS,
A.R.
BROWNE
AND
P.J.
FLEMING
INVITED
TALK:
ON-LINE,
REFLEXIVE
CONSTRAINT
SATISFACTION
FOR
HYBRID
SYSTEMS:
FIRST
STEPS
93
MICHAEL
S.
BRANICKY
INVITED
TALK:
HYBRID
CONTROL
ISSUES
IN
AIR
TRAFFIC
MANAGEMENT
SYSTEMS
108
SHANKAR
SASTRY
VIII
MULTIOBJECTIVE
HYBRID
CONTROLLER
SYNTHESIS
YY
5
109
JOHN
LYGEROS,
CLAIRE
TOMLIN
AND
SHANKAR
SASTRY
MODELING
A
TIME-DEPENDENT
PROTOCOL
USING
THE
CIRCAL
PROCESS
ALGEBRA
124
ANTONIO
CERONE,
ALEX
J.
COWIE,
GEORGE
J.
MILNE
AND
PHILIP
A.
MOSELEY
USING
HYTECH
TO
VERIFY
AN
AUTOMOTIVE
CONTROL
SYSTEM
139
THOMAS
STAUNER,
OLAF
MUELLER
AND
MAX
FUCHS
SAFETY
VERIFICATION
FOR
AUTOMATED
PLATOON
MANEUVERS:
A
CASE
STUDY
154
EKATERINA
DOLGINOVA
AND
NANCY
LYNCH
VERIFYING
HYBRID
SYSTEMS
MODELED
AS
TIMED
AUTOMATA:
A
CASE
STUDY
171
MYLA
ARCHER
AND
CONSTANCE
HEITMEYER
USING
AN
OBJECT-ORIENTED
METHODOLOGY
TO
BRING
A
HYBRID
SYSTEM
FROM
INITIAL
CONCEPT
TO
FORMAL
DEFINITION
186
DAVID
SINCLAIR
A
DIGITAL
REAL-TIME
SIMULATOR
FOR
RAIL-VEHICLE
CONTROL
SYSTEM
TESTING
199
PETER
TERWIESCH,
ERICH
SCHEIBEN,
ANDERS
J.
PETERSEN
AND
THOMAS
KELLER
HYBRID
FLOW
NETS
FOR
HYBRID
PROCESSES
MODELING
AND
CONTROL
213
JEAN-MARIE
FLAUS
AND
GUY
OLLAGNON
REPRESENTATION
OF
ROBUST
AND
NON-ROBUST
SOLUTIONS
OF
NONLINEAR
DISCRETE-CONTINUOUS
SYSTEMS
228
BORIS
M.
MILLER
CONTROLLER
DESIGN
OF
HYBRID
SYSTEMS
240
STEFAN
PETTERSSON
AND
BENGT
LENNARTSON
INVITED
TALK:
WHAT
CAN
WE
LEARN
FROM
SYNCHRONOUS
DATA-FLOW
LANGUAGES?
255
PAUL
CASPI
INVITED
TALK:
VERIFICATION
OF
REAL
TIME
CHEMICAL
PROCESSING
SYSTEMS
259
ADAM
L.
TURK,
SCOTT
T.
PROBST
AND
GARY
J.
POWERS
FUNCTIONAL
SPECIFICATION
OF
REAL-TIME
AND
HYBRID
SYSTEMS
273
OLAF
MUELLER
AND
PETER
SCHOLZ
IX
RELATING
TIME
PROGRESS
AND
DEADLINES
IN
HYBRID
SYSTEMS
286
SEBASTIEN
BOMOT
AND
JOSEPH
SIFAKIS
SEMANTICS
AND
VERIFICATION
OF
EXTENDED
PHASE
TRANSITION
SYSTEMS
IN
DURATION
CALCULUS
301
XU
QIWEN
WEAK
REFINEMENT
FOR
MODAL
HYBRID
SYSTEMS
316
CARSTEN
WEISE
AND
DIRK
LENZKES
ROBUST
TIMED
AUTOMATA
331
VINEET
GUPTA,
THOMAS
A.
HENZINGER
AND
RADHA
JAGADEESAN
DATA-STRUCTURES
FOR
THE
VERIFICATION
OF
TIMED
AUTOMATA
346
EUGENE
ASARIN,
MARIUS
BOZGA,
ALAIN
KERBRAT,
ODED
MAIER,
AMIR
PNUELI
AND
ANNE
RASSE
SYNTHESIZING
CONTROLLERS
FOR
HYBRID
SYSTEMS
361
DEEPAK
KAPUR
AND
R.K.
SHYAMASUNDAR
CONTROL
SYNTHESIS
FOR
A
CLASS
OF
HYBRID
SYSTEMS
SUBJECT
TO
CONFIGURATION-BASED
SAFETY
CONSTRAINTS
376
MICHAEL
HEYMANN,
FENG
LIN
AND
GEORGE
MEYER
SHORT
PRESENTATIONS:
HYBRID
DYNAMIC
PROGRAMMING
391
WOLF
KOHN
AND
JEFFREY
B.
REMMEL
INVARIANCE
PRINCIPLE
IN
HYBRID
SYSTEMS
MODELED
BY
MIXED
MAPPINGS
397
TOSHIMITSU
USHIO
HYBRID
SYSTEMS
DESCRIBED
BY
THE
COMPLEMENTARITY
FORMALISM
403
A.
J.
VAN
DER
SCHAFT
AND
J.M.
SCHUMACHER
GENERALIZED
LINEAR
COMPLEMENTARITY
PROBLEMS
AND
THE
ANALYSIS
OF
CONTINUOUSLY
VARIABLE
SYSTEMS
AND
DISCRETE
EVENT
SYSTEMS
409
BART
DE
SCHUTTER
AND
BART
DE
MOOR
INVITED
TALK:
SHIFT:
A
LANGUAGE
FOR
SIMULATING
INTERCONNECTED
HYBRID
SYSTEMS
415
PRAVIN
VARAIYA
AUTHOR
INDEX
417 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011196344 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.38.H37 1997 |
| callnumber-search | QA76.38.H37 1997 |
| callnumber-sort | QA 276.38 H37 41997 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 SS 4800 |
| classification_tum | DAT 260f DAT 240f |
| ctrlnum | (OCoLC)496090931 (DE-599)BVBBV011196344 |
| dewey-full | 004.1/921 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.1/9 21 |
| dewey-search | 004.1/9 21 |
| dewey-sort | 14.1 19 221 |
| 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">BV011196344</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070419</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970204s1997 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">949562653</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354062600X</subfield><subfield code="9">3-540-62600-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)496090931</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011196344</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</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.H37 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.1/9 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1997</subfield><subfield code="0">(DE-625)143434:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 240f</subfield><subfield code="2">stub</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 and real time systems</subfield><subfield code="b">international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings</subfield><subfield code="c">Oded Maler (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 414 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">1201</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Calculateurs hybrides - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temps réel - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrid computers -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1997</subfield><subfield code="z">Grenoble</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">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="689" ind1="2" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maler, Oded</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HART</subfield><subfield code="d">1997</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2161612-7</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">1201</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1201</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=007510009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Grenoble gnd-content |
| genre_facet | Konferenzschrift 1997 Grenoble |
| id | DE-604.BV011196344 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:14:19Z |
| institution | BVB |
| institution_GND | (DE-588)2161612-7 |
| isbn | 354062600X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007510009 |
| oclc_num | 496090931 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-706 |
| physical | IX, 414 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Hybrid and real time systems international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings Lecture notes in computer science Calculateurs hybrides - Congrès Temps réel - Congrès Hybrid computers -- Congresses Real-time data processing -- Congresses Echtzeitsystem (DE-588)4131397-5 gnd Hybridrechner (DE-588)4160844-6 gnd |
| subject_GND | (DE-588)4131397-5 (DE-588)4160844-6 (DE-588)1071861417 |
| title | Hybrid and real time systems international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings |
| title_auth | Hybrid and real time systems international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings |
| title_exact_search | Hybrid and real time systems international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings |
| title_full | Hybrid and real time systems international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings Oded Maler (ed.) |
| title_fullStr | Hybrid and real time systems international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings Oded Maler (ed.) |
| title_full_unstemmed | Hybrid and real time systems international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings Oded Maler (ed.) |
| title_short | Hybrid and real time systems |
| title_sort | hybrid and real time systems international workshop hart 97 grenoble france march 26 28 1997 proceedings |
| title_sub | international workshop, HART '97, Grenoble, France, March 26-28, 1997 ; proceedings |
| topic | Calculateurs hybrides - Congrès Temps réel - Congrès Hybrid computers -- Congresses Real-time data processing -- Congresses Echtzeitsystem (DE-588)4131397-5 gnd Hybridrechner (DE-588)4160844-6 gnd |
| topic_facet | Calculateurs hybrides - Congrès Temps réel - Congrès Hybrid computers -- Congresses Real-time data processing -- Congresses Echtzeitsystem Hybridrechner Konferenzschrift 1997 Grenoble |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007510009&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT maleroded hybridandrealtimesystemsinternationalworkshophart97grenoblefrancemarch26281997proceedings AT hartgrenoble hybridandrealtimesystemsinternationalworkshophart97grenoblefrancemarch26281997proceedings |