527 search results - page 27 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
GLOBECOM
2009
IEEE
14 years 15 days ago
2009
IEEE
Abstract-- In this paper, we propose an evolutionary gametheoretic framework for hybrid additive white Gaussian noise multiple access channels. We consider a communication system c...
ICDCS
2012
IEEE
11 years 11 months ago
2012
IEEE
—Cloud resources are usually priced in multiple markets with different service guarantees. For example, Amazon EC2 prices virtual instances under three pricing schemes — the su...
HYBRID
2009
Springer
13 years 12 months ago
2009
Springer
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...
TROB
2002
13 years 8 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
TSMC
2008
13 years 8 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...