143 search results - page 14 / 29 » Hierarchical Hybrid Modeling of Embedded Systems |
IRI
2005
IEEE
14 years 1 months ago
2005
IEEE
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...
ABIALS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
IPPS
2002
IEEE
14 years 12 days ago
2002
IEEE
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...