Hybrid systems : computation and control : 10th international conference, HSCC 2007, Pisa, Italy, April 3-5, 2007 : proceedings / Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 4416.Publication details: Berlin ; New York : Springer, ©2007.Description: 1 online resource (xvii, 797 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783540714934
- 3540714936
- 9783540714927
- 3540714928
- Hybrid systems -- Congresses
- Hybrid computers -- Congresses
- Digital control systems -- Congresses
- Systèmes dynamiques hybrides -- Congrès
- Calculateurs hybrides -- Congrès
- Commande numérique -- Congrès
- COMPUTERS -- Hardware -- Mainframes & Minicomputers
- Informatique
- Digital control systems
- Hybrid computers
- Hybrid systems
- simulatiemodellen
- simulation models
- systemen
- systems
- computerwetenschappen
- computer sciences
- computational science
- procesarchitectuur
- process architecture
- software engineering
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 004.1/9 22
- QA76.38 .H73 2007eb
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
Print version record.
Keynote Speeches -- Regular Papers -- Short Papers.
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.