TY - BOOK ID - 5315495 TI - Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings AU - Wiedijk, Freek. AU - Maler, Oded. AU - Pnueli, Amir. AU - HSCC (Conference) PY - 2003 VL - 2623 SN - 03029743 SN - 3540009132 354036580X 9783540009139 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Hybrid computers KW - Calculateurs hybrides KW - Congresses. KW - Congrès KW - Digital control systems KW - Electrical Engineering KW - Computer Science KW - Electrical & Computer Engineering KW - Engineering & Applied Sciences KW - Congrès 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 - Software Engineering. KW - Computation by Abstract Devices. KW - Logics and Meanings of Programs. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Computer software engineering KW - Engineering KW - Special purpose computers KW - Computers KW - Minicomputers KW - Informatics KW - Science KW - Automatic control KW - Electronic digital computers KW - Information theory. KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Communication theory KW - Communication KW - Hybrid computers - Congresses. KW - Digital control systems - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5315495 AB - This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), Nijmegen, The Neth- lands (HSCC’99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume. ER -