عنوان
پدید آورنده
موضوع
رده
QA76.38 .H73 2010
QA76
.
38
.
H73
2010
کتابخانه
محل استقرار
1605589551 (pbk.)
9781605589558 (pbk.)
b516504
HSCC'10 :
[Book]
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
New York, NY :
Association for Computing Machinery,
c2010
x, 296 p. :
ill. ;
28 cm
"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
Includes bibliographical references and index
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
0
Hybrid systems.
HSCC 2010
Hybrid Systems, Computation and Control
Proceedings of the 13th ACM International Conference on Hybrid Systems, Computation and Control
Hybrid computers, Congresses
Hybrid systems, Congresses
629
.
8
23
QA76
.
38
QA76
.
38
.
H73
2010
.
H73
2010
Johansson, Karl Henrik,1967-
Yi, Wang
HSCC (Conference)
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)
20120202084423.0
مطالعه متن کتاب [Book]
Y
