TY  - BOOK
AU  - Bemporad,Alberto
AU  - Bicchi,Antonio
AU  - Buttazzo,Giorgio
ED  - SpringerLink (Online service)
TI  - Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540714934
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2007///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Microprocessors
KW  - Special purpose computers
KW  - Software engineering
KW  - Computers
KW  - Computer logic
KW  - Computer Science
KW  - Theory of Computation
KW  - Special Purpose and Application-Based Systems
KW  - Processor Architectures
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Computation by Abstract Devices
KW  - Electronic books
KW  - local
N1  - Keynote Speeches -- Regular Papers -- Short Papers
N2  - This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics
UR  - http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1007/978-3-540-71493-4
ER  -