TY - BOOK ID - 17087373 TI - Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings AU - Alur, Rajeev. AU - Pappas, George. AU - HSCC (Conference) PY - 2004 VL - 2993 SN - 03029743 SN - 3540212590 9783540212591 9786610307111 1280307110 3540247432 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Hybrid computers KW - Digital control systems KW - Calculateurs hybrides KW - Congresses. KW - Congrès KW - EPUB-LIV-FT SPRINGER-B KW - Computer system performance. KW - System Performance and Evaluation. KW - Simulation and Modeling. KW - Control, Robotics, Mechatronics. KW - Computer science. KW - Special purpose computers. KW - Computer system failures. KW - Software engineering. KW - Computers. KW - Computer logic. KW - Computer simulation. KW - Computer Science. KW - Theory of Computation. KW - Special Purpose and Application-Based Systems. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Computer modeling KW - Computer models KW - Modeling, Computer KW - Models, Computer KW - Simulation, Computer KW - Electromechanical analogies KW - Mathematical models KW - Simulation methods KW - Model-integrated computing 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 - Computer failures KW - Computer malfunctions KW - Failure of computer systems KW - System failures (Engineering) KW - Fault-tolerant computing KW - Special purpose computers KW - Computers KW - Informatics KW - Science KW - Failures 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:17087373 AB - This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion 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,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems. ER -