Narrow your search

Library

EhB (1)

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLouvain (1)

UCLL (1)

ULB (1)

ULiège (1)

VIVES (1)

More...

Resource type

book (2)


Language

English (2)


Year
From To Submit

2006 (2)

Listing 1 - 2 of 2
Sort by
Hybrid systems : computation and control : 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540331700 9783540331704 3540331719 Year: 2006 Volume: 3927 Publisher: Berlin New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Hybrid computers --- Calculateurs hybrides --- Congresses. --- Congrès --- Digital control systems --- Computer Science --- Electrical Engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Logics and Meanings of Programs. --- Software Engineering. --- Computation by Abstract Devices. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Minicomputers --- Informatics --- Science --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses. --- Digital control systems - Congresses. --- Computers, Special purpose. --- Computer architecture. --- Computer Science Logic and Foundations of Programming. --- Architecture, Computer


Book
Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings
Authors: --- ---
ISBN: 9783540331711 Year: 2006 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the proceedings of the 9th Workshop on Hybrid S- tems:ComputationandControl(HSCC 2006)heldinSantaBarbara,California, during March 29-31, 2006. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA (1998), Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome, Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004), and Zurich, Switzerland (2005). This year's HSCC was organized in cooperation with the Special Interest Group on Emb- ded Systems (SIGBED) of ACM. The program consisted of 3 invited talks and 39 regular papers selected from 79 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, engineering applications, andemergingdirectionsinprogramminglanguagessupportandimplementation. We would like to thank the Program Committee members and reviewers for an excellent job of evaluating the submissions and participating in the online ProgramCommitteediscussions.Specialthanksalsogoto FrancescoBullo(U- versity of California at Santa Barbara), P. R. Kumar (University of Illinois at Urbana-Champaign), and John Rushby (SRI International) for their partici- tionas invitedspeakers.We arealsogratefulto the Steering Committee for their helpful guidance and support. Many other people worked hard to make HSCC 2006a successandweacknowledgetheir help. Wewouldliketo expressourgr- itude to the US National Science Foundation, SRI International, and University of California at Santa Barbara for their ?nancial support.

Listing 1 - 2 of 2
Sort by


Copyright ©2024 SemperTool