1524 search results - page 37 / 305 » Operational Semantics of Hybrid Systems |
FORTE
2007
14 years 11 months ago
2007
Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. Howev...
RTSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— This paper proposes an approach to robust state estimation for mobile robots with intermittent dynamics. The approach consists of identifying the robot’s mode of operation by...
JCP
2008
14 years 9 months ago
2008
Embedded systems have an ever-increasing need for optimizing compilers to produce high quality codes with a limited general purpose register set. Either memory or registers are use...
ITS
2010
Springer
15 years 2 months ago
2010
Springer
Classical approaches for supporting tutoring services face several limitations for ill-defined domains. To overcome these limitations, we argue for the utilization of hybrid approa...