MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07137cam a22008294a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm61048145 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703143342.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
040302s2004 gw a ob 101 0 eng c |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2004046613 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
N$T |
| -- |
YDXCP |
| -- |
QCL |
| -- |
IDEBK |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
WAU |
| -- |
OCLCQ |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
BUF |
| -- |
CEF |
| -- |
AU@ |
| -- |
LEAUB |
| -- |
OCLCA |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
QE2 |
| -- |
AUD |
| -- |
VT2 |
| -- |
EYM |
| -- |
OCLCO |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
166469742 |
| -- |
666949572 |
| -- |
768063201 |
| -- |
1114546298 |
| -- |
1162793243 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540247432 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540247432 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540212590 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540212591 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/b96398 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051328619 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15296834 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)61048145 |
| Canceled/invalid control number |
(OCoLC)166469742 |
| -- |
(OCoLC)666949572 |
| -- |
(OCoLC)768063201 |
| -- |
(OCoLC)1114546298 |
| -- |
(OCoLC)1162793243 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.38 |
| Item number |
.H73 2004 |
| 055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
|---|
| Classification number |
QA75 |
| Item number |
.L38 no.2993 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
038000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQE |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.1/9 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.30 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
SS 4800 |
| Number source |
rvk |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
DAT 240f |
| Number source |
stub |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
HSCC (Conference) |
| Date of meeting |
(2004 : |
| Location of meeting |
Philadelphia, Pa.) |
| 9 (RLIN) |
19991 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Hybrid systems : |
| Remainder of title |
computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings / |
| Statement of responsibility, etc. |
Rajeev Alur, George J. Pappas (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
2004. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 674 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
2993 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004. The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current issues in hybrid systems such as tools for analysis and verification, control and optimization, modeling and engineering applications, and emerging topics in programming language support and implementation; a special focus is on the interplay between biomolecular networks, systems biology, formal methods, and control of hybrid systems. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Regular Papers -- Lazy Rectangular Hybrid Automata -- Affine Hybrid Systems -- Abstraction by Projection and Application to Multi-affine Systems -- Observability of Switched Linear Systems -- Inference Methods for Autonomous Stochastic Linear Hybrid Systems -- Synthesis for Idle Speed Control of an Automotive Engine -- Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways -- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems -- A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems -- Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems -- Discrete and Hybrid Nonholonomy -- Approximations of the Rate of Growth of Switched Linear Systems -- The Hybrid Guaranteed Capture Basin Algorithm in Economics -- Staying Alive as Cheaply as Possible -- On O-Minimal Hybrid Systems -- Extended Stochastic Hybrid Systems and Their Reachability Problem -- On the Controllability of Bimodal Piecewise Linear Systems -- Observability of Piecewise-Affine Hybrid Systems -- Non-deterministic Temporal Logics for General Flow Systems -- Almost ASAP Semantics: From Timed Models to Timed Implementations -- Discrete State Estimators for a Class of Hybrid Systems on a Lattice -- Benchmarks for Hybrid Systems Verification -- On the Optimal Control of Switch-Mode DC-DC Converters -- Event-Driven Programming with Logical Execution Times -- A Stochastic Hybrid Model for Air Traffic Control Simulation -- Stochastic Hybrid Systems: Application to Communication Networks -- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints -- Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems -- Sound Code Generation from Communicating Hybrid Models -- Multi-Parametric Toolbox (MPT) -- Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis -- Safety Verification of Hybrid Systems Using Barrier Certificates -- Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes -- A Spatial Logic for the Hybrid?-Calculus -- Full Paper Sheet Control Using Hybrid Automata -- Constructing Invariants for Hybrid Systems -- Bisimulation of Dynamical Systems -- Control Design for a Hybrid Dynamic System: A NASA Life Support System -- Non-concurrent Error Detection and Correction in Switched Linear Controllers -- Nonlinear Systems: Approximating Reach Sets -- On Practical Stability and Stabilization of Hybrid and Switched Systems -- A Numerical Technique for Stability Analysis of Linear Switched Systems -- Asymptotic Stability and Boundedness of Delay Switching Diffusions -- Invited Contribution -- Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Hybrid computers |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
17002 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Digital control systems |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
19267 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Calculateurs hybrides |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19268 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Commande numérique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
966884 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS |
| General subdivision |
Hardware |
| -- |
Mainframes & Minicomputers. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
19992 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Digital control systems |
| Source of heading or term |
fast |
| 9 (RLIN) |
19269 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Hybrid computers |
| Source of heading or term |
fast |
| 9 (RLIN) |
17003 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Hybrides System |
| Source of heading or term |
gnd |
| 9 (RLIN) |
19994 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Hybride computers. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
19993 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Système hybride (Informatique) |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
17909 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Calcul numérique. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19995 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Commande numérique. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19996 |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
hybrid systems |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
HSCC |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Kongress. |
| Source of term |
swd |
| 9 (RLIN) |
2843 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Philadelphia (Pa., 2004) |
| Source of term |
swd |
| 9 (RLIN) |
19997 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Alur, Rajeev, |
| Dates associated with a name |
1966- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJfX7Djgt3wcgvP9Hbbw4q |
| 9 (RLIN) |
17795 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pappas, George J. |
| 9 (RLIN) |
19998 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Hybrid systems (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGHv6VmHrXwQgqRmpGFWj3 |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
HSCC (Conference) (2004 : Philadelphia, Pa.). |
| Title |
Hybrid systems. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, 2004 |
| International Standard Book Number |
3540212590 |
| Record control number |
(DLC) 2004046613 |
| -- |
(OCoLC)54670229 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
2993. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/b96398">https://link.springer.com/10.1007/b96398</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH20749941 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
133723 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
2362103 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |