1146 search results - page 127 / 230 » Periodically Controlled Hybrid Systems |
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
EMSOFT
2008
Springer
13 years 11 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
— The energy use of a ground-source heat pump (GSP) for heating, cooling and hot water in a Central Pennsylvania residence (namely, the author’s house) is analyzed, compared to...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...