527 search results - page 21 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- This paper extends the method of virtual constraints and hybrid zero dynamics, developed for rigid robots with a single degree of underactuation, to MABEL, a planar bipe...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
ISDA
2005
IEEE
14 years 2 months ago
2005
IEEE
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
CSL
2004
Springer
14 years 11 days ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...