By Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.)
This quantity includes the lawsuits of the seventh Workshop on Hybrid platforms: Computation and regulate (HSCC 2004) held in Philadelphia, united states, from March 25 to 27, 2004. the once a year workshop on hybrid platforms draws researchers from academia and drawn to modeling, research, and implemen- tion of dynamic and reactive platforms related to either discrete and non-stop behaviors. the former workshops within the HSCC sequence have been held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, united states (2002), and Prague, Czech Republic (2003). This year’s HSCC was once geared up in cooperation with ACM SIGBED (Special curiosity workforce on Embedded structures) and used to be technically co-sponsored through the IEEE regulate platforms Society. this system consisted of four invited talks and forty three commonplace papers chosen from 117 normal submissions. this system coated issues comparable to instruments for research and veri?cation, keep watch over and optimization, modeling, and engineering applica- ons, as in earlier years, and rising instructions in programming language aid and implementation. this system additionally contained one distinct consultation concentrating on the interaction among biomolecular networks, structures biology, formal tools, andthecontrolofhybridsystems.