527 search results - page 15 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
AUTOMATICA
2010
13 years 7 months ago
2010
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
CSCW
2004
ACM
14 years 27 days ago
2004
ACM
In this paper, we introduce the concept of dynamically changing between centralized, replicated, and hybrid collaboration architectures. It is implemented by providing users a fun...
LOGCOM
2006
13 years 7 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...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...