94 search results - page 12 / 19 » Time-Deterministic Hybrid Transition Systems |
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
RTSS
1998
IEEE
14 years 25 days ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
LOGCOM
2006
13 years 8 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
HYBRID
1998
Springer
14 years 24 days 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....
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper proposes a new methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role assignment mechanism in which the rob...