1524 search results - page 5 / 305 » Operational Semantics of Hybrid Systems |
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
AIML
2008
14 years 11 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
IJNM
2011
14 years 4 months ago
2011
163
click to vote
ENTCS
2006
14 years 9 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
CIE
2007
Springer
15 years 1 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...