527 search results - page 40 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
152
click to vote
HYBRID
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
166
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Particle filters are used for hidden state estimation with nonlinear dynamical systems. The inference of 3-d human motion is a natural application, given the nonlinear dynamics of...
173
click to vote
JPDC
2006
15 years 6 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
178
click to vote
ICONS
2008
IEEE
16 years 16 days ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
149
click to vote
IROS
2008
IEEE
16 years 16 days 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....