|
" HSCC'10 : "
sponsored by ACM SIGBED ; supported by the Royal Institute of Technology, the FP7 Cooperation Work Program, European Commission through ArtistDesign, & the National Science Foundation of the USA
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
694315
|
| Doc. No
|
:
|
b516504
|
| Main Entry
|
:
|
HSCC (Conference)
|
| Title & Author
|
:
|
HSCC'10 : : proceedings of the 13th ACM International Conference on Hybrid Systems, Computation and Control : April 12-15, 2010, Stockholm, Sweden /\ sponsored by ACM SIGBED ; supported by the Royal Institute of Technology, the FP7 Cooperation Work Program, European Commission through ArtistDesign, the National Science Foundation of the USA
|
| Publication Statement
|
:
|
New York, NY :: Association for Computing Machinery,, c2010
|
| Page. NO
|
:
|
x, 296 p. :: ill. ;; 28 cm
|
| ISBN
|
:
|
1605589551 (pbk.)
|
|
|
:
|
: 9781605589558 (pbk.)
|
| Notes
|
:
|
"This volume contains 29 peer-reviewed papers accepted for presentation at the 13th ACM International Conference on Hybrid Systems Computation and Control (HSCC 2010) ..."--P. iii
|
|
|
:
|
Co-chairs: Karl Henrik Johansson, Wang Yi
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Contents
|
:
|
1. Compositionality and abstraction -- 2. Hybrid control systems -- 3. Resource and scheduling -- 4. Specification and control -- 5. Identification and control -- 6. Applications -- 7. Network and control -- 8. Modelling and analysis -- 9. Verification of stochastic systems -- 10. Switched linear systems -- Invited talk: Amir Pnueli and the dawn of hybrid systems
|
| Subject
|
:
|
Hybrid computers, Congresses
|
| Subject
|
:
|
Hybrid systems, Congresses
|
| Dewey Classification
|
:
|
629.8
|
| LC Classification
|
:
|
QA76.38.H73 2010
|
|
|
:
|
QA76.38.H73 2010
|
| Added Entry
|
:
|
Johansson, Karl Henrik,1967-
|
|
|
:
|
Yi, Wang
|
| Added Entry
|
:
|
Association for Computing Machinery., Special Interest Group on Embedded Systems
|
|
|
:
|
European Commission
|
|
|
:
|
Kungl. Tekniska högskolan
|
|
|
:
|
National Science Foundation (U.S.)
|
|
|
:
|
Seventh Framework Programme (European Commission)
|
| Parallel Title
|
:
|
HSCC 2010
|
|
|
:
|
: Hybrid Systems, Computation and Control
|
|
|
:
|
: Proceedings of the 13th ACM International Conference on Hybrid Systems, Computation and Control
|
| |