143 search results - page 1 / 29 » Hierarchical Hybrid Modeling of Embedded Systems |
EMSOFT
2001
Springer
13 years 9 months ago
2001
Springer
ENTCS
2008
13 years 4 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
EMSOFT
2001
Springer
13 years 9 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...
HYBRID
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
ICSEA
2006
IEEE
13 years 10 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...